过C作CG//ED,交EF的延长线于点G
因为 CG//ED
所以 角G=角E
因为 DE=DF
所以 角E=角DFE
因为 角DFE=角GFC
所以 角G=角GFC
所以 GC=CF
因为 BE=CF
所以 GC=BE
因为 角BAE=角GAC,角E=角G
所以 三角形BAE全等于三角形GAC
所以 AB=AC
过C作CG//ED,交EF的延长线于点G
因为 CG//ED
所以 角G=角E
因为 DE=DF
所以 角E=角DFE
因为 角DFE=角GFC
所以 角G=角GFC
所以 GC=CF
因为 BE=CF
所以 GC=BE
因为 角BAE=角GAC,角E=角G
所以 三角形BAE全等于三角形GAC
所以 AB=AC