如图,过点B作BN‖EF交DC于N、作BM‖HG交AD于M,
则BN=EF, BM=HG=5,∠MBN=45°.
又AM=√(BM²-AB²)=√(5²-4²)=3,得MD=1.
作三角形BMN的高NP,则BPN为等腰直角三角形.
设BN=x.则NP=x/√2, NC=√(BN²-BC²)=√(x²-16), DN=DC-NC=4-√(x²-16).
由S□ABCD=S△ABM+S△BMN+S△BCN+S△MDN得:
16=3×4/2+(5·x/√2)/2+4·√(x²-16)/2+1·[4-√(x²-16)]/2.
整理后为:7x²-160√2x+800=0,(4<x<4√2)
解得:x=20√2/7≈4.04.