O是矩形ABCD的对角线的交点,DE‖AC,CE‖BD,DE和CE相交于E.求证:四边形OCED是菱形.