余弦定理是三角形中三边长度与一个角的余弦值（formula_1）的数学式，参考右图，余弦定理指的是：同样，也可以将其改为：其中formula_5是formula_6角的对边，而formula_7和formula_8是formula_6角的邻边。勾股定理则是余弦定理的特殊情况，当formula_6为formula_11时，formula_12，等式可被简化为当知道三角形的两边和一角时，余弦定理可被用来计算第三边的长，或是当知道三边的长度时，可用来求出任何一个角。
历史.