ISL 2018 G5

Let $A B C$ be a triangle with circumcircle $\omega$ and incentre $I$. A line $\ell$ intersects the lines $A I, B I$, and $C I$ at points $D, E$, and $F$, respectively, distinct from the points $A, B, C$, and $I$. The perpendicular bisectors $x, y$, and $z$ of the segments $A D, B E$, and $C F$, respectively determine a triangle $\Theta$. Show that the circumcircle of the triangle $\Theta$ is tangent to $\omega$. (Denmark) Preamble. Let $X=y \cap z, Y=x \cap z, Z=x \cap y$ and let $\Omega$ denote the circumcircle of the triangle $X Y Z$. Denote by $X_{0}, Y_{0}$, and $Z_{0}$ the second intersection points of $A I, B I$ and $C I$, respectively, with $\omega$. It is known that $Y_{0} Z_{0}$ is the perpendicular bisector of $A I, Z_{0} X_{0}$ is the perpendicular bisector of $B I$, and $X_{0} Y_{0}$ is the perpendicular bisector of $C I$. In particular, the triangles $X Y Z$ and $X_{0} Y_{0} Z_{0}$ are homothetic, because their corresponding sides are parallel. The solutions below mostly exploit the following approach. Consider the triangles $X Y Z$ and $X_{0} Y_{0} Z_{0}$, or some other pair of homothetic triangles $\Delta$ and $\delta$ inscribed into $\Omega$ and $\omega$, respectively. In order to prove that $\Omega$ and $\omega$ are tangent, it suffices to show that the centre $T$ of the homothety taking $\Delta$ to $\delta$ lies on $\omega$ (or $\Omega$ ), or, in other words, to show that $\Delta$ and $\delta$ are perspective (i.e., the lines joining corresponding vertices are concurrent), with their perspector lying on $\omega$ (or $\Omega$ ). We use directed angles throughout all the solutions.