1. (2019·银川模拟) 如图，在菱形ABCD中，过点D作DE⊥AB于点E，作DE⊥BC于点F，连接EF，

求证：

1. （1） △ADE≌△CDF；
3. （2） 若∠A＝60°，AD＝4，求△EDF的周长.