在证方体ABCD_A1B1C1D1中 E.F是BB1,CD的中点 求EF的长 求证 D1F垂直平面 求AE与B1C所成的