Для доказательства того, что биссектрисы односторонних углов, образованных пересечением секущей с двумя параллельными прямыми, перпендикулярны, рассмотрим следующую ситуацию.
Пусть у нас есть две параллельные прямые \( 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 \) перпендикулярны друг другу, что и требовалось доказать.