Vì ABCD là hình bình hành.
=> AB // CD hay AE // CF.
Lại có: AE = CF (gt).
Suy ra AECF là hình bình hành.
=> AE, CF cắt nhau tại trung điểm mỗi đường.
hay AC ∈ O; CF ∈ O (1).
Mà AC và BD cũng cắt nhau tại trung điểm mỗi đường (do ABCD là hình bình hành).
=> AC ∈ O; BD ∈ O (2).
Từ (1) và (2) suy ra ba đường thẳng AC, BD, EF đồng quy (đpcm).