Ta có hình vẽ:
Giả thiết: aa' // bb'
cc' cắt aa' và bb' lần lượt tại A và B
Am là phân giác của góc BAa; Bn là phân giác của góc ABb'
Kết luận: Am // Bn
Giải:
Vì Am là phân giác của BAa => \(BAm=\frac{BAa}{2}\) (1)
Bn là phân giác của ABb' =>\(ABn=\frac{ABb'}{2}\)(2)
Từ (1) và (2) lại có: BAa = ABb' (so le trong)
=> BAm = ABn
Mà BAm và ABn là 2 góc so le trong
=> Am // Bn (đpcm)