Difference between revisions of "Ptolemy's Theorem"
m |
(→Definition) |
||
Line 1: | Line 1: | ||
'''Ptolemy's Theorem''' gives a relationship between the side lengths and the diagonals of a [[cyclic quadrilateral]]; it is the [[equality condition | equality case]] of [[Ptolemy's Inequality]]. Ptolemy's Theorem frequently shows up as an intermediate step in problems involving inscribed figures. | '''Ptolemy's Theorem''' gives a relationship between the side lengths and the diagonals of a [[cyclic quadrilateral]]; it is the [[equality condition | equality case]] of [[Ptolemy's Inequality]]. Ptolemy's Theorem frequently shows up as an intermediate step in problems involving inscribed figures. | ||
− | == | + | == Statement == |
Given a [[cyclic quadrilateral]] <math>ABCD</math> with side lengths <math>{a},{b},{c},{d}</math> and [[diagonal]]s <math>{e},{f}</math>: | Given a [[cyclic quadrilateral]] <math>ABCD</math> with side lengths <math>{a},{b},{c},{d}</math> and [[diagonal]]s <math>{e},{f}</math>: | ||
− | < | + | <cmath>ac+bd=ef.</cmath> |
== Proof == | == Proof == |
Revision as of 15:49, 22 May 2014
Ptolemy's Theorem gives a relationship between the side lengths and the diagonals of a cyclic quadrilateral; it is the equality case of Ptolemy's Inequality. Ptolemy's Theorem frequently shows up as an intermediate step in problems involving inscribed figures.
Contents
[hide]Statement
Given a cyclic quadrilateral with side lengths and diagonals :
Proof
Given cyclic quadrilateral extend to such that
Since quadrilateral is cyclic, However, is also supplementary to so . Hence, by AA similarity and
Now, note that (subtend the same arc) and so This yields
However, Substituting in our expressions for and Multiplying by yields .
Problems
Equilateral Triangle Identity
Let be an equilateral triangle. Let be a point on minor arc of its circumcircle. Prove that .
Solution: Draw , , . By Ptolemy's Theorem applied to quadrilateral , we know that . Since , we divide both sides of the last equation by to get the result: .
Regular Heptagon Identity
In a regular heptagon , prove that: .
Solution: Let be the regular heptagon. Consider the quadrilateral . If , , and represent the lengths of the side, the short diagonal, and the long diagonal respectively, then the lengths of the sides of are , , and ; the diagonals of are and , respectively.
Now, Ptolemy's Theorem states that , which is equivalent to upon multiplication by .
1991 AIME Problems/Problem 14
A hexagon is inscribed in a circle. Five of the sides have length and the sixth, denoted by , has length . Find the sum of the lengths of the three diagonals that can be drawn from .
Cyclic hexagon
A hexagon with sides of lengths 2, 2, 7, 7, 11, and 11 is inscribed in a circle. Find the diameter of the circle.
Solution: Consider half of the circle, with the quadrilateral , being the diameter. , , and . Construct diagonals and . Notice that these diagonals form right triangles. You get the following system of equations:
(Ptolemy's Theorem)
$\n(AC)^2 = (AD)^2 - 121$ (Error compiling LaTeX. Unknown error_msg)
Solving gives