Wprowadźmy następujące oznaczenia:

Rozpatrujemy trójkąt .

Suma miar kątów wewnętrznych w trójkącie jest równa , zatem:

Kąty oraz  tworzą kąt półpełny o mierze