正方体ABCD-A1B1C1D1中,O是下底面ABCD的中心,F是CC1的中点,求证:A1O 垂直于 面BDF