证明:延长FE到G,使EG=EF,连接CG.
又DE=EC,∠DEA=∠CEG,则⊿DEA≌ΔCEG(SAS),CG=DF;∠G=∠DFE;
又DF||AB,则∠BAE=∠DFE=∠G;
又∠BAE=∠CAE,故∠CAE=∠G,AC=CG=DF.