如图，已知在矩形ABCD中，E是AD上的一点，F是AB上的一点，EF⊥EC，且EF=EC，DE=3cm，BC=7cm．
（1）求证：△AEF≌△DCE；
（2）请你求出EF的长．
网友回答
（1）证明：在矩形ABCD中，∠A=∠D=90°，
∴∠ECD+∠CED=90°，
∵EF⊥EC，
∴∠AEF+∠CED=90°，
∴∠ECD=∠AEF，
在△AEF与△DCE中，，
∴△AEF≌△DCE（AAS）；
（2）解：∵△AEF≌△DCE，
∴AF=DE，
∵DE=3cm，BC=7cm，
∴AF=3cm，AE=AD-DE=BC-DE=7-3=4cm，
在Rt△AEF中，EF===5．
故