Rysunek pomocniczy:

Wiemy, że  oraz . Oznacza to, że trójkąt  oraz  to trójkąty równoramienne. Mamy wykazać, że . Według rysunku pomocniczego kąt  to .