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.