a) Xét tam giác AED có:
Xét tam giác BEC có:
Mà
Từ (1); (2); (3) suy ra,
b) Xét
AD = CB (giả thiết)
Do đó,
c) Vì
Ta có: AC = AE + EC; BD = BE + ED.
Do đó, AC = BD.
Xét
AC = BD (chứng minh trên)
AB chung
AD = CB (giả thiết)
Do đó,
Suy ra
Xét tam giác AEB có:
Do đó,
Suy ra
Xét
AC = BD (chứng minh trên)
CD chung
AD = CB (giả thiết)
Do đó,
Suy ra
Xét tam giác DEC có:
Do đó,
Suy ra
Lại có,
Từ (4); (5); (6) suy ra
Mà hai góc này lại ở vị trí so le trong nên AB // CD.