la_4和formula_5，斜边长度是formula_6，那么可以用数学语言表达：余弦定理是勾股定理的一个推广。勾股定理现约有400种证明方法，是数学定理中证明方法最多的定理之一。
其他形式.如果formula_6是斜边的长度而a和b是另外两条边的长度，勾股定理可以写成：formula_9如果formula_4和formula_5知道，formula_6可以这样写：formula_13如果斜边的长度formula_6和其中一条边（formula_4或formu