如图，E是正方形ABCD的边AB上的动点，EF⊥DE交BC于点F．
（1）求证：△ADE∽△BEF；
（2）设正方形的边长为4，AE=x，BF=y．请用x的代数式表示y．
（3）在条件（2）下，当E点在AB上运动到什么位置时，△ADE∽△EDF．

21、如图所示，E是正方形ABCD的边AB上的一点，EF⊥DE交BC于点F．
（1）求证：△ADE∽△BEF．
（2）若AE：EB=1：2，求DE：EF的比值．

25、如图，正方形ABCD的边长为4，E是边AB上的动点，EF⊥DE交BC于点F．
（1）求证：△ADE∽△BEF；
（2）连接DF，△ADE与△DEF是否一定相似？若一定相似，请加以证明；若不一定相似，请你求出当△ADE与△DEF相似时，AE的长度．