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ó: \(\widehat{EFC}=\widehat{NCF}=\widehat{CDM}=\widehat{DCA}\Rightarrow\) 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.