1. (2022·西宁) 如图，四边形ABCD是菱形，AE⊥BC于点E，AF⊥CD于点F．

1. （1） 求证：△ABE≌△ADF；
3. （2） 若AE=4，CF=2，求菱形的边长．