延长FE到点G,使 EG=EF
DE=CE,∠DEF=∠CEG,EF=EG
三角形DEF≌三角形CEG
所以,∠DFE=∠G
DF=CG
又:DF=AC
所以,AC=CG
即:∠CAE=∠G
∠CAE=∠DFE
又:AE平分∠BAC
∠BAE=∠CAE
所以,∠BAE=DFE
所以:DF‖AB
延长FE到点G,使 EG=EF
DE=CE,∠DEF=∠CEG,EF=EG
三角形DEF≌三角形CEG
所以,∠DFE=∠G
DF=CG
又:DF=AC
所以,AC=CG
即:∠CAE=∠G
∠CAE=∠DFE
又:AE平分∠BAC
∠BAE=∠CAE
所以,∠BAE=DFE
所以:DF‖AB