面积为formula_104，右方余下面积为formula_105，两者相等。证毕。
勾股定理的逆定理.勾股定理的逆定理是判断三角形为钝角、锐角或直角的一个简单的方法，其中formula_106为最长边:（这个逆定理其实只是余弦定理的一个延伸）
逆定理的证明.勾股定理的逆定理的证法数明显少于勾股定理的证法。以下是一些常见证法。
同一法.构造formula_115，使formula_116。根据勾股定理，formula_117