1. (2019九上·灵石期中) 如图，在矩形ABCD中，AB=3，AD=6，点E在AD边上，且AE=4，EF⊥BE交CD于点F ．

1. （1） 求证：△ABE∽△DEF；
3. （2） 求EF的长．