Для начала рассмотрим ситуацию на рисунке. Пусть прямые a и b параллельны, а прямая c является их секущей.

[
\begin{array}{c}
\angle 1 = \angle 2 \quad \text{(вертикальные углы)} \
\angle 3 = \angle 4 \quad \text{(вертикальные углы)} \
\angle 2 = \angle 3 \quad \text{(биссектрисы)} \
\end{array}
]

Из данных свойств углов следует, что угол 1 равен углу 4. Таким образом, биссектриса угла 1 и угла 4 образуют прямой угол, так как они равны их половинкам.

Таким образом, биссектрисы внутренних углов при параллельных прямых и секущей образуют прямой угол.