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:
   -> kąt  dzielimy na połowę

Przyjmijmy następujące