##
JUNE-JULY 2002

**The Theorem of Pappus: A Bridge between Algebra and Geometry**

by Elena Anne Marchisotto

emarchisotto@csun.edu

A theorem of the great mathematician, Pappus of Alexandria, makes a beautiful connection between algebra and geometry that we explore in this article. We start with a geometric structure and impose certain postulates and theorems to determine an algebraic structure of an abstract coordinate set. Then we prove that Pappus' theorem is sufficient for commutativity of multiplication there. It can also be proved that it is necessary. At the end of the article we examine a host of horizons opened by Pappus' theorem and provide a substantial resouce list for further exploration.

**A Curious Connection Between Fermat Numbers and Finite Groups**

by Carrie E. Finch and Lenny Jones cfinch@math.sc.edu, lkjone@ship.edu

The authors were investigating finite groups possessing a property related to certain subsets of the group, when suddenly the problem became entangled in number theory. The shocking conclusion is that the solution to a large part of the group theory problem is a direct consequence of the fact that the Fermat number 2^{25} +1 is not prime.

**SubtangentsÂ—an Aid to Visual Calculus **

by Tom M. Apostol and Mamikon A. Mnatsakanian apostol@caltech.edu, mamikon@caltech.edu

Many standard problems in calculus can be easily solved by an innovative visual approach that makes no use of formulas. The method, developed by Mamikon Mnatsakanian, relies on geometric intuition and is easily understood by very young students. It can be used to find (without calculus) areas of many plane regions, including: an oval ring, a parabolic segment, the region under an exponential curve, the region under one arch of a cycloid, the region under a tractrix, and the region between two curves traced out by the rear and front wheels of a bicycle. The treatment of the parabolic segment and the exponential (which appear elsewhere) use geometric properties of subtangents to these curves. This paper explores properties of subtangents in greater detail. It shows how subtangents can be used in practice to draw tangent lines, and it reveals an unexpected connection between pursuit curves and exponential curves. The paper also contains a rigorous justification of Mamikon's geometric method.

**An Elementary Problem Equivalent to the Riemann Hypothesis**

by Jeffrey C. Lagarias jcl@research.att.com

The Riemann hypothesis is shown to be equivalent to the following statement: Let

be the *n*-th harmonic number. Show, for each *n*≥1, that

Σ*d*≤*H*_{n}+exp(*H*_{n}) log(*H*_{n}), |

*d*|*n* |

with equality only for *n*=1. This equivalence is deduced from a criterion of G. Robin for the Riemann hypothesis. The paper describes the history of earlier work leading to Robin's criterion, including that of Ramanujan on highly composite numbers, and Alaoglu and Erdös on colossally abundant numbers.

**Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis**

by Leonard Gillman len@math.utexas.edu

The two surprises are that Trichotomy (defined in a moment) implies the Axiom of Choice and the General Continuum Hypothesis implies the Axiom of Choice. (Trichotomy is the proposition that of any two cardinals, a and b, either a<b or a=b or a>b.) The result for Trichotomy was proved by F. Hartogs in 1915 and the result for the General Continuum Hypothesis was established by W. Sierpinski in 1947. The proofs presented in the paper are based on the original proofs and are intended for the nonspecialists.

**Problems and Solutions**

**Notes**

**A Modified Problem of Pillai and Some Related Questions**

by G.E. Hardy and M.V. Subbarao

georgeh@nait.ab.ca, m.v.subbarao@ualberta.ca

**Some Curious Sequences Involving Floor and Ceiling Functions**

by M.A. Nyblom

michael.nyblom@rmit.edu.au

**The Right-hand Derivative of an Integral **

by Timothy G. Feeman and Osvaldo Marrero

timothy.feeman@villanova.edu, osvaldo.marrero@villanova.edu

**Reviews**

**Introduction to Topological Manifolds**

by John M. Lee

Reviewed by Claude LeBrun

claude@math.sunysb.edu

**Trigonometric Delights**

by Eli Maor

Reviewed by George Swift

swiftgeo@juno.com

**The Universal Computer: the Road from Leibniz to Turing**

by Martin Davis

**The Universal History of Computing: From the Abacus to the Quantum Computer**

by Georges Ifrah

Reviewed by Gerald B. Folland

folland@math.washington.edu