在正方形ABCD-A1B1C1D1中,EF分别是BB1,CD的中点,求证AE⊥D1F