Deci la punctul a) se face congruenta triunghiurilor OAC si OBC, unde: m(<AOC)=m(<BOC) (bisectoarea)
OA=OB (din ipoteza)
OC-latura comuna
Din cele 3 spuse mai sus rezulta ca triunghiul OAC congrunet cu triunghiul OBC, de unde rezulta ca m(<ACO)=m(<BCO)
La b) tot din congruenta triunghiurilor va rezulta ca AC=BC