矩形ABCD中,EF分别是OA,OD的中点,