延长BC,过点F做AB的平行线交BC的延长线于点G
∵AB‖FG
∴∠B=∠G
∵AB=AC
∴∠B=∠ACB
∴∠ACB=∠G=∠FCG
∴FC=FG=BD
又∵∠BED=∠GEF
∴△BDE≌△GFE
∴DE=EF
∴E是DF的中点