1. (2019·电白模拟) 如图，已知矩形ABCD中，F是BC上一点，且AF＝BC，DE⊥AF，垂足是E，连接DF.求证：

1. （1） △ABF≌△DEA；
3. （2） DF是∠EDC的平分线.