三角学
历史（英语：History of trigonometry） 三角函数 (反三角函数) 广义三角函数（英语：Generalized trigonometry）
参考
恒等式 精确值 三角表（英语：Trigonometric tables） 单位圆
定理
正弦 余弦 正切 余切 勾股定理
微积分
三角换元法 积分 (反三角函数) 微分
查 论 编

余弦定理是三角形中三边长度与一个角的余弦值（${\displaystyle \cos }$）的数学式，余弦定理指的是：

${\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos \gamma }$

同样，也可以将其改为：

${\displaystyle b^{2}=c^{2}+a^{2}-2ca\cos \beta }$

${\displaystyle a^{2}=b^{2}+c^{2}-2bc\cos \alpha }$

其中${\displaystyle c}$是${\displaystyle \gamma }$角的对边，而${\displaystyle a}$和${\displaystyle b}$是${\displaystyle \gamma }$角的邻边。

勾股定理则是余弦定理的特殊情况，当${\displaystyle \gamma }$为${\displaystyle 90^{\circ ))$时，${\displaystyle \cos \gamma =0}$，等式可被简化为

${\displaystyle c^{2}=a^{2}+b^{2))$

当知道三角形的两边和一角时，余弦定理可被用来计算第三边的长，或是当知道三边的长度时，可用来求出任何一个角。

历史

余弦定理的历史可追溯至公元三世纪前欧几里得的几何原本，在书中将三角形分为钝角和锐角来解释，这同时对应现代数学中余弦值的正负。根据几何原本第二卷的命题12和13^[1]，并参考右图，以现代的数学式表示即为：

${\displaystyle {\overline {AB))^{2}={\overline {CA))^{2}+{\overline {CB))^{2}+2({\overline {CA)))({\overline {CH)))\,}$

其中${\displaystyle {\overline {CH))={\overline {BC))\cos(\pi -\gamma )=-{\overline {BC))\cos \gamma }$，将其带入上式得到：

${\displaystyle {\overline {AB))^{2}={\overline {CA))^{2}+{\overline {CB))^{2}-2({\overline {CA)))({\overline {BC)))\cos \gamma }$

证明

三角函数

见右图，在${\displaystyle c}$上做高可以得到（投影定理）：

${\displaystyle c=a\cos \beta +b\cos \alpha }$

将等式同乘以c得到：

${\displaystyle c^{2}=ac\cos \beta +bc\cos \alpha }$

运用同样的方式可以得到：

${\displaystyle a^{2}=ac\cos \beta +ab\cos \gamma }$

${\displaystyle b^{2}=bc\cos \alpha +ab\cos \gamma }$

将${\displaystyle c^{2))$的右式取代：

${\displaystyle c^{2}=ac\cos \beta +bc\cos \alpha =(a^{2}-ab\cos \gamma )+(b^{2}-ab\cos \gamma )=a^{2}+b^{2}-2ab\cos \gamma }$

勾股定理

勾股定理之一

设${\displaystyle \triangle ABC}$中，${\displaystyle {\overline {AB))=c}$，${\displaystyle {\overline {BC))=a}$，${\displaystyle {\overline {AC))=b}$。过${\displaystyle B}$点作${\displaystyle AC}$的垂线，垂足为${\displaystyle D}$，如果${\displaystyle D}$在${\displaystyle AC}$内部，则${\displaystyle BD}$的长度为${\displaystyle a\sin C}$，${\displaystyle DC}$的长度为${\displaystyle a\cos C}$，${\displaystyle AD}$的长度为${\displaystyle b-a\cos C}$。根据勾股定理：

${\displaystyle c^{2}=(a\sin C)^{2}+(b-a\cos C)^{2}\,}$

${\displaystyle c^{2}=a^{2}\sin ^{2}C+b^{2}-2ab\cos C+a^{2}\cos ^{2}C\,}$

${\displaystyle c^{2}=a^{2}(\sin ^{2}C+\cos ^{2}C)+b^{2}-2ab\cos C\,}$

${\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos C\,}$

如果${\displaystyle D}$在${\displaystyle AC}$的延长线上，证明是类似的。同理可以得到其他的等式。

勾股定理之二

设${\displaystyle \triangle ABC}$中，${\displaystyle {\overline {AB))=c}$，${\displaystyle {\overline {BC))=a}$，${\displaystyle {\overline {AC))=b}$。过${\displaystyle B}$点作${\displaystyle {\overline {AC))}$的垂线，垂足为${\displaystyle D}$，设${\displaystyle {\overline {AD))=x}$，则${\displaystyle {\overline {CD))=b-x}$，根据勾股定理：

${\displaystyle c^{2}-x^{2}={\overline {BD))^{2}=a^{2}-(b-x)^{2))$

${\displaystyle c^{2}-x^{2}=a^{2}-b^{2}-x^{2}+2bx}$

${\displaystyle c^{2}=a^{2}-b^{2}+2bx}$

${\displaystyle x={\frac {b^{2}+c^{2}-a^{2)){2b))}$

${\displaystyle \cos A={\frac {x}{c))={\frac {b^{2}+c^{2}-a^{2)){2bc))}$

如果${\displaystyle D}$在${\displaystyle {\overline {AC))}$的延长线上，证明是类似的。同理可以得到其他的等式。

应用

余弦定理是解三角形中的一个重要定理。

求边

余弦定理可以简单地变形成：

${\displaystyle a={\sqrt {b^{2}+c^{2}-2bc\cos A))}$

${\displaystyle b={\sqrt {c^{2}+a^{2}-2ac\cos B))}$

${\displaystyle c={\sqrt {a^{2}+b^{2}-2ab\cos C))}$

因此，如果知道了三角形的两边及其夹角，可由余弦定理得出已知角的对边。

求角

余弦定理可以简单地变形成：

${\displaystyle \cos A={\frac {b^{2}+c^{2}-a^{2)){2bc))\,\!}$

${\displaystyle \cos B={\frac {c^{2}+a^{2}-b^{2)){2ca))\,\!}$

${\displaystyle \cos C={\frac {a^{2}+b^{2}-c^{2)){2ab))\,\!}$

因为余弦函数在${\displaystyle (((\rm {0)),\pi })}$上的单调性，可以得到：

${\displaystyle \angle A=\arccos {\frac {b^{2}+c^{2}-a^{2)){2bc))\,\!}$

${\displaystyle \angle B=\arccos {\frac {c^{2}+a^{2}-b^{2)){2ca))\,\!}$

${\displaystyle \angle C=\arccos {\frac {a^{2}+b^{2}-c^{2)){2ab))\,\!}$

因此，如果已知三角形的三边，可以由余弦定理得到三角形的三个内角。

参见

• 三角形
• 勾股定理
• 正弦定理
• 正切定理
• 角平分线长公式
• 中线长公式

参考资料

1. ^ In obtuse-angled triangles the square on the side subtending the obtuse angle is greater than the squares on the sides containing the obtuse angle by twice the rectangle contained by one of the sides about the obtuse angle, namely that on which the perpendicular falls, and the straight line cut off outside by the perpendicular towards the obtuse angle. --- Euclid's Elements, translation by Thomas L. Heath.

查 论 编 三角函数 基本函数 正弦 余弦 正切 余切 正割 余割 反函数 反正弦 反余弦 反正切 反余切 反正割‎ 反余割 少见函数 正矢 余矢 正弧 余弧 半正矢 半余矢 外正割 外余割 函数分类 正函数 正角 正弦 正切 正割 正矢 正弧 半正矢 外正割 余函数 余角 余弦 余切 余割 余矢 余弧 半余矢 外余割 其他函数 极正弦 弦函数 arc函数 cis函数 余cis函数 cas函数 arg函数 atan2 古德曼函数 符号 sin cos tan cot sec csc exs exc ver cvs vcs cvc hav hcv hvc hcc arc crd sag apo（英语：Apothem） cis cas arg 双曲函数 双曲正弦 双曲余弦 相关概念 割圆八线 同界角 辐角 单位圆 圆心角 周期性 定理 正弦定理 余弦定理 正切定理 余切定理 半正矢定理 勾股定理 恒等式 三角函数恒等式 双曲三角函数恒等式 正切半角公式 三分之一角公式 余函数恒等式 诱导公式 半正矢公式 其他 三角函数精确值 三角函数积分表 三角函数表 三角多项式 三角函数线 正弦曲线 双曲三角函数