如图，四边形ABCD是边长为2的正方形，点G是BC延长线上一点，连接AG，点E、F分别在AG上，连接BE、DF，∠1＝∠2，∠3＝∠4．
(1)证明：△ABE≌△DAF；
(2)若∠AGB＝30°，求EF的长．

科目 数学   题型 计算题   难度 较难