延长ED至点G,使DG=ED,连接CG
则可证三角形BED全等于三角形CGD
则BE=GC,角BED=角CGD
因为BE=AC,所以AC=GC
所以角DAC=角CGD
所以角BED=角DAC
又因为角BED=角AEF
所以角DAC=角AEF
所以AF=EF
延长ED至点G,使DG=ED,连接CG
则可证三角形BED全等于三角形CGD
则BE=GC,角BED=角CGD
因为BE=AC,所以AC=GC
所以角DAC=角CGD
所以角BED=角DAC
又因为角BED=角AEF
所以角DAC=角AEF
所以AF=EF