Ptolemy's theorem

From Wikipedia, the free encyclopedia

Ptolemy's theorem is a relation among these lengths in an inscribed quadrilateral.

In mathematics, Ptolemy's theorem is a relation in Euclidean geometry between the four sides and two diagonals or chords of a quadrilateral inscribed in circle. The theorem is named after the Greek astronomer and mathematician Ptolemy (Claudius Ptolemaeus).

If the quadrilateral is given by its four vertices A, B, C, and D in order, then the theorem states that:

$\overline{AC}\cdot \overline{BD}=\overline{AB}\cdot \overline{CD}+\overline{BC}\cdot \overline{DA}$

where the overbar denotes the lengths of the line segments between the named vertices.

This relation may be verbally expressed as follows:

"If a quadrilateral is inscribed in a circle then the sum of the products of its two pairs of opposite sides is the product of its diagonals".

Moreover, the converse of Ptolemy's theorem is also true (In a quadrilateral, if the sum of the products of its two pairs of opposite sides is the product of its diagonal, then it can be inscribed in a circle).

1 Examples
2 Proofs
3 Ptolemy's inequality
4 See also
5 External links

[edit] Examples

The golden ratio follows from this appliation of Ptolemy's theorem

Any square can be inscribed in a circle whose center is the barycenter of the square. If the common length of its four sides is equal to $a$ then the length of the diagonal is equal to $\sqrt{2}a$ according to the Pythagorean theorem and the relation obviously holds.
More generally, if the quadrilateral is a rectangle with sides a and b and diagonal c then Ptolemy's theorem reduces to the Pythagorean theorem. In this case the center of the circle coincides with the point of intersection of the diagonals. The product of the diagonals is then c², the right hand side of Ptolemy's relation is the sum a^{2^+ b².}
A more interesting example is the relation between the length a of the side and the (common) length b of the 5 chords in a regular pentagon. In this case the relation reads b^{2^{= a^{2^{+ ab which yields the golden ratio}}}}

^{When applied repeatedly, Ptolemy's theorem allows to compute the length of all diagonals for a polygon inscribed in a circle with vertices P₁, ..., P_n, if the sides are given together with all the length values of the "next to sides" chords connecting two vertices P_i and P_i+2 (with indices taken modulo n).}

^{[edit] Proofs}

^{[edit] Geometric proof}

^{Constructions for a proof of Ptolemy's theorem}

^{Let ABCD be a cyclic quadrilateral.}
^{Note that on the chord BC, the inscribed angles ∠BAC = ∠BDC, and on AB, ∠ADB = ∠ACB.}
^{Construct K on AC such that ∠ABK = ∠CBD;}
1. ^{Note that since ∠ABK + ∠CBK = ∠ABC = ∠CBD + ∠ABD, ∠CBK = ∠ABD.}
^{Now, by common angles △ABK is similar to △DBC, and likewise △ABD ∼ △KBC.}
^{Thus AK/AB = CD/BD, and CK/BC = DA/BD;}
1. ^{Thus AK·BD = AB·CD, and CK·BD = BC·DA;}
3. ^{Adding, (AK+CK)·BD = AB·CD + BC·DA;}
4. ^{But AK+CK = AC, so AC·BD = AB·CD + BC·DA; Q.E.D.}

^{Note that the proof is clearly only valid for simple cyclic quadrilaterals; if the quadrilateral is complex then K will be located outside the line segment AC, so AK-CK=±AC, giving the expected result.}

^{[edit] "Trigonometric" proof}

^{It suffices to prove the theorem for the standard unit circle (the statement of the theorem is invariant under re-scaling and translation). Introducing polar coordinates one may represent the four vertices in the form}

^where

^{After a possible renumbering of the P_i one can also assume that the four vertices appear in natural counterclockwise order which means that .}

^{A basic result from trigonometry states that for two points and on the unit circle written in polar coordinates their Euclidean distance ||x − y|| is given as}

^{If is an (ordered) pair of vertices of the given quadrilateral this formula implies}

^{Ptolemy's relation}

^{then follows from the quadratic addition relation}

^{$sin(θ 3 - θ 1)sin(θ 4 - θ 2) = sin(θ 2 - θ 1)sin(θ 4 - θ 3) + sin(θ 4 - θ 1)sin(θ 3 - θ 2)$}

^{satisfied by the sine-function which in turn can be deduced from the trigonometric identity (which is the products-to-sum identity for the sine)}

^{applied to each of the three products of sines (the resulting six terms cancel out in pairs).}

^{Concluding remark (explaining the naming "addition relation"):}

^{If one introduces the difference angles for then the relation}

^{$sin(θ 3 - θ 1)sin(θ 4 - θ 2) = sin(θ 2 - θ 1)sin(θ 4 - θ 3) + sin(θ 4 - θ 1)sin(θ 3 - θ 2)$}

^{turns into}

^{Solving for , this relation may be interpreted as a "triple" addition relation expressing the sine of a triple angle sum as a rational expression in the sine values and . Written out explicitly:}

^{[edit] "Algebraic" proof}

^{An alternative proof can be given using complex number calculus and projective analytic geometry, introducing complex coordinates for the vertices of the quadrilateral. Again it suffices to prove the theorem for the standard unit circle .}

^{Ptolemy's Relation}

^{can be reformulated as}

^{Written in this form Ptolemy's theorem is in fact a "disguised" form of the relation}

^{valid for the cross-ratio of any four (pairwise different) complex numbers .}

^{To make this connection explicit one represents the four vertices as four complex numbers of norm one, arranged in (counterclockwise) cyclic order on the unit circle. For two complex numbers $x, y$ on the unit circle their squared distance equals}

^{Therefore for any quadruple of (pairwise different) complex numbers $(z 1, z 2, z 3, z 4)$ on the unit circle the square of the "length cross-ratio"}

^{is equal to the square of the ordinary ("complex points" ) cross-ratio . Taking square roots one first deduces}

^{for any quadruple of points on the unit circle. The sign factor depends on the relative position of the four points on the unit circle and can be determined using the invariance of the cross-ratio under a linear fractional transformation . Assume that the quadruple on the unit circle is arranged in natural (counterclockwise) cyclic order. Then}

^{This property can be proved using the projective transformation (which is the "inverse Cayley transform"). It maps the punctured unit circle (continuously) to the real line (with the upper (resp. lower) arc of the unit circle mapping to the negative (resp. positive) half-line). In polar coordinates the map is given as which shows that it defines a monotone function in the "angle" coordinate . Therefore the sign of the cross-ratio can be read off from the mutual order of the image points on the real line. After multiplying the $z i$ with a suitable scalar $z'$ of norm 1 one may in addition assume that for all $i$ . If the quadruple on the unit circle (punctured at $z = 1$ ) is arranged in natural (counterclockwise) cyclic order the image quadruple satisfies . The relation}

^{then shows that . On the other hand, if one interchanges the middle pair $(z 2, z 3)$ in a cyclically ordered quadruple then the cross-ratio will become negative because , using the relation of cross-ratio's}

^{Summarizing the sign discussion one obtains that for a quadruple of (pairwise different) points on the unit circle given in (counterclockwise) cyclic order one has}

^and

^{Ptolemy's relation}

^{can now be interpreted as the algebraic relation (already used above) between cross-ratios}

^{using the representation of the vertices as the points on the unit circle.}

^{[edit] Ptolemy's inequality}

^{This is not a cyclic quadrilateral. The equality never holds here, and is unequal in the direction indicated by Ptolemy's inequality.}

^{The equation in Ptolemy's theorem is never true with non-cyclic quadrilaterals. Ptolemy's inequality is an extension of this fact, and it is a more general form of Ptolemy's theorem. It states that, given a quadrilateral ABCD, then}