将FE延长一倍至G,连CG
角BAE=角DFE
EF=EG,FED=CEG,DE=EC
故三角形DFE全等于CGE
角DFE=角EGC
CG=DF=AC
故角EGC=角CAE
故角BAE=角CAE
AE平分∠BAC