Wykonujemy rysunek:

Zauważmy, że odcinki  są tej samej długości, bo każdy z nich jest przeciwprostokątną trójkąta prostokątnego o przeciwprostokątnych długości  i .

Wiemy, że suma miar kątów