6491. На большей стороне AC
треугольника ABC
взята точка N
так, что серединные перпендикуляры к отрезкам AN
и NC
пересекают стороны AB
и BC
в точках K
и M
соответственно. Докажите, что центр O
описанной около треугольника ABC
окружности лежит на окружности, описанной около треугольника KBM
.
Решение. Пусть P
и Q
— середины сторон AB
и BC
соответственно, P_{1}
, K_{1}
, Q_{1}
, M_{1}
, B_{1}
— проекции точек P
, K
, Q
, M
, B
на сторону AC
. Поскольку P_{1}
— середина AB_{1}
, а Q_{1}
— середина CB_{1}
, то
P_{1}Q_{1}=\frac{1}{2}AB_{1}+\frac{1}{2}CB_{1}=\frac{1}{2}(AB_{1}+CB_{1})=\frac{1}{2}AC.
Поскольку K_{1}
— середина AN
, а M_{1}
— середина CN
, то
K_{1}M_{1}=\frac{1}{2}AN+\frac{1}{2}CN=\frac{1}{2}(AN+CN)=\frac{1}{2}AC.
Поэтому P_{1}Q_{1}=K_{1}M_{1}
. Поэтому, если K
точка ближе к вершине B
, чем точка P
, то точка Q
ближе к B
, чем точка M
.
Из условия задачи следует, что OP\perp AB
и OQ\perp BC
, поэтому
\angle POQ=180^{\circ}-\angle ABC,
Таким образом, утверждение задачи равносильно равенству \angle KOM=\angle POQ
(тогда сумма противоположных углов четырёхугольника BKOM
равна 180^{\circ}
, а значит, точки B
, K
, O
и M
лежат на одной окружности).
С учётом установленного расположения точек, достаточно доказать, что \angle POK=\angle QOM
, что равносильно подобию прямоугольных треугольников OPK
и OQM
.
Пусть \angle BAC=\alpha
, \angle ACB=\gamma
. Поскольку P_{1}K_{1}
и Q_{1}M_{1}
— проекции отрезков PK
и QM
на прямую AC
, то
PK=\frac{P_{1}K_{1}}{\cos\alpha},~QM=\frac{Q_{1}M_{1}}{\cos\gamma},
а так как P_{1}Q_{1}=K_{1}M_{1}
, то P_{1}K_{1}=Q_{1}M_{1}
, поэтому
\frac{PK}{QM}=\frac{\frac{P_{1}K_{1}}{\cos\alpha}}{\frac{Q_{1}M_{1}}{\cos\gamma}}=\frac{\cos\gamma}{\cos\alpha}.
С другой стороны, AOB
— центральный угол описанной окружности треугольника ABC
, а ACB
— угол, вписанный в эту окружность, поэтому \angle AOB=2\angle ACB=2\gamma
, а \angle BOP=\frac{1}{2}\angle AOB=\gamma
. Если R
— радиус описанной окружности треугольника ABC
, то из прямоугольного треугольника BPO
находим, что OP=OB\cos\gamma=R\cos\gamma
. Аналогично находим, что OQ=R\cos\alpha
. Поэтому
\frac{OP}{OQ}=\frac{R\cos\gamma}{R\cos\alpha}=\frac{\cos\gamma}{\cos\alpha}=\frac{PK}{QM}.
Следовательно, треугольники OPK
и OQM
подобны. Отсюда следует утверждение задачи.
