Будем называть треугольник DEF вписанным в треугольник ABC, если точки D, E, F находятся на сторонах BC, AC, AB соответственно.
В треугольник DEF вписан треугольник XYZ, гомотетичный треугольнику ABC. Докажите, что описанная окружность треугольника DEF касается описанной окружности ABC тогда и только тогда, когда касается описанной окружности XYZ.
Окружность (DEF) повторно пересекает стороны BC, AC, AB в точках D', E', F' соответственно. Окружность (XYZ) повторно пересекает стороны EF, DF, DE в точках X', Y', Z' соответственно. Окружности (EX'Z') и (FX'Y') повторно пересекаются в точке M. Заметим, что
поэтому M лежит на окружности (DY'Z') Также
поэтому M лежит на окружности (AEF). Аналогично M лежит на окружностях (BFD), (CED). Пусть ΦΕ — инверсия с центром в точке M и произвольным радиусом. Тогда
Также
Аналогично Следовательно, треугольники AE'F' и Φ(X')Φ(E)Φ(F) подобны. Проделывая аналогичные рассуждения для двух других сторон, мы получаем
Следовательно, угол между окружностями Φ((X'Y'Z')) и Φ((DEF)) равен углу между окружностями (ABC) и (DEF) по подобию, с другой стороны, он равен углу между окружностями (X'Y'Z') и (DEF), так как инверсия сохраняет углы.

