Suma miar kątów przyległych wynosi
, więc:
Dwusieczne dowolnego kąta dzieli go na dwa o takiej samej mierze, więc po poprowadzeniu ich powstaną kąty o miarach:
Więc miara kąta pomiędzy dwusiecznymi wyniesie:
Oznacz to, że dwusieczne kątów przyległych przecinają się pod kątem prostym, więc są względem siebie prostopadłe.
To kończy dowód.
