证明:如图,以D为原点建立空间直角坐标系D-xyz,设正方体的棱长为a,则A1(a,0,a),D(0,0,0),A(a,0,0),C(0,a,0),B(a,a,0),D1(0,0,a),∴ DA 1=(a,0,a), AC =(-a,a,0), BD 1=(-a,-a,a).∵EF是直线AC与A1D的公垂线.∴ EF ⊥ DA 1, EF ⊥ AC .设 EF =(x,y,z),∴