$Az,At$ là hai tia đối nhau
mà $Am,Ax$ là hai tia đối nhau
⇒ $\widehat{tAm}=\widehat{xAz}$ (đối đỉnh)
$Az,At$ là hai tia đối nhau
mà $Oy,On$ đối nhau
⇒ $\widehat{tAn}=\widehat{yAz}$
lại có: $\widehat{xAz}=\widehat{yAz}$
⇒ $\widehat{tAm}=\widehat{tAn}$
mà $Ot$ nằm giữa $Om,On$
⇒ $Ot$ là phân giác $\widehat{mAn}$