延长FD至点G,使DG=FD,连接CG
则可证三角形BFD全等于三角形CGD
则BF=GC,角BFD=角CGD
因为BF=AC,所以AC=GC
所以角DAC=角CGD
所以角BFD=角DAC
又因为角BFD=角AFE
所以角DAC=角AFE
所以AE=EF