在正方形ABCD中,已知AB等于2,E是BC的中点,DF垂直与AE于点F,