圆O的半径为4,正方形ABCD内接于圆O,弦EF过AB,BC中点