已知正方体abcd a1b1c1d1的棱长为a,E,F分别是BB1