在棱长为2的正方体ABCD-A1B1C1D1中,E、F分别为DD1、DB的中点.求(1)求证EF//平面ABC1D1
(2)求证EF垂直于B1C(3)求三棱锥B1-EFC的体积采用空间直角坐标系怎么写?