（本小题满分8分）如图，O是菱形ABCD对角线的交点，作DE∥AC，CE∥BD，DE、CE交于点E，四边形OCED是矩形吗？证明你的结论。