底面边长为1,侧棱长为2的正四棱柱ABCD-A1B1C1D1的八个顶点都在球O的表面上,E是侧棱AA1的中点,F是正方形