1. (2017九上·岑溪期中) 如图，E是正方形ABCD的边AB上的动点，但始终保持EF⊥DE交BC于点F．

1. （1） 求证：△ADE∽△BEF；
   
3. （2） 若正方形的边长为4，设AE=x，BF=y，求y与x之间的函数解析式；
5. （3） 当x取何值时，y有最大值？并求出这个最大值．