矩形ABCD的对角线AC,BD,相交于o,E,F,G,H分别是OA,OB,OC,OD,的中点.求证:四边形EFGH是矩形