\(\left\{{}\begin{matrix}\widehat{O_2}=\widehat{Oax}\\\widehat{O_1}=\widehat{Oby}\end{matrix}\right.\)(so le trong do ax//Oz//by)
Mà \(\widehat{Oax}=\widehat{Oby}\left(gt\right)\)
\(\Rightarrow\widehat{O_2}=\widehat{O_1}\)
\(\Rightarrow Oz\) là tia phân giác của \(\widehat{aOb}\)