上的一个直角三角形中，两个直角边边长的平方加起来等于斜边长的平方。如果设直角三角形的两条直角边长度分别是formula_4和formula_5，斜边长度是formula_6，那么可以用数学语言表达：余弦定理是勾股定理的一个推广。勾股定理现约有400种证明方法，是数学定理中证明方法最多的定理之一。
其他形式.如果formula_6是斜边的长度而a和b是另外两条边的长度，勾股定理可以写成：formula_9如果formula_4和formula_5知道，formula_6可