Gọi giao điểm của AC và BD là O, giao điểm của NC và EF là I.
Xét tam giác ANC có M là trung điểm AN, O là trung điểm AC nên MO là đường trung bình tam giác ANC. Vì vậy, MO hay BD song song NC.
Ta có: ^EFC=^NCF=^CDM=^DCA⇒ EF // AC.
b. Kéo dài EF cắt AN tại M', ta chứng minh M' = M.
Thật vậy, xét tam giác ANC có I là trung điểm NC, IM' song song AC nên M' là trung điểm AN. Vậy M' trùng M hay M, E ,F thẳng hàng.