∠1=∠2, ∠3=∠4, так как a и b - биссектрисы
(∠1+∠2)+(∠3+∠4)=180°
Разделив обе части на 2, и заменив в скобках ∠1 на ∠2 и ∠4 на ∠3 (на основании первого равенства), получим:
(∠2+∠2)/2+(∠3+∠3)/2=180°/2
(2∠2)/2+(2∠3)/2=90°
∠2+∠3=90°
Таким образом, биссектрисы углов, при пересечении двух прямых взаимно перпендикулярны..