正方体ABCD-A1B1C1D1中,E,F分别是AB,BC的中点,证明EF垂直平面D1DB