← 定理辞典📖 定理辞典

正弦・余弦定理

余弦定理

三平方の定理を一般の三角形へ広げた式。c2=a2+b2−2abcos⁡Cc^2=a^2+b^2-2ab\cos C。

主張

三角形 ABC で、角 CC をはさむ2辺を aa・bb、その向かいの辺を cc とすると、c2=a2+b2−2abcos⁡Cc^2=a^2+b^2-2ab\cos C が成り立つよ。直角三角形だけで使えた三平方の定理に、−2abcos⁡C-2ab\cos C という補正項をつけて、どんな三角形でも使えるようにしたもの。「2辺とそのはさむ角」から残りの辺を、また「3辺」から角を求められる。

c2=a2+b2−2abcos⁡Cc^2 = a^2 + b^2 - 2ab\cos C
Acab
角 AA をはさむ2辺 b,cb,c と、その向かいの辺 aa。このとき a2=b2+c2−2bccos⁡Aa^2=b^2+c^2-2bc\cos A。

成り立つ条件

cos⁡C\cos C の CC は、求める辺 cc の『向かい』の角(=aa と bb ではさまれた角)であることが命。辺と角の対応をそろえれば a2=b2+c2−2bccos⁡Aa^2=b^2+c^2-2bc\cos A のようにどの角でも同じ形で書ける。角を求めたいときは cos⁡C=a2+b2−c22ab\cos C=\dfrac{a^2+b^2-c^2}{2ab} と変形して使うよ。

証明(なぜ成り立つ?)

1つの頂点から対辺へ垂線を下ろし、できた2つの直角三角形に三平方の定理を当てる(ここでは角 AA について a2=b2+c2−2bccos⁡Aa^2=b^2+c^2-2bc\cos A の形で導くよ。どの角でも同じ)。

  1. 1

    頂点 CC から対辺 ABAB に垂線 CHCH を下ろすよ。これで直角三角形が2つできる。

    ABCHbac
    頂点 CC から対辺 ABAB へ下ろした垂線 CHCH が、三角形を直角三角形 ACHACH と CHBCHB の2つに分ける。
  2. 2

    直角三角形 ACHACH に注目すると、AC=bAC=b と角 AA から次の2つがわかる。

    AH=bcos⁡A,CH=bsin⁡AAH=b\cos A,\quad CH=b\sin A
  3. 3

    すると HB=AB−AH=c−bcos⁡AHB=AB-AH=c-b\cos A。もう一方の直角三角形 CHBCHB で三平方の定理を使うと:

    a2=CH2+HB2a^2=CH^2+HB^2
  4. 4

    ここに代入して展開すると、こうなるよ。

    a2=(bsin⁡A)2+(c−bcos⁡A)2=b2sin⁡2A+b2cos⁡2A+c2−2bccos⁡Aa^2=(b\sin A)^2+(c-b\cos A)^2=b^2\sin^2 A+b^2\cos^2 A+c^2-2bc\cos A
  5. 5

    sin⁡2A+cos⁡2A=1\sin^2 A+\cos^2 A=1 を使うと b2sin⁡2A+b2cos⁡2A=b2b^2\sin^2 A+b^2\cos^2 A=b^2 にまとまる。だから次の形になる。三平方の定理に −2bccos⁡A-2bc\cos A の補正がついた式だね。

    a2=b2+c2−2bccos⁡Aa^2=b^2+c^2-2bc\cos A
  6. 6

    (∠A\angle A が鈍角で HH が ABAB の外に出るときも、cos⁡A\cos A が負になるぶんでつじつまが合い、同じ式が成り立つよ。)

逆

C=90∘C=90^\circ なら cos⁡C=0\cos C=0 なので −2abcos⁡C-2ab\cos C が消えて c2=a2+b2c^2=a^2+b^2。ちょうど三平方の定理に戻る。さらに cos⁡C\cos C の符号から、a2+b2−c2a^2+b^2-c^2 が正なら鋭角・負なら鈍角・00 で直角、と『三平方の定理の逆』の大小判定の理由まで説明できるんだ。

補足・つまずきポイント

正弦定理との使い分けがポイント。「1辺+その向かいの角」がそろうなら正弦定理、「2辺とそのはさむ角」または「3辺」なら余弦定理、と覚えておくと迷いにくい。

関連する定理

見て確かめる

言葉で読んだら、動くアニメと自分の手で確かめてみよう。

使いどころ

この定理が、実際の問題でどう効くのかを見てみよう。