在正方体ABCD-A1B1C1D1中,求证:A1C垂直面AB1D1 详细的过程!最好一些定理的名字也说下