证明：作EG∥AC,交AD延长线于点G,使EG＝EF
∵EG∥AC
∴∠GED＝∠C
在△EGD和△CAD中
∠BED＝∠C
ED＝CD
∠EDG＝∠CDA
∴△EGD≌△CAD（ASA）
∴AC＝EG
∵EG＝EF
∴AC＝EF
（不知道为什么,算到最后还有几个条件没用上,不过这么算应该是对的）