过点C做CG//BF交AD的延长线于点G
因为 CG//BF
所以 角G=角BFD
因为 角GDC=角FDB,BD=DC
所以 三角形GCD全等于三角形FBD
所以 GC=BF
因为 CG//BF
所以 角G=角AFE
因为 AE=EF
所以 角AFE=角CAG
因为 角G=角AFE
所以 角G=角CAG
所以 GC=AC
因为 GC=BF
所以 AC=BF