1. (2021八下·岑溪期末) 如图，在正方形ABCD中，点E是BC上的一点，点F是CD延长线上的一点，且BE＝DF，连接AE、AF、EF.

1. （1） 求证：△ABE≌△ADF；
3. （2） 若AE＝5，请求出EF的长.