AB//CD
=>\(\hat{PMB}=\hat{MND}\) (hai góc đồng vị)
mà \(\hat{PMx}=\frac12\cdot\hat{PMB}\) (Mx là phân giác của góc PMB)
và \(\hat{PNy}=\frac12\cdot\hat{PND}\) (Ny là phân giác của góc PND)
nên \(\hat{PMx}=\hat{PNy}\)
mà hai góc này là hai góc ở vị trí đồng vị
nên Mx//Ny