余弦定理

テンプレート:出典の明記 テンプレート:Trigonometry 余弦定理（よげんていり、テンプレート:Lang-en-short）とは、平面上の三角法において三角形の内角の余弦と辺の長さとの間に成り立つ関係を与える定理である。余弦定理は広義には、本題（第二定理）とそれを証明するための補題（第一定理）からなり、第一定理に言及するときそれらは区別される。ただし第一定理と第二定理は実は同値であり、変数の少ない第二定理が計量の上で実用的とされる。そのため、単に余弦定理と言った場合、第二定理を指す。

三角形の角と辺の関係

概要

余弦定理は、内角をその余弦でとらえる。ここで余弦とは角の余角に対する正弦のことであり、余角とは、自身の大きさとの和が直角になる角のことである。

余弦をとらえるのでは直接内角をとらえたことにはならないが、実際には余弦の値に対する内角は一意に決まる。なぜなら、三角形の内角は テンプレート:Math2（テンプレート:Π は円周率）の範囲を取り、その範囲に制限した余弦関数 テンプレート:Math2 は狭義減少の全単射となるからである。式で表すと逆三角関数 テンプレート:Math2 となり、数値計算できる。したがって、余弦定理により三角形の内角と辺の関係をとらえることができる。

テンプレート:Math において、テンプレート:Math2 とすると、

テンプレート:Math

テンプレート:Math

テンプレート:Math

が成り立つ。これらの式が成り立つという命題を余弦定理、あるいは第二余弦定理という。

余弦定理は 1つの内角の大きさとそれをはさむ 2辺の長さが分かっていれば、対辺（残りの辺）の長さが決まるという定理である。このことは三角形の合同条件に対応している。逆に 3辺の長さが分かっていれば

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

と余弦について解くことによって内角の大きさを知ることができる。

第二余弦定理において、特に テンプレート:Math2 の場合は、テンプレート:Math2 なので、ピタゴラスの定理

テンプレート:Math2

などが導かれる。すなわち、第二余弦定理は、「一般の三角形に対するピタゴラスの定理」といえる。

歴史

ユークリッド原論の第2巻命題12では、テンプレート:Math を テンプレート:Mvar が鈍角の鈍角三角形としたとき

テンプレート:Math2

が成り立つことと、命題13で鋭角三角形の場合が示されている。ユークリッド原論では余弦関数は使われていないが、辺の長さを用いて余弦定理と本質的に同じ命題が示されている。

イスラム世界では、10世紀に活躍した天文学者であり数学者のバッターニーはこれらの結果を球面幾何学にまで広げ、星の間の距離を測定した。15世紀には、アル＝カーシーが精密な三角関数表を作成し、余弦定理を三角測量に使いやすい形にした。このためフランスでは、余弦定理はアル＝カーシーの定理 (テンプレート:Fr) と呼ばれている。

西洋での余弦定理は16世紀にフランソワ・ビエトによって独自に発見されたことで有名になり、19世紀初頭から現代のような数式で書かれるようになった。

定理

テンプレート:Math において、テンプレート:Math2 とすると

• 第一余弦定理

テンプレート:Math

テンプレート:Math

テンプレート:Math

• 第二余弦定理

テンプレート:Math

テンプレート:Math

テンプレート:Math

が成り立つ。

単に余弦定理というと第二余弦定理を指す。

三角形の内角の和は一定（テンプレート:Mathラジアン）であるから、2つの内角の大きさが分かっていれば、残りの内角の大きさも定まる。したがって第一余弦定理は、三角形の 2辺と 2つの内角から残りの辺の長さが求められるという定理である。

第一余弦定理の証明

鋭角三角形の場合における第一余弦定理の一つ テンプレート:Math2 は、図のようになる。

正弦定理の一部との同値性

第一余弦定理は正弦定理の一部と同値となる。ここではそれも含めた証明を行う。

辺 テンプレート:Mvar の対角が直角 テンプレート:Math2 の場合は、テンプレート:Math2 となり テンプレート:Math を含む第一余弦定理は

テンプレート:Math

テンプレート:Math

となる。辺 テンプレート:Mvar は直角三角形の斜辺であるため、これは余弦関数の定義そのものである。

以下、テンプレート:Mvar と テンプレート:Mvar は直角ではないとする。すなわち テンプレート:Math と テンプレート:Math は テンプレート:Math ではないとする。

正弦定理により

$\frac{a}{\sin \alpha }=\frac{b}{\sin \beta }=\frac{c}{\sin \gamma }\cdots \text{①}$

が、加比の理から

$\frac{b\cos \gamma }{\sin \beta \cos \gamma }=\frac{c\cos \beta }{\sin \gamma \cos \beta }=\frac{b\cos \gamma +c\cos \beta }{\sin \beta \cos \gamma +\sin \gamma \cos \beta }\cdots \text{②}$

が、さらに三角関数の加法定理から

$\sin \beta \cos \gamma +\sin \gamma \cos \beta =\sin (\beta +\gamma )\cdots \text{③}$

が成り立つ。したがって、

$\begin{array}{cc}\frac{a}{\sin \alpha }& =\frac{b}{\sin \beta }=\frac{c}{\sin \gamma }(\because \text{①})\\ & =\frac{b\cos \gamma }{\sin \beta \cos \gamma }=\frac{c\cos \beta }{\sin \gamma \cos \beta }\\ & =\frac{b\cos \gamma +c\cos \beta }{\sin \beta \cos \gamma +\sin \gamma \cos \beta }(\because \text{②})\\ & =\frac{b\cos \gamma +c\cos \beta }{\sin (\beta +\gamma )}(\because \text{③})\\ & =\frac{b\cos \gamma +c\cos \beta }{\sin (\pi -\alpha )}(\because \alpha +\beta +\gamma =\pi )\\ & =\frac{b\cos \gamma +c\cos \beta }{\sin \alpha }\end{array}$

である。したがって、辺々 $\sin \alpha$ を乗じて

$a=b\cos \gamma +c\cos \beta$

が得られる。

逆に、第一余弦定理を仮定して、正弦定理のうち外接円の半径との関係を除く部分を導出することが、この証明を逆にたどることでできる。

第二余弦定理のみによる導出

第一余弦定理は、第二余弦定理のうち 2式だけから導くことができる。この場合、三平方の定理や正弦定理といった初等幾何の主要な定理は用いずに導いている。

$b\cos \gamma +c\cos \beta =b\times \frac{a^2+b^2-c^2}{2ab}+c\times \frac{c^2+a^2-b^2}{2ca}=a.$

第二余弦定理の証明

第一余弦定理との同値性

第二余弦定理は第一余弦定理と同値となる。ここではそれも含めた証明を行う。

テンプレート:Math で底辺を テンプレート:Math としたときの高さが

テンプレート:Math2

であることに着目する。

第一余弦定理 テンプレート:Math2

の平方から テンプレート:Math2 を取り出すように式変形すると、

$\begin{array}{cc}{a}^2& ={(b\cos \gamma +c\cos \beta )}^2\\ & =b^2{\cos }^2\gamma +2bc\cos \gamma \cos \beta +c^2{\cos }^2\beta \\ & =b^2(1-{\sin }^2\gamma )+2bc\cos \gamma \cos \beta +c^2(1-{\sin }^2\beta )\\ & (\because {\cos }^2\gamma +{\sin }^2\gamma ={\cos }^2\beta +{\sin }^2\beta =1)\\ & =-(b^2{\sin }^2\gamma +c^2{\sin }^2\beta )+b^2+c^2+2bc\cos \beta \cos \gamma \\ & =-(b\sin \gamma -c\sin \beta {)}^2-2bc\sin \gamma \sin \beta +b^2+c^2+2bc\cos \beta \cos \gamma \\ & =-0^2+b^2+c^2+2bc(\cos \beta \cos \gamma -\sin \beta \sin \gamma )\\ & =b^2+c^2-2bc\cos \alpha .\\ & (\because \cos \beta \cos \gamma -\sin \beta \sin \gamma =\cos (\beta +\gamma )=\cos (\pi -\alpha )=-\cos \alpha )\end{array}$

であり第二余弦定理となる。

テンプレート:Math2 に注意して逆の変形をすれば、第二余弦定理から第一余弦定理を得る。

第一余弦定理のみによる導出

第二余弦定理は、第一余弦定理の 3式だけから導くことができる。三平方の定理や正弦定理といった初等幾何の主要な定理は用いず、実質上は三角形の相似だけで導いている。

$\begin{array}{cc}{a}^2& =a\times a\\ & =a\times (b\cos \gamma +c\cos \beta )\\ & =b\times a\cos \gamma +c\times a\cos \beta \\ & =b(b-c\cos \alpha )+c(c-b\cos \alpha )\\ & (\text{first cosine theorem})\\ & =b^2+c^2-2bc\cos \alpha .\end{array}$

なお、特に テンプレート:Math2 の場合を考えると、三平方の定理の三角比による証明が得られる。

三平方の定理による導出

三平方の定理による導出

第二余弦定理は、三平方の定理を利用すれば、三角法の定理（正弦定理や第一余弦定理など）を使わずに導出することができる。ただし垂線を引くので テンプレート:Math の 1つの内角と 90度の大小関係で場合分けする必要がある。

テンプレート:Math において、テンプレート:Math2 の場合、テンプレート:Math から直線テンプレート:Math に下ろした垂線の足を テンプレート:Math とすると、テンプレート:Math2 であり、テンプレート:Math に三平方の定理を使えば

$\begin{array}{cc}{c}^2& ={(b-a\cos \gamma )}^2+{(a\sin \gamma )}^2\\ & =b^2-2ab\cos \gamma +a^2({\cos }^2\gamma +{\sin }^2\gamma )\\ & =a^2+b^2-2ab\cos \gamma \end{array}$

となる。

テンプレート:Mvar が鈍角の場合は、「テンプレート:Math2」となるが、「テンプレート:Math2」となることに変わりはなく、この場合も上記の式が導出される。

ユークリッド原論にみる原型

ユークリッド原論第1巻命題47においてピタゴラスの定理が示され、第2巻の最初の方では

テンプレート:Math2

などの二次式の関係が図形問題として述べられる。

ユークリッド原論で扱われているのはこのような数式ではなく テンプレート:Math は テンプレート:Mvar を一辺の長さとする正方形の面積として、テンプレート:Mvar は テンプレート:Mvar と テンプレート:Mvar を辺の長さとする長方形の面積として表され、正方形や長方形を比べることによって命題が述べられる。

それらを背景として第二余弦定理とほぼ同等な命題が現れる。しかし三角関数が無かった時代のものなので、現代のように角度と辺の長さの関係として捉えられていたわけではない。余弦が明示的に使われているわけではなく、特定の辺の長さを現代的に余弦を用いて表現すると一致するという意味である。同じ意味で第一余弦定理

テンプレート:Math2

に対応するものも考えてみると、テンプレート:Math から テンプレート:Math に下ろした垂線の足を テンプレート:Math としたとき、辺 テンプレート:Math の長さは テンプレート:Math と テンプレート:Math の長さの和ということを示しているだけの定理なので、三角形の辺の長さの関係を表し、特に第一余弦定理を表しているといえる命題といったものはユークリッド原論の中にはない。敢えて言えば、三角形ではなく線分の内分、外分に関する命題ということになる。

第2巻命題12

ユークリッド原論第2巻命題12では テンプレート:Math2 が示されている

ユークリッド原論第2巻命題12では、鈍角三角形の鈍角に対応する第二余弦定理がピタゴラスの定理を用いて示されている。現代的に書けば

テンプレート:Math2 のとき テンプレート:Math から テンプレート:Math に下ろした垂線の足を テンプレート:Math とする。テンプレート:Math は線分 テンプレート:Math 上ではなく テンプレート:Math を テンプレート:Math の方へ延長した半直線上にある。テンプレート:Math2 として テンプレート:Math と テンプレート:Math にピタゴラスの定理を適用すると

$\begin{array}{c}{c}^2={(b+d)}^2+h^2\\ d^2+h^2=a^2\end{array}$

となり

$\begin{array}{cc}{c}^2& =b^2+2bd+d^2+h^2\\ & =a^2+b^2+2bd\end{array}$

となる。

余弦関数を用いた表現では、鈍角に対する余弦が負になることに注意すれば テンプレート:Math2 である。

第2巻命題13

ユークリッド原論第2巻命題13では、鋭角三角形に対する第二余弦定理が示されている。

テンプレート:Math において、テンプレート:Math から テンプレート:Math に下ろした垂線の足を テンプレート:Math とし、テンプレート:Math2 とする。

第2巻命題7で示されている

$a^2+p^2=2ap+q^2$

という関係を使うことで

$a^2+(p^2+h^2)=2ap+(q^2+h^2)$

テンプレート:Math と テンプレート:Math にピタゴラスの定理を使って

$a^2+c^2=2ap+b^2$

となる。

余弦関数を用いた表現では テンプレート:Math2 である。

ベクトルの内積による導出

三角形の辺の長さをベクトルの内積で表し計算すれば、第二余弦定理は自然なものとなる。

$\begin{array}{cc}{a}^2& =\Vert \overrightarrow{\text{BC}}{\Vert }^2\\ & =\Vert \overrightarrow{\text{AC}}-\overrightarrow{\text{AB}}{\Vert }^2\\ & =\Vert \overrightarrow{\text{AC}}{\Vert }^2-2\overrightarrow{\text{AC}}\cdot \overrightarrow{\text{AB}}+\Vert \overrightarrow{\text{AB}}{\Vert }^2\\ & ={\text{AC}}^2-2\text{AC}\cdot \text{AB}\cos \mathrm{\angle }\text{BAC}+{\text{AB}}^2\\ & =b^2+c^2-2bc\cos \alpha .\end{array}$

関連項目

• 図形の合同
• 三角関数
• 正弦定理
• 正接定理
• 余接定理
• 三角関数の公式の一覧
• ドット積
• ピタゴラスの定理
• ユークリッド距離

外部リンク

• テンプレート:Kotobank
• テンプレート:高校数学の美しい物語
• テンプレート:高校数学の美しい物語
• テンプレート:MathWorld