因为DE‖AC,CE‖BD
故DE‖OC,CE‖OD.故四边形CDCE是平行四边形
所以OD=CE,OC=DE.
即又因为四边形ABCD为矩形,则OC=OD
故OD=OC=CE=DE
四边相等的四边形是菱形,故四边形OCED是菱形.