1. (2021九上·佛山月考) 如图，四边形ABCD是边长为2的正方形，点G是BC延长线上一点，连接AG ， 点E、F分别在AG上，连接BE、DF ， ∠1＝∠2，∠3＝∠4．

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