余弦定理
贡献者： 零穹; addis
图 1：余弦定理示例三角形
1余弦定理（law of cosines）是指：三角形（图 1 ）任何一条边的平方等于其它两边平方的和减去这两边与它们夹角的余弦的积的两倍．
\begin{equation}
c^2=a^2 + b^2 - 2ab\cos C
\end{equation}
1. 推导
图 2：余弦定理的证明
我们在直角坐标系中来推导，如图 2 ，以 $C$ 点为原点，$B$ 点在 $x$ 轴正方向上，则各点坐标为：
\begin{equation}
C(0,0),\quad B(a,0),\quad A(b\cos C,b\sin C)
\end{equation}
\begin{equation}
c^2=\overline{AB}^2=(b\cos C-a)^2+(b\sin C-0)^2=a^2+b^2-2ab\cos C
\end{equation}
2. 推导 2
该推导不依赖坐标．利用几何矢量点乘的分配律，以及点乘的几何定义 $ \boldsymbol{\mathbf{a}} \boldsymbol\cdot \boldsymbol{\mathbf{b}} = ab\cos\theta$：
\begin{equation}
\begin{aligned}
( \boldsymbol{\mathbf{a}} \pm \boldsymbol{\mathbf{b}} )^2 &= \boldsymbol{\mathbf{a}} ^2 + \boldsymbol{\mathbf{b}} ^2 \pm 2 \boldsymbol{\mathbf{a}} \boldsymbol\cdot \boldsymbol{\mathbf{b}} \\
&= a^2 + b^2 \pm 2ab \cos\theta
\end{aligned}
\end{equation}