余弦定理のソースを表示

{{出典の明記|date=2020-11}}
{{Trigonometry}}
'''余弦定理'''（よげんていり、{{lang-en-short|law of cosines, cosine formula}}）とは、[[平面]]上の[[三角法]]において[[三角形]]の内角の[[三角関数|余弦]]と辺の長さとの間に成り立つ関係を与える定理である<ref>{{Cite web|和書|title=余弦定理 |url=https://w3e.kanazawa-it.ac.jp/math/category/sankakukansuu/henkan-tex.cgi?target=/math/category/sankakukansuu/yogenteiri.html |website=w3e.kanazawa-it.ac.jp |accessdate=2022-05-20}}</ref>。余弦定理は広義には、本題（第二定理）とそれを証明するための[[補題]]（第一定理）からなり、第一定理に言及するときそれらは区別される。ただし第一定理と第二定理は実は同値であり、変数の少ない第二定理が計量の上で実用的とされる。そのため、単に余弦定理と言った場合、第二定理を指す。
[[画像:Triangle with notations 2.svg|270px|thumb|三角形の角と辺の関係]]

== 概要 ==
余弦定理は、内角をその[[三角関数|余弦]]でとらえる。ここで余弦とは角の[[角度#角同士の関係による分類|余角]]に対する正弦のことであり、余角とは、自身の大きさとの和が[[直角]]になる角のことである。

余弦をとらえるのでは直接内角をとらえたことにはならないが、実際には余弦の値に対する内角は一意に決まる。なぜなら、[[三角形]]の内角は {{math2|0 < ''x'' < π}}（{{π}} は[[円周率]]）の範囲を取り、その範囲に制限した余弦関数 {{math2|1=''y'' = cos ''x''}} は[[単調写像|狭義減少]]の[[全単射]]となるからである。式で表すと[[逆三角関数]] {{math2|1=''x'' = arccos ''y''}} となり、[[数値解析|数値計算]]できる。したがって、余弦定理により三角形の内角と辺の関係をとらえることができる。

{{math|△ABC}} において、{{math2|1=''a'' = BC, ''b'' = CA, ''c'' = AB, ''α'' = ∠CAB, ''β'' = ∠ABC, ''γ'' = ∠BCA}} とすると、
:{{math|''a''{{sup|2}} {{=}} ''b''{{sup|2}} + ''c''{{sup|2}} &minus; 2''bc'' cos ''α''}}
:{{math|''b''{{sup|2}} {{=}} ''c''{{sup|2}} + ''a''{{sup|2}} &minus; 2''ca'' cos ''β''}}
:{{math|''c''{{sup|2}} {{=}} ''a''{{sup|2}} + ''b''{{sup|2}} &minus; 2''ab'' cos ''γ''}}
が成り立つ。これらの式が成り立つという命題を'''余弦定理'''、あるいは'''第二余弦定理'''という。

余弦定理は 1つの内角の大きさとそれをはさむ 2辺の長さが分かっていれば、対辺（残りの辺）の長さが決まるという定理である。このことは[[図形の合同#三角形の決定問題|三角形の合同条件]]に対応している。逆に 3辺の長さが分かっていれば
:<math>\cos \alpha =\frac{b^2 +c^2 -a^2}{2bc}</math>
と余弦について解くことによって内角の大きさを知ることができる。

第二余弦定理において、特に {{math2|1=''α'' = {{sfrac|π|2}}}} の場合は、{{math2|1=cos ''α'' = 0}} なので、[[ピタゴラスの定理]]
:{{math2|1=''a''{{sup|2}} = ''b''{{sup|2}} + ''c''{{sup|2}}}}
などが導かれる。すなわち、第二余弦定理は、「'''一般の三角形に対するピタゴラスの定理'''」といえる。

== 歴史 ==
[[ユークリッド原論]]の第2巻命題12では、{{math|△ABC}} を {{mvar|γ}} が鈍角の鈍角三角形としたとき
:{{math2|1=''c''{{sup|2}} = ''a''{{sup|2}} + ''b''{{sup|2}} &minus; 2''ab'' cos ''γ''}}
が成り立つことと、命題13で鋭角三角形の場合が示されている。ユークリッド原論では余弦関数は使われていないが、辺の長さを用いて余弦定理と本質的に同じ命題が示されている。

[[イスラム世界]]では、10世紀に活躍した[[天文学者]]であり[[数学者]]の[[バッターニー]]はこれらの結果を[[球面幾何学]]にまで広げ、星の間の距離を測定した。[[15世紀]]には、[[アル＝カーシー]]が精密な三角関数表を作成し、余弦定理を[[三角測量]]に使いやすい形にした。このため[[フランス]]では、余弦定理は'''アル＝カーシーの定理''' (''{{fr|Th&eacute;or&egrave;me d'Al-Kashi}}'') と呼ばれている。

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

== 定理 ==
{{math|△ABC}} において、{{math2|1=''a'' = BC, ''b'' = CA, ''c'' = AB, ''α'' = ∠CAB, ''β'' = ∠ABC, ''γ'' = ∠BCA}} とすると
*'''第一余弦定理'''
:{{math|''a'' {{=}} ''b'' cos ''γ'' + ''c'' cos ''β''}}
:{{math|''b'' {{=}} ''c'' cos ''α'' + ''a'' cos ''γ''}}
:{{math|''c'' {{=}} ''a'' cos ''β'' + ''b'' cos ''α''}}
*'''第二余弦定理'''
:{{math|1=''a''{{sup|2}} = ''b''{{sup|2}} + ''c''{{sup|2}} &minus; 2''bc'' cos ''α''}}
:{{math|1=''b''{{sup|2}} = ''c''{{sup|2}} + ''a''{{sup|2}} &minus; 2''ca'' cos ''β''}}
:{{math|1=''c''{{sup|2}} = ''a''{{sup|2}} + ''b''{{sup|2}} &minus; 2''ab'' cos ''γ''}}
が成り立つ。

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

三角形の内角の和は一定（{{math|π}}[[ラジアン]]）であるから、2つの内角の大きさが分かっていれば、残りの内角の大きさも定まる。したがって第一余弦定理は、三角形の 2辺と 2つの内角から残りの辺の長さが求められるという定理である。

== 第一余弦定理の証明 ==
[[画像:Triangle-with-cosines.svg|270px|thumb|鋭角三角形の場合における第一余弦定理の一つ {{math2|1=''c'' = ''a'' cos ''β'' + ''b'' cos ''α''}} は、図のようになる。]]

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

辺 {{mvar|b}} の対角が[[直角]] {{math2|1=''β'' = {{sfrac|π|2}}}} の場合は、{{math2|1=cos ''β'' = 0}} となり {{math|cos ''β''}} を含む第一余弦定理は
:{{math|''a'' {{=}} ''b'' cos ''γ''}}
:{{math|''c'' {{=}} ''b'' cos ''α''}}
となる。辺 {{mvar|b}} は[[直角三角形]]の斜辺であるため、これは余弦関数の定義そのものである。

以下、{{mvar|β}} と {{mvar|γ}} は直角ではないとする。すなわち {{math|cos ''β''}} と {{math|cos ''γ''}} は {{math|0}} ではないとする。

[[正弦定理]]により
:<math>{a \over \sin\alpha} = {b \over \sin\beta} = {c \over \sin\gamma} \quad\cdots\quad\text{①}\quad</math>
が、[[分数#加比の理|加比の理]]から
:<math>{b \cos\gamma \over \sin\beta \cos\gamma} = {c \cos\beta \over \sin\gamma \cos\beta} = {b \cos\gamma + c \cos\beta \over \sin\beta \cos\gamma + \sin\gamma \cos\beta} \quad\cdots\quad\text{②}\quad</math>
が、さらに[[三角関数の公式の一覧#加法定理|三角関数の加法定理]]から
:<math>\sin\beta \cos\gamma + \sin\gamma \cos\beta = \sin(\beta + \gamma) \quad\cdots\quad\text{③}\quad</math>
が成り立つ。したがって、
:<math>\begin{align}
  {a \over \sin\alpha} &= {b \over \sin\beta} = {c \over \sin\gamma} \qquad(\because\text{①}\quad)\\
  &= {b \cos\gamma \over \sin\beta \cos\gamma} = {c \cos\beta \over \sin\gamma \cos\beta}\\
  &= {b \cos\gamma + c \cos\beta \over \sin\beta \cos\gamma + \sin\gamma \cos\beta} \qquad(\because\text{②}\quad)\\
  &= {b \cos\gamma + c \cos\beta \over \sin(\beta + \gamma)} \qquad(\because\text{③}\quad)\\
  &= {b \cos\gamma + c \cos\beta \over \sin(\pi - \alpha)} \qquad(\because \alpha + \beta + \gamma = \pi)\\
  &= {b \cos\gamma + c \cos\beta \over \sin\alpha}
\end{align}</math>
である。したがって、辺々 <math>\sin\alpha</math> を乗じて
:<math>a = b \cos \gamma + c\cos \beta</math>
が得られる。

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

=== 第二余弦定理のみによる導出 ===
第一余弦定理は、第二余弦定理のうち 2式だけから導くことができる。この場合、三平方の定理や正弦定理といった初等幾何の主要な定理は用いずに導いている。
:<math>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|△ABC}} で底辺を {{math|BC}} としたときの高さが
:{{math2|1=''b'' sin ''γ'' = ''c'' sin ''β''}}
であることに着目する。
:第一余弦定理 {{math2|1=''a'' = ''b'' cos ''γ'' + ''c'' cos ''β''}}
の[[自乗|平方]]から {{math2|1=''b'' sin ''γ'' &minus; ''c'' sin ''β'' (= 0)}}
を取り出すように式変形すると、
:<math>\begin{align}
a^2 &= \left( b \cos \gamma + c \cos \beta \right)^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{align}</math>
であり第二余弦定理となる。

{{math2|''a'' > 0}} に注意して逆の変形をすれば、第二余弦定理から第一余弦定理を得る。

=== 第一余弦定理のみによる導出 ===
第二余弦定理は、第一余弦定理の 3式だけから導くことができる。三平方の定理や正弦定理といった初等幾何の主要な定理は用いず、実質上は三角形の相似だけで導いている。
:<math>\begin{align}
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{align}</math>

なお、特に {{math2|1=''α'' = {{sfrac|π|2}}}} の場合を考えると、三平方の定理の三角比による証明が得られる。

=== 三平方の定理による導出 ===
[[画像:Triangle with trigonometric proof of the law of cosines.svg|270px|thumb|三平方の定理による導出]]
第二余弦定理は、三平方の定理を利用すれば、[[三角法]]の定理（正弦定理や第一余弦定理など）を使わずに導出することができる。ただし垂線を引くので {{math|△ABC}} の 1つの内角と 90度の大小関係で場合分けする必要がある。

{{math|△ABC}} において、{{math2|''γ'' ≤ {{sfrac|''π''|2}}}} の場合、{{math|B}} から直線{{math|AC}} に下ろした垂線の足を {{math|H}} とすると、{{math2|1=BH = a sin ''γ'', CH = ''a'' cos ''γ'', AH = AC &minus; CH = ''b'' &minus; ''a'' cos ''γ''}} であり、{{math|△ABH}} に三平方の定理を使えば
:<math>\begin{align}
c^2 &= \left( b-a \cos \gamma\right)^2 + \left( a \sin \gamma \right)^2 \\
&= b^2 - 2ab \cos \gamma + a^2 \left( \cos^2 \gamma + \sin^2 \gamma \right) \\
&= a^2 + b^2 - 2ab \cos \gamma
\end{align}</math>
となる。

{{mvar|γ}} が鈍角の場合は、「{{math2|1=CH = &minus;''a'' cos ''γ''}}」となるが、「{{math2|1=AH = ''b'' &minus; ''a'' cos ''γ''}}」となることに変わりはなく、この場合も上記の式が導出される。

=== ユークリッド原論にみる原型 ===
[[ユークリッド原論]]第1巻命題47において[[ピタゴラスの定理]]が示され、第2巻の最初の方では
:{{math2|1=(''x'' + ''y''){{sup|2}} = ''x''{{sup|2}} + ''y''{{sup|2}} + 2''xy''}}
などの二次式の関係が図形問題として述べられる。
:ユークリッド原論で扱われているのはこのような数式ではなく {{math|''x''{{sup|2}}}} は {{mvar|x}} を一辺の長さとする[[正方形]]の面積として、{{mvar|xy}} は {{mvar|x}} と {{mvar|y}} を辺の長さとする[[長方形]]の面積として表され、正方形や長方形を比べることによって命題が述べられる。
それらを背景として第二余弦定理とほぼ同等な命題が現れる。しかし[[三角関数]]が無かった時代のものなので、現代のように角度と辺の長さの関係として捉えられていたわけではない。余弦が明示的に使われているわけではなく、特定の辺の長さを現代的に余弦を用いて表現すると一致するという意味である。同じ意味で第一余弦定理
:{{math2|1=''c'' = ''a'' cos ''β'' + ''b'' cos ''α''}}
に対応するものも考えてみると、{{math|C}} から {{math|AB}} に下ろした垂線の足を {{math|H}} としたとき、辺 {{math|AB}} の長さは {{math|AH}} と {{math|HB}} の長さの和ということを示しているだけの定理なので、三角形の辺の長さの関係を表し、特に第一余弦定理を表しているといえる命題といったものはユークリッド原論の中にはない。敢えて言えば、三角形ではなく線分の内分、外分に関する命題ということになる。

==== 第2巻命題12 ====
[[画像:Obtuse Triangle With Altitude ZP.svg|270px|thumb|ユークリッド原論第2巻命題12では {{math2|1=AB{{sup|2}} = CA{{sup|2}} + BC{{sup|2}} + 2CA × CH}} が示されている]]
ユークリッド原論第2巻命題12では、鈍角三角形の鈍角に対応する第二余弦定理が[[ピタゴラスの定理]]を用いて示されている。現代的に書けば

{{math2|''γ'' > {{sfrac|π|2}}}} のとき {{math|B}} から {{math|AC}} に下ろした垂線の足を {{math|H}} とする。{{math|H}} は線分 {{math|AC}} 上ではなく {{math|AC}} を {{math|C}} の方へ延長した半直線上にある。{{math2|1=''d'' = CH, ''h'' = BH}} として {{math|△ABH}} と {{math|△CBH}} にピタゴラスの定理を適用すると
:<math>\begin{align}
c^2 = \left( b+d \right)^2 + h^2 \\
d^2 + h^2 = a^2
\end{align}</math>
となり
:<math>\begin{align}
c^2 &= b^2 + 2bd + d^2 + h^2 \\
    &= a^2 + b^2 + 2bd
\end{align}</math>
となる。

余弦関数を用いた表現では、鈍角に対する余弦が負になることに注意すれば {{math2|1=''d'' = &minus;''a'' cos ''γ''}} である。

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

{{math|△ABC}} において、{{math|A}} から {{math|BC}} に下ろした垂線の足を {{math|H}} とし、{{math2|1=''p'' = BH, ''q'' = HC, ''h'' = AH}} とする。

第2巻命題7で示されている
:<math>a^2 + p^2 = 2ap + q^2</math>
という関係を使うことで
:<math>a^2 + \left(p^2 + h^2\right) = 2ap + \left(q^2 + h^2\right)</math>
{{math|△ABH}} と {{math|△ACH}} にピタゴラスの定理を使って
:<math>a^2 + c^2 = 2ap + b^2</math>
となる。

余弦関数を用いた表現では {{math2|1=''p'' = ''c'' cos ''β''}} である。

=== ベクトルの内積による導出 ===
三角形の辺の長さを[[ドット積|ベクトルの内積]]で表し計算すれば、第二余弦定理は自然なものとなる。
:<math>\begin{align}
a^2 &= \lVert \overrightarrow{\text{BC}} \lVert^2 \\
    &= \lVert \overrightarrow{\text{AC}} -\overrightarrow{\text{AB}} \lVert^2 \\
    &= \lVert \overrightarrow{\text{AC}} \lVert^2 - 2 \overrightarrow \text{AC} \cdot \overrightarrow{\text{AB}} + \lVert \overrightarrow{\text{AB}} \lVert^2 \\
    &= \text{AC}^2 - 2 \text{AC} \cdot \text{AB} \cos \angle\text{BAC} + \text{AB}^2 \\
    &= b^2 + c^2 -2bc \cos \alpha.
\end{align}</math>

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 関連項目 ==
{{Div col}}
*[[図形の合同]]
*[[三角関数]]
*[[正弦定理]]
*[[正接定理]]
*[[余接定理]]
*[[三角関数の公式の一覧]]
*[[ドット積]]
*[[ピタゴラスの定理]]
*[[ユークリッド距離]]
{{Div col end}}

== 外部リンク ==
{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|34px|Project:数学]]}}
{{ウィキポータルリンク|数学|[[画像:Nuvola apps edu mathematics-p.svg|34px|Portal:数学]]}}
*{{Kotobank|余弦定理|2=世界大百科事典 第2版}}
*{{高校数学の美しい物語|869|第一余弦定理とその３通りの証明}}
*{{高校数学の美しい物語|2125|余弦定理とその証明}}
*{{MathWorld|title=Law of Cosines|id=LawofCosines}}

{{DEFAULTSORT:よけんていり}}
[[Category:三角法]]
[[Category:角度]]
[[Category:三角形に関する定理]]
[[Category:数学に関する記事]]
[[Category:証明を含む記事]]