棱长为1的正方体ABCD-A 1 B 1 C 1 D 1 的8个顶点都在球O的表面上,E、F分别是棱AA 1 、DD 1