三角学
历史（英语：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 双曲函数 雙曲正弦 雙曲餘弦 相關概念 割圓八線 同界角 辐角 單位圓 圓心角 週期性 定理 正弦定理 餘弦定理 正切定理 餘切定理 半正矢定理 勾股定理 恒等式 三角函數恆等式 雙曲三角函數恆等式 正切半角公式 三分之一角公式 餘函數恆等式 诱导公式 半正矢公式 其他 三角函數精確值 三角函数积分表 三角函数表 三角多項式 三角函数线 正弦曲線 雙曲三角函數