在矩形ABCD中,O为对角线交点,如果OA、OB、OC、OD的中点分别为E、F、G、H.求证:E、F、G、H四点在同一个