Xét ΔABC và ΔCEA, ta có:
∠(ACB) = ∠(CAE) (so le trong, AE // BC)
AC cạnh chung
∠(CAB) = ∠(ACE) (so le trong, CE // AB)
Suy ra: ΔABC = ΔCEA (g.c.g)
⇒ BC = AE (1)
Xét ΔABC và ΔBAF, ta có:
∠(ABC) = ∠(BAF) (so le trong, AF // BC)
AB cạnh chung
∠(BAC) = ∠(ABF) (so le trong, BF // AC)
Suy ra: ΔABC = ΔBAF (g.c.g)
⇒ AF = BC (2)
Từ (1) và (2) suy ra: AE = AF
Vậy A là trung điểm của EF.