Ta có: OB = OD (tính chất hình bình hành)
OE = 1/2 OD (gt)
OF = 1/2 OB (gt)
Suy ra: OE = OF
Xét tứ giác AECF, ta có:
OE = OF (chứng minh trên)
OA = OC (vì ABCD là hình bình hành)
Suy ra: Tứ giác AECF là hình bình hành (vì có hai đường chéo cắt nhau tại trung điểm mỗi đường ) ⇒ AE // CF