Browse · MathNet
PrintSaudi Arabian IMO Booklet
Saudi Arabia geometry
Problem
Given is triangle with . Circles , are inscribed in angle with tangent to at and tangent to at . Tangent to from different than intersects at , and tangent to from different than intersects at . Line and the angle bisector of intersect at points and , respectively. Prove that .

Solution
Note that the length of the segment of the common tangent to and joining the tangency points is equal to SAUDI ARABIAN IMO Booklet 2022
which means that points , lie on the one, and point on the other leg of some hyperbola with foci , . Denote by the midpoint of the segment (the center of symmetry of ) and denote by , , the central reflections in of , , , respectively. Then , and , , are collinear. From the optical property of a hyperbola follows that is tangent to (as it is the bisector of ). Therefore Pascal's theorem applied to the degenerate hexagon inscribed in gives the collinearity of points Therefore the three lines (tangent to in ), , are concurrent, which means that and in consequence .
which means that points , lie on the one, and point on the other leg of some hyperbola with foci , . Denote by the midpoint of the segment (the center of symmetry of ) and denote by , , the central reflections in of , , , respectively. Then , and , , are collinear. From the optical property of a hyperbola follows that is tangent to (as it is the bisector of ). Therefore Pascal's theorem applied to the degenerate hexagon inscribed in gives the collinearity of points Therefore the three lines (tangent to in ), , are concurrent, which means that and in consequence .
Techniques
TangentsConcurrency and CollinearityRotationConstructions and lociAngle chasing