Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Ptolemy's Theorem"

(→‎Proof)
m (→‎2004 AMC 10B Problem 24)
(32 intermediate revisions by 20 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 case of the [[Ptolemy 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.
  
−
=== Definition ===
+
== Statement ==
  
−
Given a [[cyclic quadrilateral]] <math>ABCD</math> with side lengths <math>{a},{b},{c},{d}</math> and [[diagonals]] <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>:
  
−
<math>ac+bd=ef</math>.
+
<cmath>ac+bd=ef.</cmath>
  
−
=== Proof ===
+
== Proof ==
  
−
Given cyclic quadrilateral <math>\displaystyle ABCD,</math> extend <math>\displaystyle CD</math> to <math>\displaystyle P</math> such that <math>\angle BAC=\angle DAP.</math>  
+
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>\displaystyle ABCD,</math> is cyclic, <math>\displaystyle m\angle ABC+m\angle ADC=180^\circ .</math> However, <math>\displaystyle \angle ADP</math> is also supplementary to <math>\angle ADC,</math> so <math>\displaystyle \angle ADP=\angle ABC</math> Hence, <math>\displaystyle \triangle ABC \sim \triangle ADP</math> by AA similarity and <math>\frac{AB}{AD}=\frac{BC}{DP}\implies DP=\frac{(AD)(BC)}{(AB)}.</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 BAC=\angle CAP,</math> so <math>\triangle BAD\sim \triangle CAP.</math> This yields <math>\frac{AD}{AP}=\frac{BD}{CP}\implies CP=\frac{(AP)(BD)}{(AD)}.</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>\displaystyle CP= CD+DP.</math> Substituting in our expressions for  <math>\displaystyle CP</math> and  <math>\displaystyle DP,</math>  <math> \frac{(AC)(BD)}{(AB)}=CD+\frac{(AD)(BC)}{(AB)}.</math> Multiplying by <math>\displaystyle AB</math> yields  <math>\displaystyle (AC)(BD)=(AB)(CD)+(AD)(BC)</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>.
  
−
--[[User:4everwise|4everwise]] 14:09, 22 June 2006 (EDT)
+
== Problems ==
 +
===2004 AMC 10B Problem 24===
 +
In triangle <math>ABC</math> we have <math>AB=7</math>, <math>AC=8</math>, <math>BC=9</math>. Point <math>D</math> is on the circumscribed circle of the triangle so that <math>AD</math> bisects angle <math>BAC</math>. What is the value of <math>AD/CD</math>?
  
−
=== Example ===
+
<math>\text{(A) } \dfrac{9}{8} \quad \text{(B) } \dfrac{5}{3} \quad \text{(C) } 2 \quad \text{(D) } \dfrac{17}{7} \quad \text{(E) } \dfrac{5}{2}</math>
  
−
In a regular heptagon ''ABCDEFG'', prove that: ''1/AB = 1/AC + 1/AD''.
+
Solution: Set <math>\overline{BD}</math>'s length as <math>x</math>. <math>CD</math>'s length must also be <math>x</math> since <math>\angle BAD</math> and <math>\angle DAC</math> intercept arcs of equal length(because <math>\angle BAD =\angle DAC</math>). Using Ptolemy's Theorem, <math>7x+8x=9(AD)</math>. The ratio is <math>\boxed{\frac{5}{3}}\implies(B)</math>
  
−
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''; and the diagonals of ''ABCE'' are ''b'' and ''c'', respectively.
+
=== 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>.
  
−
Now Ptolemy's theorem states that ''ab + ac = bc'', which is equivalent to ''1/a=1/b+1/c''.
+
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 division 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>\text(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]]

Revision as of 00:42, 16 August 2017

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.

Statement

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 BAD=\angle CAP.$

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{AB}{AC}=\frac{BD}{CP}\implies CP=\frac{(AC)(BD)}{(AB)}.$

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

2004 AMC 10B Problem 24

In triangle $ABC$ we have $AB=7$, $AC=8$, $BC=9$. Point $D$ is on the circumscribed circle of the triangle so that $AD$ bisects angle $BAC$. What is the value of $AD/CD$?

$\text{(A) } \dfrac{9}{8} \quad \text{(B) } \dfrac{5}{3} \quad \text{(C) } 2 \quad \text{(D) } \dfrac{17}{7} \quad \text{(E) } \dfrac{5}{2}$

Solution: Set $\overline{BD}$'s length as $x$. $CD$'s length must also be $x$ since $\angle BAD$ and $\angle DAC$ intercept arcs of equal length(because $\angle BAD =\angle DAC$). Using Ptolemy's Theorem, $7x+8x=9(AD)$. The ratio is $\boxed{\frac{5}{3}}\implies(B)$

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: $\frac{1}{AB}=\frac{1}{AC}+\frac{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 $\frac{1}{a}=\frac{1}{b}+\frac{1}{c}$ upon division by $abc$.

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

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 $ABCD$, $AD$ being the diameter. $AB = 2$, $BC = 7$, and $CD = 11$. Construct diagonals $AC$ and $BD$. Notice that these diagonals form right triangles. You get the following system of equations:

$(AC)(BD) = 7(AD) + 22$ (Ptolemy's Theorem)

$\text(AC)^2 = (AD)^2 - 121$

$(BD)^2 = (AD)^2 - 4$

Solving gives $AD = 14$

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Ptolemy%27s_Theorem&oldid=87049"