Wprowadźmy następujące oznaczenia:

Trójkąt  jest równoramienny, zatem jego kąty przy podstawie mają taką samą miarę.

Rozpatrujemy trójkąt .

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