|
|
(11 intermediate revisions by 9 users not shown) |
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 the [[Ptolemy Inequality]]. Ptolemy's Theorem frequently shows up as an intermediate step in problems involving inscribed figures.
| + | #REDIRECT[[Ptolemy's theorem]] |
− | | |
− | == Definition ==
| |
− | | |
− | Given a [[cyclic quadrilateral]] <math>ABCD</math> with side lengths <math>{a},{b},{c},{d}</math> and [[diagonal]]s <math>{e},{f}</math>:
| |
− | | |
− | <math>ac+bd=ef</math>.
| |
− | | |
− | == Proof ==
| |
− | | |
− | Given cyclic quadrilateral <math>ABCD,</math> extend <math>CD</math> to <math>P</math> such that <math>\angle BAD=\angle CAP.</math>
| |
− | | |
− | Since quadrilateral <math>ABCD</math> is cyclic, <math>m\angle ABC+m\angle ADC=180^\circ .</math> However, <math>\angle ADP</math> is also supplementary to <math>\angle ADC,</math> so <math>\angle ADP=\angle ABC</math>. Hence, <math>\triangle ABC \sim \triangle ADP</math> by AA similarity and <math>\frac{AB}{AD}=\frac{BC}{DP}\implies DP=\frac{(AD)(BC)}{(AB)}.</math>
| |
− | | |
− | Now, note that <math>\angle ABD=\angle ACD </math> (subtend the same arc) and <math>\angle BAC+\angle CAD=\angle DAP+\angle CAD \implies \angle BAD=\angle CAP,</math> so <math>\triangle BAD\sim \triangle CAP.</math> This yields <math>\frac{AB}{AC}=\frac{BD}{CP}\implies CP=\frac{(AC)(BD)}{(AB)}.</math>
| |
− | | |
− | However, <math>CP= CD+DP.</math> Substituting in our expressions for <math>CP</math> and <math>DP,</math> <math> \frac{(AC)(BD)}{(AB)}=CD+\frac{(AD)(BC)}{(AB)}.</math> Multiplying by <math>AB</math> yields <math>(AC)(BD)=(AB)(CD)+(AD)(BC)</math>.
| |
− | | |
− | == Problems ==
| |
− | === Equilateral Triangle Identity ===
| |
− | Let <math>\triangle ABC</math> be an equilateral triangle. Let <math>P</math> be a point on minor arc <math>AB</math> of its circumcircle. Prove that <math>PC=PA+PB</math>.
| |
− | | |
− | Solution: Draw <math>PA</math>, <math>PB</math>, <math>PC</math>. By Ptolemy's Theorem applied to quadrilateral <math>APBC</math>, we know that <math>PC\cdot AB=PA\cdot BC+PB\cdot AC</math>. Since <math>AB=BC=CA=s</math>, we divide both sides of the last equation by <math>s</math> to get the result: <math>PC=PA+PB</math>.
| |
− | | |
− | === Regular Heptagon Identity ===
| |
− | In a regular heptagon <math> ABCDEFG </math>, prove that: <math> \frac{1}{AB}=\frac{1}{AC}+\frac{1}{AD} </math>.
| |
− | | |
− | Solution: Let <math> ABCDEFG </math> be the regular heptagon. Consider the quadrilateral <math> ABCE </math>. If <math> a </math>, <math> b </math>, and <math> c </math> represent the lengths of the side, the short diagonal, and the long diagonal respectively, then the lengths of the sides of <math> ABCE </math> are <math> a </math>, <math> a </math>, <math> b </math> and <math> c </math>; the diagonals of <math> ABCE </math> are <math> b </math> and <math> c </math>, respectively.
| |
− | | |
− | Now, Ptolemy's Theorem states that <math> ab + ac = bc </math>, which is equivalent to <math> \frac{1}{a}=\frac{1}{b}+\frac{1}{c} </math> upon multiplication by <math> abc </math>.
| |
− | | |
− | === 1991 AIME Problems/Problem 14 ===
| |
− | A hexagon is inscribed in a circle. Five of the sides have length <math>81</math> and the sixth, denoted by <math>\overline{AB}</math>, has length <math>31</math>. Find the sum of the lengths of the three diagonals that can be drawn from <math>A</math>.
| |
− | | |
− | [[1991_AIME_Problems/Problem_14#Solution|Solution]] | |
− | | |
− | === 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 <math>ABCD</math>, <math>AD</math> being the diameter. <math>AB = 2</math>, <math>BC = 7</math>, and <math>CD = 11</math>. Construct diagonals <math>AC</math> and <math>BD</math>. Notice that these diagonals form right triangles. You get the following system of equations:
| |
− | | |
− | <math>(AC)(BD) = 7(AD) + 22</math> (Ptolemy's Theorem)
| |
− | | |
− | <math>\n(AC)^2 = (AD)^2 - 121</math>
| |
− | | |
− | <math>(BD)^2 = (AD)^2 - 4</math>
| |
− | | |
− | Solving gives <math>AD = 14</math>
| |
− | | |
− | == See also ==
| |
− | * [[Geometry]]
| |
− | | |
− | [[Category:Geometry]]
| |
− | [[Category:Theorems]]
| |