一 いち 個 こ 三角形 さんかっけい
餘弦 よげん 定理 ていり 是 これ 三角形 さんかっけい 中 ちゅう 三邊長度與一個角的余弦 よげん 值(
cos
{\displaystyle \cos }
)的 てき 數學 すうがく 式 しき ,余弦 よげん 定理 ていり 指 ゆび 的 てき 是 ぜ :
c
2
=
a
2
+
b
2
−
2
a
b
cos
γ がんま
{\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos \gamma }
同樣 どうよう ,也可以將其改為 ため :
b
2
=
c
2
+
a
2
−
2
c
a
cos
β べーた
{\displaystyle b^{2}=c^{2}+a^{2}-2ca\cos \beta }
a
2
=
b
2
+
c
2
−
2
b
c
cos
α あるふぁ
{\displaystyle a^{2}=b^{2}+c^{2}-2bc\cos \alpha }
其中
c
{\displaystyle c}
是 これ
γ がんま
{\displaystyle \gamma }
角 かく 的 てき 對邊 たいへん ,而
a
{\displaystyle a}
和 わ
b
{\displaystyle b}
是 これ
γ がんま
{\displaystyle \gamma }
角 かく 的 てき 鄰邊。
勾股定理 ていり 則 のり 是 ぜ 余弦 よげん 定理 ていり 的 てき 特殊 とくしゅ 情況 じょうきょう ,當 とう
γ がんま
{\displaystyle \gamma }
為 ため
90
∘
{\displaystyle 90^{\circ }}
時 とき ,
cos
γ がんま
=
0
{\displaystyle \cos \gamma =0}
,等式 とうしき 可 か 被 ひ 簡化為 ため
c
2
=
a
2
+
b
2
{\displaystyle c^{2}=a^{2}+b^{2}}
當 とう 知道 ともみち 三角形 さんかっけい 的 てき 兩邊 りょうへん 和 わ 一角 いっかく 時 じ ,余弦 よげん 定理 ていり 可 か 被 ひ 用 もちい 來 らい 計算 けいさん 第 だい 三 さん 邊 へん 的 てき 長 ちょう ,或 ある 是 ぜ 當知 とうち 道 どう 三 さん 邊 へん 的 てき 長 ちょう 度 ど 時 じ ,可用 かよう 來 らい 求 もとめ 出 で 任 にん 何 なん 一 いち 個 こ 角 かく 。
一個鈍三角形和它的高。
余弦 よげん 定理 ていり 的 てき 歷史 れきし 可 か 追 おい 溯 さかのぼ 至 いたり 公 こう 元 もと 三 さん 世紀 せいき 前 まえ 歐 おう 幾里 いくさと 得 とく 的 てき 幾何 きか 原本 げんぽん ,在 ざい 書中 しょちゅう 將 しょう 三角形分為鈍角和銳角來解釋,這同時 じ 對應 たいおう 現代 げんだい 數學 すうがく 中 ちゅう 余弦 よげん 值的正負 せいふ 。根據 こんきょ 幾何 きか 原本 げんぽん 第 だい 二 に 卷 かん 的 てき 命題 めいだい 12和 わ 13[ 1] ,並 なみ 參考 さんこう 右 みぎ 圖 ず ,以現代 だい 的 てき 數學 すうがく 式 しき 表示 ひょうじ 即 そく 為 ため :
A
B
¯
2
=
C
A
¯
2
+
C
B
¯
2
+
2
(
C
A
¯
)
(
C
H
¯
)
{\displaystyle {\overline {AB}}^{2}={\overline {CA}}^{2}+{\overline {CB}}^{2}+2({\overline {CA}})({\overline {CH}})\,}
其中
C
H
¯
=
B
C
¯
cos
(
π ぱい
−
γ がんま
)
=
−
B
C
¯
cos
γ がんま
{\displaystyle {\overline {CH}}={\overline {BC}}\cos(\pi -\gamma )=-{\overline {BC}}\cos \gamma }
,將 はた 其帶入 にゅう 上 うえ 式 しき 得 え 到 いた :
A
B
¯
2
=
C
A
¯
2
+
C
B
¯
2
−
2
(
C
A
¯
)
(
B
C
¯
)
cos
γ がんま
{\displaystyle {\overline {AB}}^{2}={\overline {CA}}^{2}+{\overline {CB}}^{2}-2({\overline {CA}})({\overline {BC}})\cos \gamma }
具有 ぐゆう 垂直 すいちょく 線 せん 的 てき 銳角 えいかく 三角形 さんかっけい
見 み 右 みぎ 圖 ず ,在 ざい
c
{\displaystyle c}
上 うえ 做高可 か 以得到 いた (投影 とうえい 定理 ていり ):
c
=
a
cos
β べーた
+
b
cos
α あるふぁ
{\displaystyle c=a\cos \beta +b\cos \alpha }
將 はた 等式 とうしき 同乘 どうじょう 以c得 え 到 いた :
c
2
=
a
c
cos
β べーた
+
b
c
cos
α あるふぁ
{\displaystyle c^{2}=ac\cos \beta +bc\cos \alpha }
運用 うんよう 同樣 どうよう 的 てき 方式 ほうしき 可 か 以得到 いた :
a
2
=
a
c
cos
β べーた
+
a
b
cos
γ がんま
{\displaystyle a^{2}=ac\cos \beta +ab\cos \gamma }
b
2
=
b
c
cos
α あるふぁ
+
a
b
cos
γ がんま
{\displaystyle b^{2}=bc\cos \alpha +ab\cos \gamma }
將 はた
c
2
{\displaystyle c^{2}}
的 てき 右 みぎ 式 しき 取 と 代 だい :
c
2
=
a
c
cos
β べーた
+
b
c
cos
α あるふぁ
=
(
a
2
−
a
b
cos
γ がんま
)
+
(
b
2
−
a
b
cos
γ がんま
)
=
a
2
+
b
2
−
2
a
b
cos
γ がんま
{\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 }
設 しつらえ
△
A
B
C
{\displaystyle \triangle ABC}
中 なか ,
A
B
¯
=
c
{\displaystyle {\overline {AB}}=c}
,
B
C
¯
=
a
{\displaystyle {\overline {BC}}=a}
,
A
C
¯
=
b
{\displaystyle {\overline {AC}}=b}
。過 か
B
{\displaystyle B}
點 てん 作 さく
A
C
{\displaystyle AC}
的 てき 垂線 すいせん ,垂 たれ 足 あし 為 ため
D
{\displaystyle D}
,如果
D
{\displaystyle D}
在 ざい
A
C
{\displaystyle AC}
內部,則 のり
B
D
{\displaystyle BD}
的 まと 長 ちょう 度 ど 為 ため
a
sin
C
{\displaystyle a\sin C}
,
D
C
{\displaystyle DC}
的 まと 長 ちょう 度 ど 為 ため
a
cos
C
{\displaystyle a\cos C}
,
A
D
{\displaystyle AD}
的 まと 長 ちょう 度 ど 為 ため
b
−
a
cos
C
{\displaystyle b-a\cos C}
。根據 こんきょ 勾股定理 ていり :
c
2
=
(
a
sin
C
)
2
+
(
b
−
a
cos
C
)
2
{\displaystyle c^{2}=(a\sin C)^{2}+(b-a\cos C)^{2}\,}
c
2
=
a
2
sin
2
C
+
b
2
−
2
a
b
cos
C
+
a
2
cos
2
C
{\displaystyle 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
−
2
a
b
cos
C
{\displaystyle c^{2}=a^{2}(\sin ^{2}C+\cos ^{2}C)+b^{2}-2ab\cos C\,}
c
2
=
a
2
+
b
2
−
2
a
b
cos
C
{\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos C\,}
如果
D
{\displaystyle D}
在 ざい
A
C
{\displaystyle AC}
的 てき 延長線 えんちょうせん 上 じょう ,證明 しょうめい 是 ぜ 類似 るいじ 的 てき 。同 どう 理 り 可 か 以得到 いた 其他的 てき 等式 とうしき 。
證明 しょうめい 所用 しょよう 的 てき 三角形 さんかっけい
設 しつらえ
△
A
B
C
{\displaystyle \triangle ABC}
中 なか ,
A
B
¯
=
c
{\displaystyle {\overline {AB}}=c}
,
B
C
¯
=
a
{\displaystyle {\overline {BC}}=a}
,
A
C
¯
=
b
{\displaystyle {\overline {AC}}=b}
。過 か
B
{\displaystyle B}
點 てん 作 さく
A
C
¯
{\displaystyle {\overline {AC}}}
的 てき 垂線 すいせん ,垂 たれ 足 あし 為 ため
D
{\displaystyle D}
,設 しつらえ
A
D
¯
=
x
{\displaystyle {\overline {AD}}=x}
,則 のり
C
D
¯
=
b
−
x
{\displaystyle {\overline {CD}}=b-x}
,根據 こんきょ 勾股定理 ていり :
c
2
−
x
2
=
B
D
¯
2
=
a
2
−
(
b
−
x
)
2
{\displaystyle c^{2}-x^{2}={\overline {BD}}^{2}=a^{2}-(b-x)^{2}}
c
2
−
x
2
=
a
2
−
b
2
−
x
2
+
2
b
x
{\displaystyle c^{2}-x^{2}=a^{2}-b^{2}-x^{2}+2bx}
c
2
=
a
2
−
b
2
+
2
b
x
{\displaystyle c^{2}=a^{2}-b^{2}+2bx}
x
=
b
2
+
c
2
−
a
2
2
b
{\displaystyle x={\frac {b^{2}+c^{2}-a^{2}}{2b}}}
cos
A
=
x
c
=
b
2
+
c
2
−
a
2
2
b
c
{\displaystyle \cos A={\frac {x}{c}}={\frac {b^{2}+c^{2}-a^{2}}{2bc}}}
如果
D
{\displaystyle D}
在 ざい
A
C
¯
{\displaystyle {\overline {AC}}}
的 てき 延長線 えんちょうせん 上 じょう ,證明 しょうめい 是 ぜ 類似 るいじ 的 てき 。同 どう 理 り 可 か 以得到 いた 其他的 てき 等式 とうしき 。
餘弦 よげん 定理 ていり 是 ぜ 解 かい 三角形 さんかっけい 中 ちゅう 的 てき 一 いち 個 こ 重要 じゅうよう 定理 ていり 。
餘弦 よげん 定理 ていり 可 か 以簡單 かんたん 地變 ちへん 形成 けいせい :
a
=
b
2
+
c
2
−
2
b
c
cos
A
{\displaystyle a={\sqrt {b^{2}+c^{2}-2bc\cos A}}}
b
=
c
2
+
a
2
−
2
a
c
cos
B
{\displaystyle b={\sqrt {c^{2}+a^{2}-2ac\cos B}}}
c
=
a
2
+
b
2
−
2
a
b
cos
C
{\displaystyle c={\sqrt {a^{2}+b^{2}-2ab\cos C}}}
因 いん 此,如果知道 ともみち 了 りょう 三角形的兩邊及其夾角,可 か 由 よし 餘弦 よげん 定理 ていり 得 とく 出 で 已 やめ 知 ち 角 かく 的 てき 對邊 たいへん 。
余弦 よげん 定理 ていり 可 か 以简单地变形成 けいせい :
cos
A
=
b
2
+
c
2
−
a
2
2
b
c
{\displaystyle \cos A={\frac {b^{2}+c^{2}-a^{2}}{2bc}}\,\!}
cos
B
=
c
2
+
a
2
−
b
2
2
c
a
{\displaystyle \cos B={\frac {c^{2}+a^{2}-b^{2}}{2ca}}\,\!}
cos
C
=
a
2
+
b
2
−
c
2
2
a
b
{\displaystyle \cos C={\frac {a^{2}+b^{2}-c^{2}}{2ab}}\,\!}
因 よし 為 ため 餘弦 よげん 函數 かんすう 在 ざい
(
0
,
π ぱい
)
{\displaystyle ({{\rm {0}},\pi })}
上 うえ 的 てき 單調 たんちょう 性 せい ,可 か 以得到 いた :
∠
A
=
arccos
b
2
+
c
2
−
a
2
2
b
c
{\displaystyle \angle A=\arccos {\frac {b^{2}+c^{2}-a^{2}}{2bc}}\,\!}
∠
B
=
arccos
c
2
+
a
2
−
b
2
2
c
a
{\displaystyle \angle B=\arccos {\frac {c^{2}+a^{2}-b^{2}}{2ca}}\,\!}
∠
C
=
arccos
a
2
+
b
2
−
c
2
2
a
b
{\displaystyle \angle C=\arccos {\frac {a^{2}+b^{2}-c^{2}}{2ab}}\,\!}
因 いん 此,如果已 やめ 知 ち 三角形 さんかっけい 的 てき 三 さん 邊 へん ,可 か 以由餘弦 よげん 定理 ていり 得 え 到 いた 三角形 さんかっけい 的 てき 三 さん 個 こ 內角。
^ 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.