dimostra che in un triangolo ABC, isoscele sulla base AB, il punto O, intersezione delle bisettrici dei due angoli

Considerando il triangolo AOB esso ha l'angolo OAB congruente a OBA per costruzione. Per cui ad angoli congruenti si contrappongono lati congruenti.

Da cui AO= OB