Vì AE + AF = 2AC suy ra AB - EB + AF + NF = AB + AF 
nên FN - EB = 0, do đó EB = FN
Qua M vẽ đường thẳng song song với AC cắt BC tại D.
Dễ dàng chứng minh ED = FN 
và tam giác OED = tam giác OFN (g - c - g) suy ra OE = OF hay O là trung điểm của EF (đpcm)