1. (2020八下·门头沟期末) 如图，在矩形ABCD中，点E是BC上一点，DF＝DC ， DF⊥AE于F ．

1. （1） 求证：AE＝BC；
3. （2） 如果AB＝3，AF＝4，求EC的长．