Non-isosceles triangle is given, in which . Let be the incenter of the inscribed circle in , be the middle of the sector of the circumscribed circle. Let be such point on the line that . Prove that line is tangent to the circumcircle of .
Solution
Without loss of generality, suppose . Let angular bisector of intersect the circumcircle of the triangle second time in point , and let point be the middle of . Let us prove that . For that, from and , we draw perpendiculars and on line (Fig. 14). It is known that
Notice also that quadrilateral is inscribed with diameter .
Let us show that . From the trillium theorem, , i.e.
Now, in , is altitude and median, which makes isosceles, and so
which yields the statement of the problem.
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.