是数学校本吧!我也在做这道题.
证明：（1）延长CB到G,使DF=BG.
先证出△ABG ≌△ADF
所以AG=AF,∠GAB=∠DAF
因为∠DAF+∠EAB=45,∠GAB=∠DAF
所以∠EAB+∠GAB=45=∠EAF
所以△GAE≌△FAE
所以EG=EF
所以EF=BE+DF
（2）、（1-x）*2+（1-y）*2=（x+y）*2
y=（1-x）/（1+x）
是数学校本吧!我也在做这道题.
证明：（1）延长CB到G,使DF=BG.
先证出△ABG ≌△ADF
所以AG=AF,∠GAB=∠DAF
因为∠DAF+∠EAB=45,∠GAB=∠DAF
所以∠EAB+∠GAB=45=∠EAF
所以△GAE≌△FAE
所以EG=EF
所以EF=BE+DF
（2）、（1-x）*2+（1-y）*2=（x+y）*2
y=（1-x）/（1+x）