AoPSWiki
Our Precalculus course starts on Dec. 4. Master trig, complex numbers, and vectors and matrices in 2 and 3 dimensions. Click here to enroll today!
Personal tools

Ptolemy's Theorem

From AoPSWiki

Ptolemy's Theorem gives a relationship between the side lengths and the diagonals of a cyclic quadrilateral; it is the equality case of the Ptolemy Inequality. Ptolemy's Theorem frequently shows up as an intermediate step in problems involving inscribed figures.

Contents

Definition

Given a cyclic quadrilateral ABCD with side lengths {a},{b},{c},{d} and diagonals {e},{f}:

ac+bd=ef.

Proof

Given cyclic quadrilateral ABCD, extend CD to P such that \angle BAC=\angle DAP.

Since quadrilateral ABCD is cyclic, m\angle ABC+m\angle ADC=180^\circ . However, \angle ADP is also supplementary to \angle ADC, so \angle ADP=\angle ABC. Hence, \triangle ABC \sim \triangle ADP by AA similarity and \frac{AB}{AD}=\frac{BC}{DP}\implies DP=\frac{(AD)(BC)}{(AB)}.

Now, note that \angle ABD=\angle ACD (subtend the same arc) and \angle BAC+\angle CAD=\angle DAP+\angle CAD \implies \angle BAD=\angle CAP, so \triangle BAD\sim \triangle CAP. This yields \frac{AD}{AP}=\frac{BD}{CP}\implies CP=\frac{(AP)(BD)}{(AD)}.

However, CP= CD+DP. Substituting in our expressions for CP and DP, \frac{(AC)(BD)}{(AB)}=CD+\frac{(AD)(BC)}{(AB)}. Multiplying by AB yields (AC)(BD)=(AB)(CD)+(AD)(BC).

Problems

Equilateral Triangle Identity

Let \triangle ABC be an equilateral triangle. Let P be a point on minor arc AB of its circumcircle. Prove that PC=PA+PB.

Solution: Draw PA, PB, PC. By Ptolemy's Theorem applied to quadrilateral APBC, we know that PC\cdot AB=PA\cdot BC+PB\cdot AC. Since AB=BC=CA=s, we divide both sides of the last equation by s to get the result: PC=PA+PB.

Regular Heptagon Identity

In a regular heptagon ABCDEFG, prove that: 1/AB = 1/AC + 1/AD.

Solution: Let ABCDEFG be the regular heptagon. Consider the quadrilateral ABCE. If a, b, and c represent the lengths of the side, the short diagonal, and the long diagonal respectively, then the lengths of the sides of ABCE are a, a, b and c; the diagonals of ABCE are b and c, respectively.

Now, Ptolemy's Theorem states that ab + ac = bc, which is equivalent to 1/a=1/b+1/c.

1991 AIME Problems/Problem 14

A hexagon is inscribed in a circle. Five of the sides have length 81 and the sixth, denoted by \overline{AB}, has length 31. Find the sum of the lengths of the three diagonals that can be drawn from A.

Solution

See also

Looking for a challenging algebra text? Preparing for MATHCOUNTS or the AMC exams?
Check out Art of Problem Solving's Introduction to Algebra by Richard Rusczyk.
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us