Obliczmy miarę kąta , korzystając z sumy miar kątów wewnętrznych w trójkącie.

Pomnóżmy równanie przez dwa.

Uporządkujmy równanie.

Przenieśmy  na