在棱长为2的正方体ABCD-A1B1C1D1中,E、F分别为DD1、DB的中点. 求(1)求证EF//平面ABC1D1