57. Теорема Мансиона. Докажите, что отрезок, соединяющий центры вписанной и вневписанной окружностей треугольника, делится описанной окружностью пополам.
Указание. Пусть вневписанная окружность касается стороны AB
треугольника ABC
. Точки A
, B
и центры O_{1}
и O_{2}
вписанной и вневписанной окружностей лежат на окружности с центром в середине отрезка O_{1}O_{2}
.
Решение. Первый способ. Пусть вневписанная окружность касается стороны AB
треугольника ABC
;
\angle C=\alpha,~\angle CAB=\beta,~\angle CBA=\gamma;
O_{1}
, O_{2}
— центры вписанной и вневписанной окружностей соответственно, M
— середина O_{1}O_{2}
.
Поскольку отрезок O_{1}O_{2}
виден из точек A
и B
под прямым углом, то M
— центр окружности, описанной около четырёхугольника AO_{1}BO_{2}
. Тогда
\angle AO_{2}B=\angle AO_{2}O_{1}+\angle BO_{2}O_{1}=\angle O_{1}BA+\angle O_{1}AB=\frac{\gamma}{2}+\frac{\beta}{2}=90^{\circ}-\frac{\alpha}{2},
\angle AMB=2\angle AO_{2}B=180^{\circ}-\alpha.
Следовательно, точки A
, C
, B
и M
лежат на одной окружности, т. е. на окружности, описанной около треугольника ABC
.
Второй способ. Пусть вневписанная окружность касается стороны AB
треугольника ABC
, O_{1}
и O_{2}
— центры вписанной и вневписанной окружностей соответственно.
Поскольку AO_{1}
и AO_{2}
— биссектрисы смежных углов, треугольник O_{1}AO_{2}
прямоугольный с гипотенузой O_{1}O_{2}
.
Пусть M
— точка пересечения описанной окружности треугольника ABC
с отрезком O_{1}O_{2}
. Тогда треугольник AO_{1}M
— равнобедренный, MO_{1}=MA
(см. задачу 788), а так как \angle MAO_{1}=\angle MO_{1}A
, то AM
— медиана треугольника O_{1}AO_{2}
(см. задачу 1483). Следовательно, M
— середина O_{1}O_{2}
.