Rysunek pomocniczy:

Wiemy, że półprosta  to dwusieczna kąta , więc:

Wiemy z zadania także, że , więc kąty  są odpowiadające:

Zauważmy również, że kąty