解:(1)证明:如图,
延长CB至点G,使得BG=DF,连接AG.因为ABCD是正方形,所以在Rt△ADF和Rt△ABG中,AD=AB,∠ADF=∠ABG=90°,DF=BG.
∴Rt△ADF≌Rt△ABG(SAS),
∴AF=AG,∠DAF=∠BAG.
又∵AE是∠BAF的平分线
∴∠EAF=∠BAE,
∴∠DAF+∠EAF=∠BAG+∠BAE即∠EAD=∠GAE.
∵AD∥BC,
∴∠GEA=∠EAD,
∴∠GEA=∠GAE,
∴AG=GE.
即AG=BG+BE.
∴AF=DF+BE,得证.
(2)
∵AD=AB=1,
∴
由(1)知,AF=DF+BE,所以
.
在Rt△ADF中,AD=1,DF=x,
∴
,
∴
.
由上式可知,当x
2达到最大值时,S最大.而0≤x≤1,
所以,当x=1时,S最大值为
.
分析:(1)作辅助线AG、BG,使得BG=DF,可以求证△ABG≌△ADF,在求证∠GAE=∠DAE=∠GEA,即可求证AG=EG,即求EG=DF+BE即可.
(2)列出△ADF与△ABE的面积和S的计算式,并且化简,根据S与x的关系求最大值.
点评:本题考查的转化思想,要把AF转化到其全等三角形里面,根据等腰三角形腰长相等的性质求解.考查了面积计算公式,和一元二次不等式极值的计算.