如图,在正方形ABCD中,点E、F分别是BC、DC边上的点,且AE⊥EF.