过点C作直线平行于BF,交AD延长线于G
因为BE平行于GC,
所以BE长度比GC=BD长度比DC
又因为BD=DC
所以BE=GC,
又因为AC=BE,
所以CG=AC
所以角GAC=角AGC
又因为BF平行于GC
所以角AEF=角G
所以角AEF=角AFE
所以AF=EF
过点C作直线平行于BF,交AD延长线于G
因为BE平行于GC,
所以BE长度比GC=BD长度比DC
又因为BD=DC
所以BE=GC,
又因为AC=BE,
所以CG=AC
所以角GAC=角AGC
又因为BF平行于GC
所以角AEF=角G
所以角AEF=角AFE
所以AF=EF