1. (2021八下·科尔沁期末) 正方形ABCD的边长为3，E、F分别是AB、BC边上的点，且∠EDF=45°．

1. （1） 求证：EF=AE+CF
3. （2） 当AE=1时，求EF的长．