a) Có B A D ^ = A B C ^ ( giả thiết),
Mà hai góc ở vị trí so le trong nên AD // BC (theo tính chất hai đường thẳng song song).
a) Tương tự ý a), chứng minh
b) được AE // BC
Theo tiên đề ơ-clit, hai đường thẳng AE và AD trùng nhau. Từ đó ba điểm D, A, E thẳng hàng