Для доказательства того, что биссектрисы односторонних углов, образованных пересечением секущей с двумя параллельными прямыми, перпендикулярны, рассмотрим следующую ситуацию.
Пусть у нас есть две параллельные прямые ( a ) и ( b ), пересеченные секущей ( c ). Обозначим углы, образованные секущей и параллельными прямыми, как ( \angle 1 ), ( \angle 2 ), ( \angle 3 ) и ( \angle 4 ):
- ( \angle 1 ) и ( \angle 2 ) — односторонние углы, образованные с одной стороны от секущей ( c ).
- ( \angle 3 ) и ( \angle 4 ) — односторонние углы, образованные с другой стороны от секущей.
По свойству параллельных прямых, можем сказать, что углы ( \angle 1 ) и ( \angle 3 ) являются соответственно углами, образованными попарно перпендикулярными прямыми, и ( \angle 2 ) и ( \angle 4 ) также имеют такое свойство. Таким образом, углы ( \angle 1 ) и ( \angle 2 ) являются внутренними односторонними углами.
Теперь найдем биссектрисы этих углов:
- Биссектрису угла ( \angle 1 ) обозначим как ( d_1 ).
- Биссектрису угла ( \angle 2 ) обозначим как ( d_2 ).
Поскольку биссектрисы делят углы пополам, то справедливо:
[
m(d_1) = \frac{1}{2} m(\angle 1)
]
[
m(d_2) = \frac{1}{2} m(\angle 2)
]
Поскольку ( \angle 1 + \angle 2 = 180^\circ ) (так как они являются односторонними углами), вытекает, что:
[
m(\angle 1) + m(\angle 2) = 180^\circ
]
Следовательно, биссектрисы ( d_1 ) и ( d_2 ) будут образовывать углы:
[
m(d_1) + m(d_2) = \frac{1}{2} m(\angle 1) + \frac{1}{2} m(\angle 2) = \frac{1}{2} \cdot 180^\circ = 90^\circ
]
Таким образом, биссектрисы ( d_1 ) и ( d_2 ) перпендикулярны друг другу, что и требовалось доказать.
