解题思路：由条件可以得出∠A=∠B，∠AED=∠EBF，从而得出△ADE∽△BEF；可以得出[AE/BF]=[AD/BE]，然后将AE=x，BF=y的值代入等式就可以表示出y的代数式．
∵四边形ABCD是正方形，
∴∠DAE=∠EBF=90°，AD=AB，
∴∠ADE+∠DEA=90°，
∵EF⊥DE，
∴∠AED+∠FEB=90°，
∴∠ADE=∠FEB，
∴△ADE∽△BEF；
∴[AE/BF]=[AD/BE]．
∵AD=AB=4，
∴BE=4-x，
∴[x/y]=[4/4−x]
∴y=-[1/4]x2+x．
故答案为：y=-[1/4]x2+x．
点评：
本题考点： 相似三角形的判定与性质；正方形的性质．
考点点评： 本题考查了正方形的性质，直角三角形的性质，相似三角形的判定与性质的运用，得出△ADE∽△BEF是解题关键．