Summary
The article presents Ptolemy’s Theorem as one of the most elegant and historically important results in classical geometry. For a cyclic quadrilateral $ABCD$, the theorem states
$AC\cdot BD = AB\cdot CD + BC\cdot AD$.
One particularly beautiful observation is that the Pythagorean theorem is a special case. If the cyclic quadrilateral is a rectangle with sides $a,b$ and diagonal $c$, Ptolemy’s theorem gives
$c^2=a^2+b^2$.
Historically, Claudius Ptolemy used the theorem in the Almagest to construct tables of chords, which were essentially predecessors of modern trigonometric tables.
The article also shows how deeply the theorem is connected with classical Euclidean geometry, including supplementary opposite angles in cyclic quadrilaterals, the inscribed-angle theorem, and Thales’ theorem. Ptolemy’s theorem can also be applied to regular polygons and can be used to derive fundamental trigonometric identities such as
$\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta$.
In this sense, Ptolemy’s theorem provides an elegant bridge between Euclidean geometry and trigonometry.
Another important topic is Ptolemy’s inequality. For an arbitrary quadrilateral,
$AC\cdot BD\leq AB\cdot CD+BC\cdot AD$.
Equality holds, in the usual non-degenerate case, when the four vertices lie on a common circle. Thus, Ptolemy’s theorem can be viewed as the equality case of a more general inequality.
The article highlights a particularly visual proof attributed to Rainer Lang. Suitable similar and scaled copies of parts of the original quadrilateral are constructed and rearranged so that the quantities $AB\cdot CD$, $BC\cdot AD$, and $AC\cdot BD$ appear as lengths associated with a new triangle. Ptolemy’s inequality then follows essentially from the ordinary triangle inequality. This makes Lang’s argument especially attractive because it reduces a seemingly complicated relation between six distances to one of the most elementary principles of geometry.
Key takeaways
ARTICLE
The article presents Ptolemy’s Theorem as one of the most elegant and historically important results in classical geometry. For a cyclic quadrilateral $ABCD$, the theorem states
$AC\cdot BD = AB\cdot CD + BC\cdot AD$.
One particularly beautiful observation is that the Pythagorean theorem is a special case. If the cyclic quadrilateral is a rectangle with sides $a,b$ and diagonal $c$, Ptolemy’s theorem gives
$c^2=a^2+b^2$.
Historically, Claudius Ptolemy used the theorem in the Almagest to construct tables of chords, which were essentially predecessors of modern trigonometric tables.
The article also shows how deeply the theorem is connected with classical Euclidean geometry, including supplementary opposite angles in cyclic quadrilaterals, the inscribed-angle theorem, and Thales’ theorem. Ptolemy’s theorem can also be applied to regular polygons and can be used to derive fundamental trigonometric identities such as
$\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta$.
In this sense, Ptolemy’s theorem provides an elegant bridge between Euclidean geometry and trigonometry.
Another important topic is Ptolemy’s inequality. For an arbitrary quadrilateral,
$AC\cdot BD\leq AB\cdot CD+BC\cdot AD$.
Equality holds, in the usual non-degenerate case, when the four vertices lie on a common circle. Thus, Ptolemy’s theorem can be viewed as the equality case of a more general inequality.
The article highlights a particularly visual proof attributed to Rainer Lang. Suitable similar and scaled copies of parts of the original quadrilateral are constructed and rearranged so that the quantities $AB\cdot CD$, $BC\cdot AD$, and $AC\cdot BD$ appear as lengths associated with a new triangle. Ptolemy’s inequality then follows essentially from the ordinary triangle inequality. This makes Lang’s argument especially attractive because it reduces a seemingly complicated relation between six distances to one of the most elementary principles of geometry.
Key takeaways
- Ptolemy’s theorem: $AC\cdot BD=AB\cdot CD+BC\cdot AD$ for cyclic quadrilaterals.
- The Pythagorean theorem, $a^2+b^2=c^2$, is a special case.
- The theorem played an important historical role in the development of trigonometry and Ptolemy’s chord tables.
- It provides geometric derivations of identities such as $\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta$.
- Ptolemy’s inequality: $AC\cdot BD\leq AB\cdot CD+BC\cdot AD$ extends the result to arbitrary quadrilaterals.
- The Rainer Lang proof gives a particularly elegant geometric interpretation by reducing Ptolemy’s inequality to the triangle inequality.
ARTICLE
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘