Gọi O là giao điểm của AC và BD, ta có:
OB = OE + EB và OD = OF+ FD (1)
Lại có: EB = FD (giả thiết) (2)
OB = OD ( tính chất hình bình hành). (3)
Từ (1), (2),(3) suy ra: OE = OF
Suy ra tứ giác AECF là hình bình hành (vì có 2 đường chéo cắt nhau tại trung điểm của mỗi đường)
⇒ AE // CF.