在如图所示的矩形ABCD中,边OA,OB,OC,OD的中点分别为点EFGH 求证EFGH 四点在同一个圆上