Xét tam giác AOCAOC và BOCBOC có

+ OA=OB(gt)OA=OB(gt)

+ ˆAOC=ˆBOCAOC^=BOC^  (tính chất tia phân giác)

+ Cạnh OCOC chung

Suy ra ΔAOC=ΔBOC(c−g−c)ΔAOC=ΔBOC(c−g−c)

⇒AC=BC⇒AC=BC (hai cạnh tương ứng); ˆOAC=ˆOBCOAC^=OBC^; ˆOCA=ˆOCBOCA^=OCB^   (hai góc tương ứng)

Từ đó COCO là tia phân giác của ˆBCA.