Vì Oz là phân giác của \(\widehat{xOy}\)(gt) \(\Rightarrow\widehat{xOz}=\widehat{yOz}\)(1)
Mà \(\hept{\begin{cases}\widehat{xOz}=\widehat{y'Ot}\\\widehat{yOz}=\widehat{x'Ot}\end{cases}\left(2\right)}\)( 2 góc đối đỉnh)
Từ (1),(2) ta có: \(\widehat{x'Ot}=\widehat{y'Ot}\)
Mà: Ot nằm giữa 2 tia Ox' và Oy'(đpcm)
\(\Rightarrow\)Ot là phân giác của \(\widehat{x'Oy'}\)