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.