IMO Shortlist 1995 G3 by inversion The incircle of $\triangle ABC$ is tangent to sides $BC$, $CA$, and $AB$ at points $D$, $E$, and $F$, respectively. Point $X$ is chosen inside $\triangle ABC$ so that the incircle of $\triangle XBC$ is tangent to $BC$ at $D$, to $CX$ at $Y$, and to $XB$ at $Z$.
Prove that $EFZY$ is a cyclic quadrilateral by inversion.
I drew the mappings of all points and lines in the original diagram under inversion, but now I am stuck. Could someone provide a hint (not too many spoilers please..)?

 A: Circular inversion is not really needed, Ceva's theorem is enough.
Let $O_X$ be the centre of the incircle of $XBC$. Clearly $O_X$ lies on the perpendicular to $BC$ through $D$, and $CD=CY=CE$ as well as $BD=BZ=BF$. $EFZY$ is a cyclic quadrilateral iff the perpendicular bisectors of $FZ,YE$ and $EF$ concur (the last line is just the angle bisector of $\widehat{BAC}$, since $AF=AE$). 
These three lines cut the sides of $ABC$ at three points that are easy to describe in terms of $a,b,c$ (the side lengths of $ABC$) and $x=O_X D$. A little algebra easily proves the previous concurrency. The trigonometric version of Ceva's theorem gives an even faster proof.

Here it is a trigonometric proof. Let $q=O_X D$. Since $BD=\frac{a-b+c}{2}$ and $DC=\frac{a+b-c}{2}$ we have that the sine of the angle between the $AC$ side and the perpendicular bisector of $YE$ is $\sin\left(\frac{\widehat{C}}{2}-\arctan\frac{2q}{a+b-c}\right)$, while the angle between the $BC$-side and the perpendicular bisector of $YE$ is $\sin\left(\frac{\widehat{C}}{2}+\arctan\frac{2q}{a+b-c}\right)$. Since $\frac{\sin(\theta+x)}{\sin(\theta-x)}=\frac{1+\tan(x)\cot(\theta)}{1-\tan(x)\cot(\theta)}$,
$$ \frac{\sin\left(\frac{\widehat{C}}{2}+\arctan\frac{2q}{a+b-c}\right)}{\sin\left(\frac{\widehat{C}}{2}-\arctan\frac{2q}{a+b-c}\right)}=\frac{(a+b-c)+2q\frac{a+b-c}{2r}}{(a+b-c)-2q\frac{a+b-c}{2r}}=\frac{r+q}{r-q}$$
and the concurrency easily follows.

Now the alternative way: let we consider a circle $\Gamma$ through the incenter $I$ of $ABC$, having its centre at $D$. Let $U'$ be the inverse of $U$ with respect to $\Gamma$. This circular inversion maps the incircles of $ABC$ and $BCX$ into two parallel lines, so $E'F'Z'Y'$ is a trapezoid. On the other hand, the inverse of the line through $Z'$ and $F'$ is a circle through $Z,F,D$, whose centre lies at $B$, since $BD=BZ=BF$. The last circle and the incircle of $ABC$ are orthogonal at $F$, hence $Z'F'\perp F'E'$. In a similar way, $Y'E'\perp E'F'$, hence $E'F'Z'Y'$ is a rectangle.
