Пусть данные перпендикуляры, проходящие через K и L, пересекают AB в точках U и V соответственно и пересекаются в точке E. Заметим, что обе прямые AC и KE перпендикулярны прямой AC', так что AC || KE; аналогично BC || LE. Пусть прямая C'E вторично пересекает окружность Ω в точке X (см. рис.). Мы докажем, что X – точка касания окружностей ω и Ω. Первый способ. Точки K и L лежат на окружности с диаметром C'E. Поэтому ∠ACX = ∠AC'X = ∠KLE = ∠LCB = ∠MCB. Это значит, что прямая CX – симедиана треугольника ABC; как известно (см. задачу 156983), она проходит через точку S пересечения касательных к Ω в точках A и B.
Пусть
O– центр Ω, ∠
C= γ, а
CMвторично пересекает Ω в точке
Y. Так как
AM– высота прямоугольного треугольника
OAS, то
OM·OS = OA² =
OC²; это значит, что треугольники
OMCи
OCSподобны. Значит, отношение их высот, опущенных из
O, равно
OM/
OC = OM/
OA= cos γ. Эти высоты являются средними линиями прямоугольных треугольников
CYC'и
CXC', так что
C'Y/
C'X= cos γ.
Пусть прямые
AC'и
BC'пересекают
CXв точках
Qи
Pсоответственно. Заметим, что ∠
PC'Q= ∠
YCB= γ. Кроме того, ∠
YC'L= ∠
YCB= ∠
QC'X, так что прямоугольные треугольники
YC'Lи
XC'Qподобны. Значит,
C'L/
C'Q = C'Y/
C'X= cos γ = cos∠
PC'Q. Отсюда следует, что
QL– высота треугольника
PC'Q. Итак, точки
L, E, Qи
Vлежат на одной прямой.
Поскольку ∠
QVB= ∠
VBC= ∠
AXC, четырёхугольник
AVQXвписан в некоторую окружность. Заметим, что точки
Xи
Kлежат на окружности с диаметром
EQ. Из этих двух окружностей получаем ∠
UEX= ∠
KEX= ∠
AQX= ∠
AVX, то есть точка
Xтакже лежит на ω. Кроме того,
∠
EVX= ∠
QAX= ∠
C'AX. Это означает, что градусные меры дуг
C'Xи
EXокружностей Ω и ω равны. Значит, касательные к этим окружностям, проведённые в точке
X, совпадают, то есть окружности Ω и ω касаются в точке
X.
Второй способ. Обозначим через
A1,
B1 и
C1 точки пересечения прямой
C'E с прямыми
BC, CA и
AB соответственно. Как и выше, равенство
∠ACX = ∠AC'X = ∠KLE = ∠LCB означает, что ∠ACX = ∠KCB; с другой стороны, из равенства ∠KC'L = ∠KC'E = ∠KCA1 следует также, что точки C, C', K и A1 лежат на одной окружности (см. рис.). Отсюда ∠C'KA1 = ∠C'CB = ∠C'AB, то есть KA1 || AB.
Обозначим через
Nточку пересечения прямых
KA1и
AC. Поскольку
AB || A1K и прямая
CMделит
ABпополам, она делит пополам и
A1N, то есть
KN = KA1. Так как
KE || AB1,
KE– средняя линия треугольника
A1NB1, то есть
B1E = EA1.
Пусть
X'– точка Ω, диаметрально противоположная
X, а прямые
X'Aи
X'Bпересекают прямую
C'Eв точках
Sи
Tсоответственно. Тогда ∠
SX'T= ∠
C и ∠
X'ST= 90° – ∠
SX'C'= 90° – ∠;
ABC'= ∠
B, то есть треугольники
ABCи
TSX'подобны. Более того, поскольку ∠
SX'X= ∠
ACX= ∠
BCM, точки
Mи
Xв этих треугольниках соответственны, то есть
SX = XT.
Из равенства ∠
AST= ∠
B= ∠
C1BA1 следует, что точки
S, A, Bи
A1лежат на одной окружности, откуда
C1A·C1B = C1S·
C1A1. Аналогично
C1A·C1B = C1T·C1B1, поэтому
C1S·C1A1=
C1T·C1B1, или
C1S/
C1B1=
C1T/
C1A1. Это значит, что отрезки
A1B1и
TSгомотетичны с центром в
C1; эта гомотетия переводит середину
Eотрезка
A1B1в середину
Xотрезка
ST. Следовательно,
C1S/
C1B1=
C1X/
C1E, или
C1S/
C1X=
C1B1/
C1E. В силу параллельности
AB1и
UE C1A/
C1U=
C1B1/
C1E=
C1S/
C1X, поэтому
UX || AS. Отсюда ∠
UXE= ∠
ASX= ∠
B= ∠
EVU, то есть точка
Xлежит на ω.
Наконец, рассмотрим треугольники
ABCи
UVE;их соответственные стороны параллельны, так что они гомотетичны (с отрицательным коэффициентом). При этой гомотетии прямая
CX'переходит в
EX(поскольку
C'X || CX'), окружность Ω переходит в окружность ω, a значит,
X'переходит в
X. Поэтому касательная к ω в точке
Xпараллельна касательной к Ω в точке
X', а значит – и касательной к Ω в точке
X. Отсюда следует, что ω и Ω касаются в точке
X.