Rysunek pomocniczy:

Przyjmijmy następujące oznaczenie:

Skoro dwusieczna kąta dzieli ten kąt na dwa kąty równej miary, to wiemy, że:

Przyjmijmy następujące założenie: