在正方体ABCD—A1B1C1D1中,AB=2,O为底面正方形A1B1C1D1的中心,E、F分别为A1B1、B1C1的中