∵AB=AC
∴∠ABC=∠C
做DG∥AC,交CB于G
∵DG∥AC
∴∠C=∠G,∠CEF=∠GDF（内错角相等）
又：∠ABC=∠DBG（对顶角相等）
∴∠DBG=∠DGB
∴DG=BG
∵∠C=∠G,∠CEF=∠GDF,DG=BG
∴△CEF ≌ △∠GDF
∴EF=DF