1. (2019·临海模拟) 将矩形ABCD绕点A顺时针旋转得到矩形AEFG，点E在BD上；

1. （1） 求证：FD＝AB；
3. （2） 连接AF，求证：∠DAF＝∠EFA.