Vì Am là phân giác của aAB nên aAm=mAB=aAB2(1)aAm=mAB=aAB2(1)

Bn là phân giác của ABb' nên ABn=nBb′=ABb′2(2)ABn=nBb′=ABb′2(2)

Từ (1) và (2), lại có: aAB = ABb' (so le trong)

=> mAB = ABn

Mà mAB và ABn là 2 góc so le trong

Do đó, Am // Bn (đpcm)