Пусть U – точка пересечения прямых PQ и B1C1 (см. рис.).
Докажем сначала, что в одной точке пересекаются три окружности: описанные окружности Ω
1и Ω
2треугольников
PQA1и
A1B1C1и окружность с диаметром
AA1.
Заметим, что четырёхугольник
PQB1C1– вписанный. Действительно, ∠
APC1= ∠
BCC1= ∠
BB1C1. Кроме того,
UA– касательная к описанной окружности треугольника
AB1C1. Значит,
UA2=
UC1·
UB1=
UP·UQ. С другой стороны,
UP·UQ– степень точки
Uотносительно Ω
1, а
UC1·
UB1– степень
Uотносительно Ω
2, то есть точка
Uлежит на радикальной оси окружностей Ω
1и Ω
2. Поэтому вторая точка
Tпересечения этих окружностей лежит на
A1U, и
UT·UA1=
UC1·
UB1=
UA². Следовательно,
UA– касательная к описанной окружности треугольника
TAA1. Значит,
AA1– диаметр этой окружности.
Осталось доказать, что
Tпринадлежит также и описанной окружности треугольника
KLA0, то есть что
T–
точка Микелядля прямых
UL, A0L, KA0,
UB1(см. рис.).
Для этого достаточно доказать, что
Tпринадлежит описанной окружности треугольника
UKC1(см. задачу
156628). Действительно, точка
Tлежит на описанной окружности четырёхугольника
A0C1B1A1(окружности девяти точек треугольника
ABC), поэтому ∠
C1TA1= ∠
C1A0C= ∠
UKC1, то есть четырёхугольник
UKC1T– вписанный.