在正方体ABCD-A1B1C1D1中,求证AC1垂直平面A1BD用向量(用坐标法)