Let be a triangle with . The triangle has circumcircle and incenter . Point is on such that , and extend to meet at . If can be represented as with and are coprime positive integers, compute .
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.
Consider the circles of A D I , Γ , B I C . It is well-known that the center of circle B I C is the midpoint of arc B C . Thus, circles A D I and B I C are tangent at I . Because three circles have a common radical center, we can extend A D , B C , and the tangent at I to hit at some point P . Let F denote the foot of the perpendicular from I to B C . By similar triangles, we get P F × P E = P I 2 = P D × P A . Thus, by the converse of Power of a Point, A D F E is cyclic. Denote G as the foot of the A-altitiude. We have ∠ I D E = ∠ A D E − 9 0 ∘ = ∠ A F E − 9 0 ∘ = ∠ F A G the last being exterior angle theorem. It is now easy to find that F G = 2 and A G = 1 5 to get that sin ∠ F A G = 2 2 9 2 ⟹ sin 2 ∠ F A G = 2 2 9 4 .