mm'//nn'
=>\(\hat{mMN}=\hat{n^{\prime}NM}\) (hai góc so le trong)
mà \(\hat{xMN}=\frac12\cdot\hat{mMN}\) (Mx là phân giác của góc mMN)
và \(\hat{yNM}=\frac12\cdot\hat{MNn^{\prime}}\) (Ny là phân giác cua góc MNn')
nên \(\hat{xMN}=\hat{yNM}\)
mà hai góc này là hai góc ở vị trí so le trong
nên Mx//Ny
