1. (2020八下·包河期末) 菱形ABCD中，AD＝6，AE⊥BC，垂足为E，F为AB边中点，DF⊥EF．

1. （1） 直接写出结果：EF＝；
3. （2） 求证：∠ADF＝∠EDF；
5. （3） 求DE的长．