Ptolemy's theorem

Ptolemy's theorem is a classical result in Euclidean geometry connecting chord lengths in a cyclic quadrilateral with its diagonals, originally recorded by Claudius Ptolemy in the second century. The theorem plays a central role in the development of trigonometry and influenced later work by figures such as Hipparchus, Alhazen, Omar Khayyam, and Johannes Kepler. Its algebraic and geometric formulations underpin deductions used by Euclid, Isaac Newton, Leonhard Euler, and Carl Friedrich Gauss.

Statement

For a cyclic quadrilateral with vertices on a circle studied by Claudius Ptolemy, let consecutive vertices be labeled in the order encountered on the circumference as points historically associated with constructions in Euclid and Apollonius of Perga. Denote the four side lengths by names used in works of Archimedes and Pappus of Alexandria, and call the diagonals as in treatises of Proclus. Then the product of the lengths of the diagonals equals the sum of the products of the two pairs of opposite sides, a relation echoed in tables compiled by Hipparchus and applied in calculations by Al-Khwarizmi.

Proofs

Classical synthetic proofs adopt arguments similar to those in the corpus of Euclid and in expositions by Robert Simson and Giovanni Ceva, using similarity of triangles derived from angles subtended by the same arc, paralleling approaches in manuscripts of Omar Khayyam. Analytic proofs place the quadrilateral on the complex plane as done in developments by Augustin-Louis Cauchy and Jean le Rond d'Alembert, invoking chord formulas familiar to scholars like Leonhard Euler and Joseph-Louis Lagrange. Trigonometric proofs reduce the relation to sine and cosine identities used by Johannes Kepler and in tables of John Napier, and vector or linear-algebra proofs employ determinants reminiscent of techniques in the work of Carl Friedrich Gauss and Niels Henrik Abel.

Special cases and corollaries

When one vertex of the cyclic quadrilateral degenerates to coincide with another, the theorem reduces to the Pythagorean relation central to Pythagoras and used in expositions by Thales of Miletus. For an inscribed rectangle the result simplifies to equalities appearing in the studies of René Descartes and Blaise Pascal, while for an isosceles cyclic quadrilateral the identity yields formulas exploited by Fermat and Pierre de Fermat in optimization problems. Ptolemy's relation implies classical chord formulae that connect to the sine addition formulas promoted by Hipparchus and rediscovered by Srinivasa Ramanujan in analytic contexts.

Converse and extensions

The converse—if four points in the plane satisfy the Ptolemaic relation then they lie on a circle or on a line—was articulated in metric geometry and featured in metric characterizations studied by Henri Poincaré and Marcel Berger. Extensions include Ptolemaic inequalities for quadrilaterals in normed spaces examined by Stefan Banach and Donald J. Newman, and generalizations to metric spaces with the Ptolemaic property appearing in work of Mikhail Gromov and Paul Erdős. Higher-dimensional analogues and relations to cross ratios and Möbius transformations were developed in the contexts of Sophus Lie and Henri Lebesgue.

Applications

Ptolemy's theorem underlies classical chord and angle calculations employed in astronomical tables by Ptolemy (Claudius Ptolemaeus) and later by Tycho Brahe and Johannes Kepler, and it is a tool in modern computational geometry used by researchers in the tradition of Donald Knuth and Edsger Dijkstra. It provides constructive solutions in geometric design problems tackled by Gaspard Monge and Augustin-Louis Cauchy, and it appears in proofs in algebraic geometry and number theory pursued by Alexander Grothendieck and Emmy Noether. In education the theorem is frequently presented alongside exercises from collections by Euclid and problem books compiled by Georg Cantor and Paul Erdős.

Category:Theorems in geometry