已知正方形ABCD中,AB=2,E是BC的中点,DF⊥AE于F