如图,矩形ABCD的对角线相交于点O,点E、F、G、H分别是OA、OB、OC、DO的中点,四边形EFGH是矩形吗?为什么