Założenia:
Teza:
Dwusieczne kątów przyległych są prostopadłe.
Dowód:
Wychodzimy z założenia:
Dzielimy obustronnie przez 2:
Z definicji, dwusieczna kąta dzieli ten kąt na dwie równe części, więc wyznaczyliśmy, że suma kątów między prostymi tworzącymi dwusieczne jest kątem prostym.
(co kończy dowód).
Wykorzystujemy definicję kąta przyległego oraz dwusiecznej kąta.