Gọi O là giao điểm của AC và BD.

Vì ABCD là hình bình hành nên O là trung điểm của AC và BD. (1)

Xét hình bình hành AECF có O là trung điểm của AC nên O là trung điểm của EF (2)

Từ (1) và (2) suy ra ba đường thẳng EF, AC, BD đồng quy tại O.