Пусть S – середина дуги ABC окружности Ω. Тогда SA = SC, AM = CN и ∠BCS = ∠BAS. Значит, треугольники AMS и CNS равны, и они совмещаются поворотом Ф с центром в точке S на угол ∠ASC = ∠ABC. Отсюда, в частности, следует, что SM = SN и ∠MSN = ∠ABC. Далее можно рассуждать по-разному. Первый способ. Из последнего равенства углов следует, что четырёхугольник MSBN вписан в некоторую окружность γ (см. рис.).
Описанные окружности Ω
aи Ω
cтреугольников
AMSи
CNS, также совмещаются поворотом Ф. Пусть
Uи
V– середины дуг
AMи
CN(не содержащих
S) этих окружностей. Тогда
SU = SV (то есть точка
Sлежит на серединном перпендикуляре к
UV) и
UA = VC. Из окружностей Ω и γ имеем
∠
SAK= ∠
SBC= ∠
SMK, то есть
Kлежит на Ω
a. Аналогично
Kлежит на Ω
c.
Отсюда следует, что точки
Uи
Vвместе с точками
Pи
Qлежат на биссектрисе угла ∠
CKN. По
лемме о трезубцедля треугольников
KAMи
KCN(см. задачу
155381)
UP = UA и
VQ = VC. Так как
UA = VC, это означает, что точки
Pи
Qсимметричны относительно серединного перпендикуляра к
UV, на котором лежит точка
S. Значит,
Sравноудалена от
Pи
Q.
Второй способ. Пусть
R и
T – середины отрезков
AC и
MN соответственно. Из равнобедренных треугольников
SAC и
SMN имеем ∠
SRK = ∠
STK = 90°, то есть точки
R и
T лежат на окружности Г с диаметром
SK. Пусть Г вторично пересекает биссектрису
KQ угла
AKM в точке
D. Тогда
DR = DT и ∠
ARD = ∠
DTN.
Пусть
P1и
P2– точки касания вписанной окружности треугольника
AKMс прямыми
KAи
KMсоответственно, а
Q1и
Q2– точки касания вневписанной окружности треугольника
CKNс теми же прямыми. Тогда
RP1+
TP2=
RA + AP1+
MP2+
TM = RA + AM + TM. Аналогично
RQ1+
TQ2=
RC + CN + TN, откуда
RP1+
TP2=
RQ1+
TQ2.
С другой стороны, из симметрии
RP1+
RQ1=
P1Q1=
TP2+
TQ2.
Из полученных равенств следует, что
RP1=
TQ2 и
RQ1=
TP2.
Итак,
DR = DT, RP1=
TQ2 и ∠
P1RD= ∠
Q2TD . Значит, треугольники
DTQ2и
DRP1равны, и
DP1=
DQ2. Поскольку из симметрии
DQ2=
DQ1, треугольник
DP1Q1равнобедренный, его высота, опущенная из вершины
D, является медианой, и поэтому она также является средней линией прямоугольной трапеции
PQQ1P1. Значит,
DP = DQ, и в треугольнике
PSQвысота
SDявляется медианой. Отсюда
SP = SQ.