如图正方体abcda1b1c1d1的棱长为a,点E,F分别是B1C1和C1D1的中点