Oznaczmy kąt .

Skorzystajmy z twierdzenia sinusów w trójkącie .

β

Oznaczmy kąt .

Skorzystajmy z twierdzenia sinusów w trójkącie .

α

Zauważmy, że:

Zatem:

Pod