已知，在正方形ABCD中，AB＝5，点F是边DC上的一个动点，将△ADF绕点A顺时针旋转90°至△ABE，点F的对应点E落在CB的延长线上，连接EF．