1. (2022八下·蚌埠期末) 如图在正方形ABCD中，点F在CD延长线上，点E在BC边上，且BE=DF，连接EF交对线BD与点G，连接AE，AF，AG．

1. （1） 求证：AE=AF．
3. （2） 求证：BG-DG=DF．
5. （3） 若DG=4，DF= ， 直接写出正方形ABCD的边长=   ．