Докажем, что биссектрисы соответственных углов при параллельных прямых также являются параллельными.
Пусть у нас есть две параллельные прямые \(a\) и \(b\), и пусть с ними пересекает секущая прямая \(c\). Обозначим углы, образующиеся на пересечении секущей и параллельных прямых: \( \angle 1 \) и \( \angle 2 \) — соответственные углы.
По свойствам соответственных углов, поскольку прямые \(a\) и \(b\) параллельны, то: \[ \angle 1 = \angle 2. \]
Теперь построим биссектрисы углов \( \angle 1 \) и \( \angle 2 \). Обозначим их как \(l_1\) и \(l_2\).
Так как \(l_1\) — это биссектрисы угла \( \angle 1\), а \(l_2\) — биссектрисы угла \( \angle 2\), то: \[ \angle 1/2 = \angle 2/2. \] Это означает, что соответственно углы, образующие биссектрисы, равны: \[ \angle l_1 = \angle l_2. \]
Углы, которые равны, находятся на одной и той же параллельной прямой \(b\) и создают параллельные линии \(l_1\) и \(l_2\).
Таким образом, из свойства равенства углов следует, что биссектрисы углов \( \angle 1 \) и \( \angle 2 \) параллельны.
Следовательно, были обосновано, что биссектрисы соответственных углов при параллельных прямых также параллельны.