Gọi O là giao điểm của AC và BD
Ta có: Tứ giác ABCD là hình bình hành (gt)
=> OA = OC ; OB = OD
=> AC và CD đồng quy (1)
Xét tứ giác AECF có:
AE = CF (gt)
AE // CF (AB // CD vì ABCD là hình bình hành)
=> tứ giác AECF là hình bình hành
mà OA = OC (cmt)
=> OE = OF (giao điểm hai đường chéo hình bình hành)
=> AC và EF đồng quy (2)
(1)(2) => AC, BD và EF đồng quy tại O