mula_6为formula_11时，formula_12，等式可被简化为当知道三角形的两边和一角时，余弦定理可被用来计算第三边的长，或是当知道三边的长度时，可用来求出任何一个角。
历史.余弦定理的历史可追溯至公元三世纪前欧几里得的几何原本，在书中将三角形分为钝角和锐角来解释，这同时对应现代数学中余弦值的正负。根据几何原本第二卷的命题12和13，并参考右图，以现代的数学式表示即为：其中formula_15，将其带入上式得到：
证明.Section: