• 1. (2023·永善模拟) 如图，点E为矩形ABCD的边BC长上的一点，作DF⊥AE于点F，且满足DF＝AB．下面结论：①△DEF≌△DEC；②S_△ABE = S_△ADF；③AF＝AB；④BE＝AF．其中正确的结论是．