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).
b) Tương tự ý a), chứng minh được AE // BC
Theo tiên đề ơ-clit, hai đường thẳng AE và AD trùng nhau. Từ đó ba điểmD, A, E thẳng hàng.