延长AD至点G,使得DG=AD,连结BG.先证明△ADC≌ △GDB,所以∠G=∠EAF且BG=AC；因为AE=EF,所以∠EAF=∠AFE,所以∠BFG=∠AFE=∠EAF=∠G,所以BF=BG,所以AC=BF,得证