在棱长为1的正方体ABCD_A1B1C1D1中,E,F分别是棱BB1,D1B1的中点.求证:EF垂直于平面B1AC