Suma trzech kątów
tworzy kąt półpełny, czyli
. Wszystkie kąty w trójkącie są równe
ze względu na kąty naprzemianległe. Kąt
jest przyległy do
, więc
.