Задание олимпиады: доказательство о треугольниках с окружностями

Пусть $\omega$ и $\omega_A$ – вписанная и вневписанная, противоположная вершине $A$ окружности. Обозначим через $t$ их общую внутреннюю касательную, отличную от прямой $BC$.

Рассмотрим инверсию с центром $A$, меняющую местами $\omega$ и $\omega_A$. Она переводит прямую $t$ в окружность $s$, проходящую через $A$, касающуюся $\omega$ внутренним образом, а $\omega_A$ внешним и касающуюся в $A$ прямой, параллельной $t$.

Поскольку прямые $BC$ и $t$ симметричны относительно внутренней биссектрисы угла $A$, касательные в точке $A$ к $s$ и описанной около треугольника $ABC$ окружности совпадают. Следовательно, $s$ – окружность из условия задачи.