证明:
∵四边形ABCD是矩形
∴AD//BC
∴∠FAO=∠ECO,∠AFO=∠CEO
∵EF垂直平分AC
∴AO=CO
∴△AOF≌△COE(AAS)
∴OE=OF
∴AC与EF互相垂直平分
∴四边形AECF是菱形(对角线互相平分的四边形是菱形)
证明:
∵四边形ABCD是矩形
∴AD//BC
∴∠FAO=∠ECO,∠AFO=∠CEO
∵EF垂直平分AC
∴AO=CO
∴△AOF≌△COE(AAS)
∴OE=OF
∴AC与EF互相垂直平分
∴四边形AECF是菱形(对角线互相平分的四边形是菱形)