设 ae=x
则 ef=x,bf=5,bc=4,由勾股定理,知 cf=3,从而 df=5-3=2
de=4-x,ef=x,df=2 由勾股定理,知(4-x)(4-x)+2*2=x*x
解得 x=2 .5