余弦定理

余弦定理（よげんていり、）とは、平面上の三角法において三角形の内角の余弦と辺の長さとの間に成り立つ関係を与える定理である。余弦定理は広義には、本題（第二定理）とそれを証明するための補題（第一定理）からなり、第一定理に言及するときそれらは区別される。ただし第一定理と第二定理は実は同値であり、変数の少ない第二定理が計量の上で実用的とされる。そのため、単に余弦定理と言った場合、第二定理を指す。
概要.
余弦定理は、内角をその余弦でとらえる。ここで余弦とは角の余角に対する正弦のことであり、余角とは、自身の大きさとの和が直角になる角のことである。
余弦をとらえるのでは直接内角をとらえたことにはならないが、実際には余弦の値に対する内角は一意に決まる。なぜなら、三角形の内角は （ は円周率）の範囲を取り、その範囲に制限した余弦関数 は狭義減少の全単射となるからである。式で表すと逆三角関数 となり、数値計算できる。したがって、余弦定理により三角形の内角と辺の関係をとらえることができる。
 において、 とすると、
が成り立つ。これらの式が成り立つという命題を余弦定理、あるいは第二余弦定理という。
余弦定理は 1つの内角の大きさとそれをはさむ 2辺の長さが分かっていれば、対辺（残りの辺）の長さが決まるという定理である。このことは三角形の合同条件に対応している。逆に 3辺の長さが分かっていれば
と余弦について解くことによって内角の大きさを知ることができる。
第二余弦定理において、特に の場合は、 なので、ピタゴラスの定理
などが導かれる。すなわち、第二余弦定理は、「一般の三角形に対するピタゴラスの定理」といえる。
歴史.
ユークリッド原論の第2巻命題12では、 を が鈍角の鈍角三角形としたとき
が成り立つことと、命題13で鋭角三角形の場合が示されている。ユークリッド原論では余弦関数は使われていないが、辺の長さを用いて余弦定理と本質的に同じ命題が示されている。
イスラム世界では、10世紀に活躍した天文学者であり数学者のバッターニーはこれらの結果を球面幾何学にまで広げ、星の間の距離を測定した。15世紀には、アル＝カーシーが精密な三角関数表を作成し、余弦定理を三角測量に使いやすい形にした。このためフランスでは、余弦定理はアル＝カーシーの定理 ("") と呼ばれている。
西洋での余弦定理は16世紀にフランソワ・ビエトによって独自に発見されたことで有名になり、19世紀初頭から現代のような数式で書かれるようになった。
定理.
 において、 とすると
が成り立つ。
単に余弦定理というと第二余弦定理を指す。
三角形の内角の和は一定（ラジアン）であるから、2つの内角の大きさが分かっていれば、残りの内角の大きさも定まる。したがって第一余弦定理は、三角形の 2辺と 2つの内角から残りの辺の長さが求められるという定理である。
第一余弦定理の証明.
正弦定理の一部との同値性.
第一余弦定理は正弦定理の一部と同値となる。ここではそれも含めた証明を行う。
辺 の対角が直角 の場合は、 となり を含む第一余弦定理は
となる。辺 は直角三角形の斜辺であるため、これは余弦関数の定義そのものである。
以下、 と は直角ではないとする。すなわち と は ではないとする。
正弦定理により
が、加比の理から
が、さらに三角関数の加法定理から
が成り立つ。したがって、
である。したがって、辺々 formula_6 を乗じて
が得られる。
逆に、第一余弦定理を仮定して、正弦定理のうち外接円の半径との関係を除く部分を導出することが、この証明を逆にたどることでできる。
第二余弦定理のみによる導出.
第一余弦定理は、第二余弦定理のうち 2式だけから導くことができる。この場合、三平方の定理や正弦定理といった初等幾何の主要な定理は用いずに導いている。
第二余弦定理の証明.
第一余弦定理との同値性.
第二余弦定理は第一余弦定理と同値となる。ここではそれも含めた証明を行う。
 で底辺を としたときの高さが
であることに着目する。
の平方から 
を取り出すように式変形すると、
であり第二余弦定理となる。
 に注意して逆の変形をすれば、第二余弦定理から第一余弦定理を得る。
第一余弦定理のみによる導出.
第二余弦定理は、第一余弦定理の 3式だけから導くことができる。三平方の定理や正弦定理といった初等幾何の主要な定理は用いず、実質上は三角形の相似だけで導いている。
なお、特に の場合を考えると、三平方の定理の三角比による証明が得られる。
三平方の定理による導出.
第二余弦定理は、三平方の定理を利用すれば、三角法の定理（正弦定理や第一余弦定理など）を使わずに導出することができる。ただし垂線を引くので の 1つの内角と 90度の大小関係で場合分けする必要がある。
 において、 の場合、 から直線 に下ろした垂線の足を とすると、 であり、 に三平方の定理を使えば
となる。
 が鈍角の場合は、「」となるが、「」となることに変わりはなく、この場合も上記の式が導出される。
ユークリッド原論にみる原型.
ユークリッド原論第1巻命題47においてピタゴラスの定理が示され、第2巻の最初の方では
などの二次式の関係が図形問題として述べられる。
それらを背景として第二余弦定理とほぼ同等な命題が現れる。しかし三角関数が無かった時代のものなので、現代のように角度と辺の長さの関係として捉えられていたわけではない。余弦が明示的に使われているわけではなく、特定の辺の長さを現代的に余弦を用いて表現すると一致するという意味である。同じ意味で第一余弦定理
に対応するものも考えてみると、 から に下ろした垂線の足を としたとき、辺 の長さは と の長さの和ということを示しているだけの定理なので、三角形の辺の長さの関係を表し、特に第一余弦定理を表しているといえる命題といったものはユークリッド原論の中にはない。敢えて言えば、三角形ではなく線分の内分、外分に関する命題ということになる。
第2巻命題12.
ユークリッド原論第2巻命題12では、鈍角三角形の鈍角に対応する第二余弦定理がピタゴラスの定理を用いて示されている。現代的に書けば
 のとき から に下ろした垂線の足を とする。 は線分 上ではなく を の方へ延長した半直線上にある。 として と にピタゴラスの定理を適用すると
となり
となる。
余弦関数を用いた表現では、鈍角に対する余弦が負になることに注意すれば である。
第2巻命題13.
ユークリッド原論第2巻命題13では、鋭角三角形に対する第二余弦定理が示されている。
 において、 から に下ろした垂線の足を とし、 とする。
第2巻命題7で示されている
という関係を使うことで
 と にピタゴラスの定理を使って
となる。
余弦関数を用いた表現では である。
ベクトルの内積による導出.
三角形の辺の長さをベクトルの内積で表し計算すれば、第二余弦定理は自然なものとなる。