((本小题满分12分)在直三棱柱ABC—A 1 B 1 C 1 中,CA=CB=CC 1 =2, ,E、F分别是BA、B