在△AEF和△AEC中
AF=EC
又因为EC=AB/2=AE
所以AF=AE
所以∠E=∠AEF,∠EAC=ACE
因为∠AEF=∠EAC
所以∠EAF=∠AEC,则AF∥EC
而FD和AC垂直于BC
所以AC∥EF
故四边形ACEF是平行四边形