Олимпиадная задача: Касательная к окружности треугольника ABC

Лемма. Пусть даны окружность $\omega$ и две касающиеся ее прямые $m$, $n$. Рассмотрим следующее отображение $f: m\to n$: для любой точки $P$ на $m$ $f(P)=Q$ – точка пересечения $n$ и второй касательной из $P$ к $\omega$. Тогда $f$ проективно.

Доказательство. Пусть $O$ – центр $\omega$. Тогда ориентированный угол между $OP$ и $OQ$ не зависит от $P$. Значит, для любых четырех точек $P_1$, $P_2$, $P_3$, $P_4$ на $m$ и $f(P_i)=Q_i$ поворот вокруг $O$ переводит прямые $OP_1$, $OP_2$, $OP_3$, $OP_4$ в $OQ_1$, $OQ_2$, $OQ_3$, $OQ_4$. Следовательно, двойные отношения $(P_1P_2P_3P_4)$ и $(Q_1Q_2Q_3Q_4)$ равны.

Вернемся к задаче. В соответствии с леммой определим отображение $f_A$ для окружности $\gamma_A$ из $l_B$ в $l_C$. Определим $f_B$ и $f_C$ циклически. Докажем, что композиция $f_A$, $f_B$ и $f_C$ Является тождественным преобразованием. По лемме достаточно убедиться, что для трех различных точек $P$ на $l_B$ $f_C(f_B(f_A(P)))=P$. Это, очевидно, так для точек пересечения сторон треугольника $ABC$ с $l_B$.