**A Pascal-Type Triangle Characterizing Twin Primes**

by Karl Dilcher and Kenneth B. Stolarsky

dilcher@mathstat.dal.ca, stolarsk@math.uiuc.edu

It is a well-known property of Pascal's triangle that the entries of the *k*th row, without the initial and final entries 1, are all divisible by *k* if and only if *k* is prime. This paper presents a triangular array, analogous to Pascal's, that characterizes twin prime pairs in a similar fashion. The proof involves generating function techniques. Connections with orthogonal polynomials, in particular Chebyshev and ultraspherical polynomials, are also discussed.

**Geometry and Number Theory on Clovers**

by David A. Cox and Jerry Shurman

dac@cs.amherst.edu, jerry@reed.edu

Gauss characterized the positive integers *n* for which the circle can be divided into *n* arcs of equal length by straightedge and compass, Abel solved the corresponding problem for the lemniscate, and Pierpont solved the circle problem for origami constructions. This paper places these problems in the context of a family of curves called *m*-clovers. The first four *m*-clovers are the cardioid, the circle, a three-leaf clover that may be new, and the lemniscate. Arc length on *m*-clovers is given by a family of integrals, the first two elementary, the next two elliptic, and the rest hyperelliptic. Basic methods show that the cardioid can be divided into any number *n* of equal arcs by straightedge and compass. On the other hand, our solution of the origami division problem on the three-clover and lemniscate uses Galois theory, elliptic functions, complex multiplication, and class field theory. The resulting values of *n* are characterized in terms of Pierpont primes, namely, those primes greater than three of the form 1 plus a power of 2 times a power of 3.

**A Nonstandard Proof of the Fundamental Theorem of Algebra**

by George Leibman

gleibman@acedsl.com

The "Fundamental Theorem of Algebra" states that the field of complex numbers is algebraically closed—every polynomial of a positive degree with complex coefficients has a complex zero. There are many proofs of this result that use (alone and in various combinations) Galois theory, topology, complex analysis, linear algebra, and nonstandard analysis. This article presents a proof that relies upon a combination of topology and nonstandard analysis. The article is self-contained, including a brief introduction to nonstandard analysis and a review of the necessary concepts from topology that are used in the proof. The article demonstrates, by sketching a related standard proof, how nonstandard analysis helps to expose new "standard" proofs of classical results, often containing fresh intuitive insights about old ideas.

**The Sixty-Fifth William Lowell Putnam Mathematical Competition**

by Leonard F. Klosinski, Gerald L. Alexanderson, and Loren C. Larson

**Notes**

**The Stone-Weierstrass Theorem Revisited**

by N. V. Rao

rnagise@math.utoledo.edu

**A Faster Product for π and a New Integral for ln π/2**

by Jonathan Sondow

jsondow@alumni.princeton.edu

**Generalizations of Fermat’s Little Theorem via Group Theory**

by I. M. Isaacs and M. R. Pournaki

isaacs@math.wisc.edu, pournaki@ipm.ir

**Convexity and Minkowski’s Inequality**

by Geoffrey Brown

gwbrown@mast.queensu.ca

**Evolution ofÂ…**

The Analytic Principle of Continuity

by B. A. Rosenfeld

**Problems and Solutions**

**Reviews**

**From Newton to Hawking: A History of Cambridge University’s Lucasian Professors of Mathematics** Edited by Kevin C. Knox and Richard Noakes Reviewed by Judith Grabiner jgrabine@pitzer.edu