延长AE至G,使EG=AE,连DG
因为AE=EG,DE=EC,角DEG=AEC,所以三角形DEG全等AEC,
因为DF=AC=DG,所以角G=角DFE,
因为平行,所以角BAF=角DFE=角G=角EAC,所以AE平分BAC