如图，四边形ABCD是正方形，点E是BC边上一动点（不与B、C重合）．连接AE，过点E作EF⊥AE，交DC于点F．