Gọi O là giao điểm của AC và EF
Xét tứ giác AECF, ta có: AB // CD (gt) hay AE // CF
AE = CF (gt)
Suy ra: Tứ giác AECF là hình bình hành (vì có 1 cặp cạnh đối song song và bằng nhau)
⇒ O là trung điểm của AC và EF
Tứ giác ABCD là hình bình hành có O là trung điểm AC nên O cũng là trung điểm của BD.
Tứ giác EGFH là hình bình hành có O là trung điểm EF nên O cũng là trung điểm của GH.
Vậy AC, BD, EF, GH đồng quy tại O.