In the diagram, triangle with the incircle touches and at and , respectively.
and are midpoints of and , respectively.
cuts at point . cuts at point .
If and , length of can be written as , where and are coprime positive integers, find .
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.
The goal of the solution is to prove that A D is the bisector of ∠ B A C (that's why I hide the incenter).
Draw the bisector of ∠ B A C , it cuts B C at point D ′ and cuts M N at point P ′ . Extend C P ′ to cut A B at point K . Let us call I is the incenter of triangle A B C . To achieve the goal, first, we'll prove I E P ′ C is concylic, then, E , F , P ′ are colinear. If we do so, P and P ′ both are intersections of E F and M N , so P ≡ P ′ or D ≡ D ′ .
It's quite easy to prove I E P ′ C is concylic. M and N are midpoints of A C and B C , respectively, so P ′ is midpoint of C K . But A P ′ is bisector of ∠ B A C , triangle K A C is isosceles, and A P ′ is the altitude of this triangle. ∠ I E C = ∠ I P ′ C = 9 0 ∘ , which makes I E P ′ C concylic.
Now we'll prove the second, E F P ′ is a straight line. ∠ P ′ I C is the external angle of triangle A I C , so ∠ P ′ I C = 2 1 ( ∠ B A C + ∠ A C B ) or ∠ P ′ I C = 2 1 ( 1 8 0 ∘ − ∠ A B C ) = ∠ B E F . But ∠ P ′ I C = ∠ P ′ E C (property of a concylic quadrilateral), we have ∠ P ′ E C = ∠ B E F . Yay! E , F , P ′ is colinear now.
We've just proved that E F , M N and the bisector of ∠ B A C are concur. The last part is easy now. A D is now the bisector of ∠ B A C so A B D B = A C D C = A B + A C D B + D C = 9 6 . This gives us D B = 3 8 , D C = 3 1 0 . Use this formula to calculate A D :
A D = A B × A C − D B × D C = 4 × 5 − 3 8 × 3 1 0 = 3 1 0 .
Thus, the answer is 1 3 .