四边形AECF为矩形
∵ABCD四边形
∴AO=OC,∠OAF=∠OCE,AF//CE
∵∠AOF=∠COE
∴△AOF≌△COE
∴AF=CE
∴四边形AECF为平行四边形
∵AE⊥EC
∴四边形AECF为矩形