4188. На неравных сторонах
AB
и
AC
треугольника
ABC
внешним образом построены равнобедренные треугольники
AC_{1}B
и
AB_{1}C
с углом
\varphi
при вершине,
O
— точка серединного перпендикуляра к отрезку
BC
, равноудалённая от точек
B_{1}
и
C_{1}
. Докажите, что
\angle B_{1}OC_{1}=180^{\circ}-\varphi
.
Решение. Лемма. На сторонах произвольного треугольника
ABC
внешним образом построены равнобедренные треугольники с углами
2\alpha
,
2\beta
и
2\gamma
при вершинах
A_{1}
,
B_{1}
и
C_{1}
, причём
\alpha+\beta+\gamma=180^{\circ}
. Тогда углы треугольника
A_{1}B_{1}C_{1}
равны
\alpha
,
\beta
и
\gamma
.
Доказательство. Пусть
\angle AC_{1}B=2\gamma
,
\angle AB_{1}C=2\beta
,
\angle BA_{1}C=2\alpha
(рис. 1). Сумма углов шестиугольника
AC_{1}BA_{1}CB_{1}
равна
180^{\circ}(6-2)=720^{\circ}
, а так как
\angle BA_{1}C+\angle AB_{1}C+\angle AC_{1}B=2\alpha+2\beta+2\gamma=360^{\circ}
, то
\angle B_{1}AC_{1}+\angle A_{1}BC_{1}+\angle A_{1}BC_{1}=720^{\circ}-360^{\circ}=360^{\circ}.

Пусть при повороте вокруг точки
C_{1}
, переводящем точку
B
в точку
A
, точка
A_{1}
перешла в некоторую точку
P
. Тогда треугольник
PAC_{1}
равен треугольнику
A_{1}BC_{1}
, а так как
AP=BA_{1}=CA_{1}
,
AB_{1}=CB_{1}
и
\angle PAB_{1}=360^{\circ}-\angle PAC_{1}-B_{1}AC_{1}=360^{\circ}-\angle A_{1}BC_{1}-B_{1}AC_{1}=

=360^{\circ}-(360^{\circ}-\angle A_{1}CB_{1})=\angle A_{1}CB_{1},

то треугольники
PAB_{1}
и
A_{1}CB_{1}
равны по двум сторонам и углу между ними, поэтому
PB_{1}=A_{1}B_{1}
. Значит, треугольники
PB_{1}C_{1}
и
A_{1}B_{1}C_{1}
равны по трём сторонам. Тогда
\angle PB_{1}A=\angle CB_{1}A_{1},~\angle PB_{1}A_{1}=\angle PB_{1}A+\angle AB_{1}A_{1}=\angle CB_{1}A_{1}+\angle AB_{1}A_{1}=\angle AB_{1}C=2\beta.

Следовательно,
\angle A_{1}B_{1}C_{1}=\frac{1}{2}\angle PB_{1}A_{1}=\frac{1}{2}\angle AB_{1}C=\beta.

Аналогично,
\angle B_{1}A_{1}C_{1}=\alpha,~\angle A_{1}C_{1}B_{1}=\gamma.

Что и требовалось доказать.
Перейдём к нашей задаче. Построим на стороне
BC
(рис. 2) внешним образом равнобедренный треугольник
BA_{1}C
с углом
360^{\circ}-2\varphi
при вершине
A_{1}
(если
\varphi\lt90^{\circ}
, строим внутренним образом треугольник с углом
2\varphi
). Тогда сумма трёх углов при вершинах трёх равнобедренных треугольников
AC_{1}B
,
AB_{1}C
и
BA_{1}C
равна
360^{\circ}
. По лемме углы треугольника
A_{1}B_{1}C_{1}
вдвое меньше соответствующих углов при вершинах этих равнобедренных треугольников, т. е.
\angle B_{1}A_{1}C_{1}=180^{\circ}-\varphi
,
\angle A_{1}C_{1}B_{1}=\angle A_{1}B_{1}C_{1}=\frac{\varphi}{2}
, а так как
A_{1}C=A_{1}B
, то точка
A_{1}
равноудалена от точек
B_{1}
и
C_{1}
, значит, она совпадает с данной в условии точкой
O
. Следовательно,
\angle B_{1}OC_{1}=180^{\circ}-\varphi
.