证明：作EG//AB ,交BC延长线于G则∠B=∠G∵AB=AC∴∠B=∠ACB∵∠ACB=∠GCE∴∠GCE=∠G∴CE=EG∵BD=CE∴BD=EG又∵∠B=∠G，∠DFB=∠EFG∴⊿BDF≌⊿GEF（AAS）∴DF=EF
