Congruența triunghiurilor MCO si MBO:
m(m(MO=MO (latura comuna)
din cazul ipotenuza unghi => triunghiurile sunt congruente, deci MC=MB
Sau mai simplu, fara demonstrație: Orice punct de pe bisectoarea unui unghi se afla la distante egale de laturile unghiului