(1)延长EA到点G,使得AG=CF,连接DG
因为AG=CF,AD=CD,∠GAD=∠FCD
故△GAD≌△FCD
则DG=DF,∠GDA=∠FDC
因为∠EDC=45°
故∠ADE+∠FDC=45°
又因为∠GDA=∠FDC
故∠GDE=∠ADE+∠ADG=∠ADE+∠FDC=45°=∠EDF
因为ED=ED,∠GDE=∠FDE,DG=DF
故△GAE≌△FDE
所以EF=GE=GA+AE=AE+CF
得证
（2）由（1）知：△GAE≌△FDE
所以S△FDE=S△GAE=6(x+y)/2=3(x+y)
在直角三角形ADE、DCF、BEF中
S△ADE=6x/2=3x S△DCF=6y/2=3y
S△BEF=(6-x)(6-y)/2
又因为S正方形ABCD=36=S△FDE+S△ADE+S△DCF+ S△BEF
化简得：6（x+y）+xy=36
分离y有：y=(36-6x)/(6+x) (0