Let be a triangle and let the tangent at to its circumcircle meet the internal bisector of angle at . The line through parallel to meets at . Assume that lies in the interior of segment and let the line through parallel to meet at and at . Prove that is tangent to the circumcircle of triangle .
, 2022
Solution

Since is tangent to the circumcircle and , we have . It follows that the right-angled triangles and are similar and therefore .
Analogously the triangles and are also similar and therefore .
Since , belong on the bisector of , we have that and so from the results of the previous two paragraphs we get that .
The quadrilaterals and are cyclic, therefore . Together with the previous result we get that the triangles and are similar. Using this together with properties of cyclic quadrilaterals and the fact that we get that
Since and we get
which implies that . Thus . So the result follows.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.