Vì `Ox'` là tia đối của `Ox` mà `AB'` và `A'B` cắt nhau tại O.
`⇒AB',A'B,x``x'∩O`
Ta có: `AB'` và `x``x'` cắt nhau tại O.
`⇒` $\widehat{AOx}=\widehat{B'Ox'}$ (đối đỉnh)
Ta có: `A'B` và `x``x'` cắt nhau tại O.
`⇒` $\widehat{BOx}=\widehat{A'Ox'}$
Mà $\widehat{AOx}=\widehat{BOx}$ (`Ox` là tia phân giác của $\widehat{AOB}$)
`⇒` $\widehat{B'Ox'}=\widehat{A'Ox'}$
`⇒Ox'` là tia phân giác của $\widehat{A'OB'}$.