已知正四棱柱ABCD—A1B1C1D1,AB=BC=1,AA1=2,点E为CC1的中点,点F为BD1的中点.