空白部分面积=c^2-2*(1/2)*ab=c^2-ab; 又空白部分面积=[a^2-(1/2)*ab]+[b^2-(1/2)*ab]=a^2+b^2-ab,故:a^2+b^2=c^2