已知正方体ABCD-A1B1C1D1,O是底ABCD对角线的交点,求证A1C⊥面AB1D1(已证C1O‖面AB1D1)