如图,正方体abcd-a1b1c1d1的棱长为a,E,F分别是棱AB,BC的中点