餘弦定理

维基百科,自由的百科全书

跳转到: 导航, 搜索
一個三角形

餘弦定理三角形中三邊長度與一個角的餘弦值(cos)的數學式,參考右圖,餘弦定理指的是:

c^2 = a^2 + b^2 - 2ab\cos(\gamma)\,

同理,也可以將其改為:

b^2 = c^2 + a^2 - 2ca\cos(\beta)\,
a^2 = b^2 + c^2 - 2bc\cos(\alpha)\,

其中cγ角的對邊,而abγ角的鄰邊。

勾股定理則是餘弦定理的特殊情況,當γ90^\circ時,cos(γ) = 0,式子可被簡化為

c2 = a2 + b2

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

目录

[编辑] 歷史

一個鈍三角形和他的高Base Height

餘弦定理的歷史可追溯至西元三世紀前歐幾里德幾何原本,在書中將三角形分為鈍角和銳角來解釋,這同時對應現代數學中餘弦值的正負。根據幾何原本第二本的公設12和13[1],並參考右圖,以現代的數學式表示即為:

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

其中\overline{CH} = \overline{BC}\cos(\pi - \gamma) = -\overline{BC}\cos(\gamma),將其帶入上式得到:

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

[编辑] 证明

[编辑] 三角函數

具有垂直線的銳角三角形

見右圖,在c上做高可以得到:

c=a\cos(\beta)+b\cos(\alpha)\,

將等式同乘以c得到:

c^2 = ac\cos(\beta) + bc\cos(\alpha)\,

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

a^2 = ac\cos(\beta) + ab\cos(\gamma)\,
b^2 = bc\cos(\alpha) + ab\cos(\gamma)\,

將兩式相加:

a^2 + b^2 = ac\cos(\beta) + ab\cos(\gamma)\, + bc\cos(\alpha) + ab\cos(\gamma)\,
a^2 + b^2 = \left[ac\cos(\beta) + bc\cos(\alpha)\right] + \left[ab\cos(\gamma)\, + ab\cos(\gamma)\right]\,
a^2 + b^2 = c^2 + 2ab\cos(\gamma)\,
c^2 = a^2 + b^2 - 2ab\cos(\gamma)\,

[编辑] 勾股定理

證明所用的三角形

\triangle ABC中,\overline{AB}=c\overline{BC}=a\overline{AC}=b。过B点作AC垂线垂足D,如果DAC内部,则BD的长度为asinCDC的长度为acosCAD的长度为b - acosC。根据勾股定理

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

如果DAC的延长线上,证明是类似的。同理可以得到其他的等式。

[编辑] 向量

\triangle ABC中,\overline{AB}=c\overline{BC}=a\overline{AC}=b

\left| \vec{BC} \right|^2 = \vec{BC} \cdot \vec{BC}
\left| \vec{BC} \right|^2 = (\vec{AC} - \vec{AB})(\vec{AC} - \vec{AB})
\left| \vec{BC} \right|^2 = \left| \vec{AC} \right|^2 + \left| \vec{AB} \right|^2 - 2\vec{AB}\vec{AC}
\left| \vec{BC} \right|^2 = \left| \vec{AC} \right|^2 + \left| \vec{AB} \right|^2 - 2\left| \vec{AB} \right| \left| \vec{AC} \right|\cos A
a2 = b2 + c2 − 2bccosA

[编辑] 应用

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

[编辑] 求边

餘弦定理可以简单地变形成:

a = \sqrt {b^2  + c^2  - 2bc\cos A}
b = \sqrt {c^2  + a^2  - 2ac\cos B}
c = \sqrt {a^2  + b^2  - 2ab\cos C}

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

[编辑] 求角

餘弦定理可以简单地变形成:

\cos A = \frac{{b^2  + c^2  - a^2 }}{{2bc}}\,\!
\cos B = \frac{{c^2  + a^2  - b^2 }}{{2ca}}\,\!
\cos C = \frac{{a^2  + b^2  - c^2 }}{{2ab}}\,\!

因为餘弦函数在\left[ {{\rm{0}},\pi } \right]上的单调性,可以得到:

\angle A = \arccos \frac{{b^2  + c^2  - a^2 }}{{2bc}}\,\!
\angle B = \arccos \frac{{c^2  + a^2  - b^2 }}{{2ca}}\,\!
\angle C = \arccos \frac{{a^2  + b^2  - c^2 }}{{2ab}}\,\!

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

[编辑] 参见

个人工具