如图17,已知正方形ABCD中,点E在边DC上,DE=2,EC=1.把线段AE绕点A旋转,使点E落在BC所在直线上的点F