daca OA=OB inseamna ca avem un triunghi isoscel. daca [OC este bisectoarea unghiului opus bazei triunghiului isoscel (AOB), atunci segmentul [OC] apartine mediatoarei bazei [AB] (stim asta din proprietatea triunghiului isoscel: mediana pe baza este si inaltime si bisectoare si apartine mediatoarei). OC apartine mediatoare pe [AB] si din proprietatea mediatoarei deducem ca C este egal departat de capetele segmentului [AB]. acestea fiind spuse, AC=BC.