证明:连接$DB,$过点$D$作$DF\perp BC,$交$BC$的延长线于点$F$
则$DF = EC = b - a$
∵$S_{四边形ADCB}=S_{\triangle ACD}+S_{\triangle ABC}=\frac 12b^2+\frac 12ab$
又∵$S_{四边形ADCB}=S_{\triangle ADB}+S_{\triangle DCB}=\frac 12c^2+\frac 12a(b - a)$
∴$\frac 12b^2+\frac 12ab=\frac 12c^2+\frac 12a(b - a)$
∴$a^2+b^2=c^2$