Ta có : [tex]\widehat{AOC}=\widehat{A'OC'}[/tex] ( hai góc đối đỉnh )
Và [tex]\widehat{BOC}=\widehat{B'OC'}[/tex] ( hai góc đối đỉnh )
Mà [tex]\widehat{AOC}=\widehat{BOC}[/tex] ( Vì OC là tia phân giác của [tex]\widehat{AOB}[/tex] )
[tex]\Rightarrow \widehat{A'OC'}=\widehat{B'OC'}[/tex]
[tex]\Rightarrow[/tex] OC' là tia phân giác của [tex]\widehat{A'OB'}[/tex]