1. (2017·陆良模拟) 如图，四边形ABCD是边长为2的正方形，点G是BC延长线上一点，连接AG，点E、F分别在AG上，连接BE、DF，∠1=∠2，∠3=∠4．

1. （1） 证明：△ABE≌△DAF；
3. （2） 若∠AGB=30°，求EF的长．