Rysunek pomocniczy:

Wiemy, że:

Możemy zauważyć, że  jest równoramienny. Oznacza to, że symetralna przechodząca przez wierzchołek  jest dwusieczną kąta przy tym wierzchołku: