4131. Биссектрисы углов, образованных прямыми, содержащими противоположные стороны выпуклого четырёхугольника, перпендикулярны. Докажите, что около этого четырёхугольника можно описать окружность.
Решение. Рассмотрим случай, изображённый на рисунке. Пусть прямые, содержащие противоположные стороны AB
и CD
выпуклого четырёхугольника ABCD
, пересекаются в точке K
, а прямые AD
и BC
— в точке L
; биссектриса угла AKD
пересекает стороны AB
и CD
в точках E
и F
, биссектриса угла AKD
пересекает стороны AD
и BC
в точках E
и H
, а биссектрисы пересекаются в точке O
.
Треугольник EKF
равнобедренный, так как его биссектриса KO
является высотой. Аналогично треугольник GLH
также равнобедренный. Обозначим \angle AKD=\alpha
, \angle CLD=\beta
. По теореме о внешнем угле треугольника
\angle ADC=\angle GDK=\angle LGK-\angle DKG=\left(90^{\circ}-\frac{\alpha}{2}\right)-\frac{\beta}{2}.
Аналогично
\angle CBK=\angle LHG-\angle AKG=\left(90^{\circ}-\frac{\alpha}{2}\right)-\frac{\beta}{2}=\angle ADC,
поэтому
\angle ABC+\angle ADC=(180^{\circ}-\angle CBK)+\angle CBK=180^{\circ}.
Следовательно, четырёхугольник ABCD
вписанный (см. задачу 49). Что и требовалось доказать.
Примечание. Обратное утверждение также верно (см. задачу 162).
Верно более общее утверждение: Точки A
, B
, C
, D
лежат на одной окружности тогда и только тогда, когда биссектрисы углов, образованных прямыми AB
и CD
, параллельны биссектрисам углов, образованных прямыми AD
и BC
.
Источник: Понарин Я. П. Элементарная геометрия. — Т. 1: Планиметрия, преобразования плоскости. — М.: МЦНМО, 2004. — № 7.8, с. 58