证明：∵O是AC的中点，
∴AO=CO，
又∵在矩形ABCD中，AD∥BC，
∴∠1=∠2
∴在△AOE和△COF中，

∠1＝∠2 AO＝CO ∠AOE＝∠COF＝90°

，
∴△AOE≌△COF（ASA），
∴AE=CF，
又∵EF是AC的垂直平分线，
∴AE=CE，AF=CF，
∴AE=CE=AF=CF，
∴四边形AECF是菱形．