In triangle , , , and . Distinct points , , and lie on segments , , and , respectively, such that , , and . The length of segment can be written as , where and are relatively prime positive integers. What is ?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
∠ A F B = ∠ A D B = 9 0 ∘ , quadrilateral A B D F is cyclic. It follows that ∠ A D E = ∠ A B F .
∠ A F B = ∠ A E D = 9 0 ⟹ triangles A B F and A D E are similar.
It follows that A F = ( 1 3 ) ( 5 4 ) , B F = ( 1 3 ) ( 5 3 ) .
By Ptolemy, we have 1 3 D F + ( 5 ) ( 1 3 ) ( 5 4 ) = ( 1 2 ) ( 1 3 ) ( 5 3 ) . Divide the whole equation by 1 3 to obtain
D F = 5 1 6 ⟹ 1 6 + 5 = 2 1 .
Ptolemy 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. The statement is as follows:
Given a cyclic quadrilateral A B C D with side lengths a , b , c , d and diagonals e , f :
a c + b d = e f .