第25题怎么做（数学）

（1）证明：RT△ABE和RT△ADF中：
∠ABE=∠ADF=90°
AB=AD
AE=AF
所以：RT△ABE≌RT△ADF
故：BE=DF
又因为BC=CD
所以BC-BE=CD-DF
即：CE=CF
根据（1）的证明知道,RT△ECF中：
EF=√2*CE=2
所以CE=√2
令正方形的边长为x,则有BE=x-√2
在RT△ABE中,根据勾股定理有：
AE^2=AB^2+BE^2
2^2=x^2+(x-√2)^2
解得：x=（√2+√6）/2
x=（√2-√6）/2