已知正方体ABCD—A"B"C"D"中,棱长为a,E,F分别为BB",BC的中点