勾股定理可叙述为：直角三角形两条直角边的平方和等于斜边的平方；
证明方法之一：
如图,由S大正方形-S小正方形=4*S三角形,
可得c*c - (b-a)*(b-a)=4*a*b/2,
化简即得：a*a+b*b=c*c