1. (2021九上·长沙期中) 如图，四边形ABCD是矩形，点E在CD边上，点F在DC延长线上，AE＝BF.

1. （1） 求证：四边形ABFE是平行四边形；
3. （2） 若∠BEF＝∠DAE，AE＝3，BE＝4，求EF的长.