Problem 2
Let and be circles with centres and , respectively, such that the radius of is less than the radius of . Suppose circles and intersect at two distinct points and . Line intersects at and at , such that points , , and lie on the line in that order. Let be the circumcentre of triangle . Line intersects again at . Line intersects again at . Let be the orthocentre of triangle . Prove that the line through parallel to is tangent to the circumcircle of triangle .
Step 7 of 7: H is the incenter of TMN, which finishes the tangency
Detailed analysis
Because and , we have and, using collinear, . Thus bisects . Symmetrically , and bisects . It remains to choose the internal, not external, bisectors. Take counterclockwise. Since occur in this order and are the farther intersections with , the angle is obtuse. Reflecting the line in the two bisectors gives lines meeting at on the same side of as ; hence lies inside , so these are its internal bisectors. Therefore is the incenter and . In , the centre gives (directed angles modulo ). Since and this equals , we obtain . Step 4 showed that the tangent to at is parallel to ; the line through parallel to therefore passes through and is exactly that tangent.