查看“餘弦定理”的源代码

[[File:Triangle with notations 2.svg|thumb|一個三角形]]
{{三角学}}
'''餘弦定理'''是[[三角形]]中三邊長度與一個角的[[余弦]]值（<math>\cos</math>）的[[表達式|數學式]]，參考右圖，余弦定理指的是：
:<math>c^2 = a^2 + b^2 - 2ab\cos\gamma</math>

同樣，也可以將其改為：
:<math>b^2 = c^2 + a^2 - 2ca\cos\beta</math>
:<math>a^2 = b^2 + c^2 - 2bc\cos\alpha</math>

其中<math>c</math>是<math>\gamma</math>角的對邊，而<math>a</math>和<math>b</math>是<math>\gamma</math>角的鄰邊。

[[勾股定理]]則是余弦定理的特殊情況，當<math>\gamma</math>為<math>90^\circ</math>時，<math>\cos\gamma=0</math>，[[等式]]可被簡化為

: <math>c^2 = a^2 + b^2</math>

當知道三角形的兩邊和一角時，余弦定理可被用來計算第三邊的長，或是當知道三邊的長度時，可用來求出任何一個角。

== 歷史 ==
[[File:Obtuse Triangle With Altitude ZP.svg|thumb|一個鈍三角形和它的高。]]

余弦定理的歷史可追溯至公元三世紀前[[歐幾里得]]的[[幾何原本]]，在書中將三角形分為鈍角和銳角來解釋，這同時對應現代數學中余弦值的正負。根據幾何原本第二卷的命題12和13<ref>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.</ref>，並參考右圖，以現代的數學式表示即為：

: <math>\overline{AB}^2 = \overline{CA}^2 + \overline{CB}^2 + 2(\overline{CA})(\overline{CH})\,</math>

其中<math>\overline{CH} = \overline{BC}\cos(\pi - \gamma) = -\overline{BC}\cos\gamma</math>，將其帶入上式得到：

:<math>\overline{AB}^2 = \overline{CA}^2 + \overline{CB}^2 - 2(\overline{CA})(\overline{BC})\cos\gamma</math>

== 證明 ==
=== 三角函數 ===
[[File:Triangle-with-cosines.png|thumb|具有垂直線的銳角三角形]]

見右圖，在<math>c</math>上做高可以得到（投影定理）：

:<math>c=a\cos\beta+b\cos\alpha</math>

將等式同乘以c得到：

:<math>c^2 = ac\cos\beta + bc\cos\alpha</math>

運用同樣的方式可以得到：

:<math>a^2 = ac\cos\beta + ab\cos\gamma</math>
:<math>b^2 = bc\cos\alpha + ab\cos\gamma</math>

將兩式相加：

:<math>a^2 + b^2 = ac\cos\beta + ab\cos\gamma + bc\cos\alpha + ab\cos\gamma</math>
:<math>a^2 + b^2 = \left(ac\cos\beta + bc\cos\alpha\right) + \left(ab\cos\gamma + ab\cos\gamma\right)</math>
:<math>a^2 + b^2 = c^2 + 2ab\cos\gamma</math>
:<math>c^2 = a^2 + b^2 - 2ab\cos\gamma</math>

=== 勾股定理 ===
====勾股定理之一====
<div style="float:right;margin:0 0 1em 1em;">[[File:Law of cosines proof.png|證明所用的三角形]]</div>

設<math>\triangle ABC</math>中，<math>\overline{AB}=c</math>，<math>\overline{BC}=a</math>，<math>\overline{AC}=b</math>。過<math>B</math>點作<math>AC</math>的[[垂線]]，[[垂足]]為<math>D</math>，如果<math>D</math>在<math>AC</math>內部，則<math>BD</math>的長度為<math>a \sin C</math>，<math>DC</math>的長度為<math>a \cos C</math>，<math>AD</math>的長度為<math>b - a \cos C</math>。根據[[勾股定理]]：
:<math>c^2=(a\sin C)^2+(b-a\cos C)^2 \,</math>
:<math>c^2=a^2\sin^2 C+b^2-2ab\cos C+a^2\cos^2 C \,</math>
:<math>c^2=a^2(\sin^2 C+\cos^2 C)+b^2-2ab\cos C \,</math>
:<math>c^2=a^2+b^2-2ab\cos C \,</math>

如果<math>D</math>在<math>AC</math>的延長線上，證明是類似的。同理可以得到其他的等式。

====勾股定理之二====
[[File:Law of cosines proof 2.png|right|證明所用的三角形]]

設<math>\triangle ABC</math>中，<math>\overline{AB}=c</math>，<math>\overline{BC}=a</math>，<math>\overline{AC}=b</math>。過<math>B</math>點作<math>\overline {AC}</math>的[[垂線]]，[[垂足]]為<math>D</math>，設<math>\overline{AD}=x</math>，則<math>\overline{CD}=b-x</math>，根據[[勾股定理]]：
:<math>c^2-x^2=\overline{BD}^2=a^2-(b-x)^2</math>
:<math>c^2-x^2=a^2-b^2-x^2+2bx</math>
:<math>c^2=a^2-b^2+2bx</math>
:<math>x=\frac{b^2+c^2-a^2}{2b}</math>
:<math>\cos A=\frac{x}{c}=\frac{b^2+c^2-a^2}{2bc}</math>

如果<math>D</math>在<math>\overline {AC}</math>的延長線上，證明是類似的。同理可以得到其他的等式。

== 應用 ==
餘弦定理是解三角形中的一個重要定理。
=== 求邊 ===
餘弦定理可以簡單地變形成：
:<math>a = \sqrt {b^2  + c^2  - 2bc\cos A}</math>
:<math>b = \sqrt {c^2  + a^2  - 2ac\cos B}</math>
:<math>c = \sqrt {a^2  + b^2  - 2ab\cos C}</math>
因此，如果知道了三角形的兩邊及其夾角，可由餘弦定理得出已知角的對邊。

=== 求角 ===
余弦定理可以简单地变形成：
:<math>\cos A = \frac{{b^2  + c^2  - a^2 }}{{2bc}}\,\!</math>
:<math>\cos B = \frac{{c^2  + a^2  - b^2 }}{{2ca}}\,\!</math>
:<math>\cos C = \frac{{a^2  + b^2  - c^2 }}{{2ab}}\,\!</math>
因為[[餘弦]]函數在<math>( {{\rm{0}},\pi } )</math>上的[[單調函數|單調性]]，可以得到：
:<math>\angle A = \arccos \frac{{b^2  + c^2  - a^2 }}{{2bc}}\,\!</math>
:<math>\angle B = \arccos \frac{{c^2  + a^2  - b^2 }}{{2ca}}\,\!</math>
:<math>\angle C = \arccos \frac{{a^2  + b^2  - c^2 }}{{2ab}}\,\!</math>
因此，如果已知三角形的三邊，可以由餘弦定理得到三角形的三個內角。

== 參見 ==
* [[三角形]]
* [[勾股定理]]
* [[正弦定理]]
* [[正切定理]]
* [[角平分線長公式]]
* [[中線長公式]]

== 參考資料 ==
<references/>

{{三角函數}}

[[Category:三角學]]
[[Category:幾何定理]]
[[Category:角]]
[[Category:三角形幾何]]