6436. На сторонах AB
 и BC
 неравнобедренного треугольника ABC
 выбраны точки C_{0}
 и A_{0}
 соответственно, точка B_{1}
 — середина дуги ABC
 описанной окружности треугольника ABC
. Докажите, что равенство AC_{0}=CA_{0}
 выполняется тогда и только тогда, когда точки A_{0}
, C_{0}
, B_{1}
 и B
 лежат на одной окружности.
Решение. Рассмотрим случай, изображённый на рисунке.
Необходимость. Пусть AC_{0}=CA_{0}
, а окружность, проходящая через точки B
, A_{0}
 и C_{0}
, пересекает описанную окружность треугольника ABC
 в точке B'
, отличной от B
. По теореме о вписанных углах, опирающихся на одну и ту же дугу,
\angle C_{0}AB'=\angle BAB'=\angle BCB'=\angle A_{0}CB',
\angle BC_{0}B'=\angle BA_{0}B'.
 Тогда
\angle AC_{0}B'=180^{\circ}-\angle BC_{0}B'=180^{\circ}-\angle BA_{0}B'=\angle CA_{0}B',
 значит, треугольники AC_{0}B'
 и CA_{0}B'
 равны по стороне и двум прилежащим к ней углам, поэтому AB'=CB'
. Следовательно, точка B'
 совпадает с серединой B_{1}
 дуги ABC
 описанной окружности треугольника ABC
. Что и требовалось доказать.
Достаточность. Пусть точки A_{0}
, C_{0}
, B_{1}
 и B
 лежат на одной окружности. Тогда AB_{1}=CB_{1}
. По теореме о вписанных углах
\angle C_{0}AB_{1}=\angle BAB_{1}=\angle BCB_{1}=\angle A_{0}CB_{1},
\angle AB_{1}C=\angle ABC=\angle C_{0}BA_{0}=\angle C_{0}B_{1}A_{0}.
 Значит,
\angle C_{0}B_{1}A=\angle C_{0}B_{1}A_{0}-\angle AB_{1}A_{0}=\angle ABC-\angle AB_{1}A_{0}=\angle CB_{1}A_{0},
 поэтому треугольники AC_{0}B_{1}
 и CA_{0}B_{1}
 равны по стороне и двум прилежащим к ней углам. Следовательно, AC_{0}=CA_{0}
. Что и требовалось доказать.
Аналогично для остальных случаев.

Примечание. 1. Утверждение остаётся справедливым и для случаев, когда точки A_{0}
 и C_{0}
 расположены на прямых (а не только на отрезках) AB
 и BC
. Тогда, если C_{0}
 не лежит на луче AB
 и (или) A_{0}
 не лежит на луче CB
, то длины отрезков AC_{0}
 и (или) CA_{0}
 будем считать отрицательными.
2. См. статью А.Полянского «Воробьями по пушкам!», Квант, 2012, N2, с.49-50.
Источник: Журнал «Квант». — 2012, № 2, с. 49-50