設(shè)AB上的高為AD
根據(jù)勾股定理,
∵AD^2+CD^2=AC^2
即AD^2+h^2=a^2
∵BD^2+CD^2=BC^2
即BD^2+h^2=b^2
則：
a+b=√(AD^2+h^2)+√(BD^2+h^2)
使用完全平方式帶進(jìn)去
=√((AD^2+h^2)+(BD^2+h^2)+2√(AD^2+h^2)*√(BD^2+h^2))
因為a^2+b^2≥2ab
所以：√((AD^2+h^2)+(BD^2+h^2)+2√(AD^2+h^2)*√(BD^2+h^2))=
√((AD^2+h^2)+(BD^2+h^2)+2√(AD^2BD^2+h^2(AD^2+BD^2)+h^4))
=√((AD^2+h^2)+(BD^2+h^2)+2√(AD^2BD^2+h^2(AD^2+BD^2)+h^4))
因為a^2+b^2≥2ab
≥√((AD^2+h^2)+(BD^2+h^2)+2√(AD^2BD^2+2h^2ADBD+h^4))
=√((AD^2+h^2)+(BD^2+h^2)+2(ADBD+h^2))
=√((AD+BD)^2+4h^2)
=√((AB)^2+4h^2)
=√(c^2+4h^2)
即a+b≥√（c^2+4h^2)