##
APRIL 2002

**The Manipulability of Voting Systems**

by Alan D. Taylor

taylora@union.edu

Consider a voting situation in which there are three or more alternatives, ballots are linear orderings of the alternatives, and each alternative occurs as the unique winner for at least one sequence of ballots. The famous Gibbard-Satterthwaite Theorem asserts that in such a situationÂ—if the voting system always produces a unique winnerÂ—then it is non-manipulable if and only if it is a dictatorship. An elegant generalization of this result to the context in which ties for the win are allowed has recently been obtained by Duggan and Schwartz. We give a direct, self-contained, and short proof of the Duggan-Schwartz Theorem, and we present some extensions of it and the original Gibbard-Satterthwaite Theorem.

**Beyond the Descartes Circle Theorem**

by Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks

jcl@research.att.com, clm@research.att.com, allan@research.att.com

The Descartes Circle Theorem states that if four circles are mutually tangent in the plane, with disjoint interiors, then their curvatures (or "bends") *b*_{i}=1/*r*_{i} satisfy the relation (*b*_{1}+b_{2}+b_{3}+b_{4})^{2} = 2(*b*_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2}) . We show that similar relations hold involving the centers of the four circles in such a configuration, coordinatized as complex numbers, yielding a Complex Descartes Theorem. These relations have elegant matrix generalizations to the n-dimensional case, in each of Euclidean, spherical, and hyperbolic geometries. These include analogues of the Descartes Circle Theorem for spherical and hyperbolic space.

**Two Applications of the Generalized Ptolemy Theorem**

by Shay Gueron

shay@math.haifa.ac.il

Ptolemy’s Theorem, relating between the lengths of the sides and the diagonals of a cyclic quadrilateral, can be generalized to the situation where the vertices of the quadrilateral are replaced by four circles that touch the circumscribing circle. This paper demonstrates how the Generalized Ptolemy Theorem can be used to prove two results in plane geometry. One of these results is a generalization (to an external form) of Thébault’s Theorem, originally proposed as a problem in the MONTHLY, in 1938, and remained unsolved for some 45 years. The second result is a theorem about the common internal and external tangents of two circles that touch a third one.

**Inverting the Pascal Matrix Plus One**

by Rita Aggarwala and Michael P. Lamoureux

rita@math.ucalgary.ca, mikel@math.ucalgary.ca

The Pascal matrix is an old and familiar form that appears in many different areas of mathematics and its applications. Motivated by a problem that arises in order statistics, we demonstrate how to invert any linear combination of this infinite matrix with the identity matrix, and observe the occurrence of the polylogarithm function

**Problems and Solutions**

**Notes**

**A Nowhere Differentiable Continuous Function Constructed By Infinite Products**

By Liu Wen

**Rino's Flight Around the World in Circles**

By Johannes Huisman

huisman@univ-rennes1.fr

**A Tile With Surround Number 2**

By Casey Mann

cmann@math.unl.edu

**On Stirling’s Formula**

By Reinhard Michel

Reinhard.Michel@math.uni-wuppertal.de

**An Inductive Proof of a Known Result about Ψ(x)**

By Andrea Vietri

vietri@mat.uniroma1.it

**Reviews**

**The Versatile Soliton**

By Alexandre T. Fillippov

Review by J. David Logan

dlogan@math.unl.edu