如题所述
如图,过点B作AC的平行线交AD的延长线于G。
因BD=DC、 BG‖AC,故△BGD≌△CAD,得BG=AC, ∠G=∠CAD.
已知BE=AC,则BG=BE;得∠G=∠BEG。
则有∠AEF=∠BEG=∠G=∠FAE,故AFE为等腰三角形。
从而证得:AF=EF。