如图所示，点O是矩形ABCD对角线AC的中点，过点O作EF⊥AC， 交BC交于点E， 交AD于点F， 连接AE、CF， 求证：四边形AECF是菱形．