证明：如图，过点E作EG∥AC交BC于G，
则∠ACB=∠BGE，∠F=∠DEG，
∵AB=AC，
∴∠B=∠ACB，
∴∠B=∠BGE，
∴BE=GE，
又∵BE=CF，
∴GE=CF，
∵在△CDF和△GDE中，

∠F＝∠DEG ∠CDF＝∠GDE GE＝CF

，
∴△CDF≌△GDE（AAS），
∴DE=DF．