Rysunek pomocniczy:

Wiemy, że  oznacza to, że trójkąt  jest trójkątem równoramiennym. Wiemy także, że:  Skoro  jest dwusieczną kąta, kąt   możemy podzielić na dwa: