Browse · MathNet
PrintBMO 2022 shortlist
2022 geometry
Problem
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 .

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.
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.
Techniques
TangentsCyclic quadrilateralsAngle chasing