在正方形ABCD—A1B1C1D1中,O为底面ABCD的中心,F为CC1的中点,求证:A1O⊥平面BDF