如图
令正方形边长为3，DF=x则CG=AF=3-x所以EF=EG=4-x△DEF是直角三角形EF²=DF²+DE²(4-x)²=x²+2²(4-x)²-x²=4(4-x+x)(4-x-x)=44(4-2x)=44-2x=1x=3/2所以EF=4-3/2=5/2DE/EF=2/(5/2)=4/5
