「三角関数」の基本的な定理とその有用性を再確認してみませんか（その１）－正弦定理、余弦定理、正接定理

はじめに

大分以前になってしまったが、以前の研究員の眼「「三角関数」って、何でしたっけ？－sin(サイン)、cos(コサイン)、tan(タンジェント)－」（2020.9.8）で、「三角関数」の定義について、紹介した。また、研究員の眼「数学記号の由来について（7）－三角関数（sin、cos、tan等）－」(2020.10.9)では、三角関数の記号（sin、cos、tan等）の由来について紹介した。

今回と次回の研究員の眼では、「三角関数の性質」として、高校時代に学んだいくつかの公式や定理等について、その有用性を含めて、紹介したいと思う。

「三角関数」と言われると、つい学生時代に試験問題で悩まされたことを思い出して、嫌悪感を抱いてしまう人も多いと思われるが、この時に学んだ各種の公式や定理がどんな意味を有していて、どのように有用なのかを知ることで、少しはこうした苦手意識を緩和して、三角関数を見直していただければと思っている。

ピタゴラスの定理

まずは、「ピタゴラスの定理」である。これは、多くの皆さんがご存じの通り、「直角三角形において、長辺の二乗の和が、他の2辺の二乗の和に等しい」というものである。算式で示せば、「直角三角形の3辺の長さをa（長辺）、b、cとした時に、a²=b²＋c² が成り立つ」というものである。

これから、以下の「ピタゴラスの基本三角関数公式」が成り立つことがわかる。

右図の三角形において、sinθ＝b／a、cosθ＝c／a、tanθ＝c／b

であることから、

sin²θ＋cos²θ＝（b／a）²＋（c／a）²＝（b²+c²）／a²＝１

が成り立つことになる（これは、右図の三角形でa=1 の場合に、sinとcosの定義を考えれば明らかである）。

従って、また以下の算式が成り立つことになる。

このように、sin、cos、tan　というのは、互いに独立なものではない。角度θが決まっていれば、もちろんsin、cos、tanを算出することができるが、一方でθの値が不明でも、sin、cos、tanのどれか１つの値が定まると、他の値も上記の算式等を用いて求めることができることになる。

この「ピタゴラスの定理」は、ギリシアの数学者のターレスが三角比を用いてピラミッドの高さを測定したように、建物の高さを測定する時に利用される。

余弦定理

「余弦定理」というのは、「三角形の3辺の長さをa、b、c、それぞれの辺に対峙する角度をα、β、γとした時に、以下の算式が成り立つ」というものである。

即ち、これは「三角形の2辺の長さとその2辺で形成される角度が与えられた時に、残りの辺の長さを求める」ものとなる。「余弦」というのは、「cos(cosine)」のことを言うが、上記の算式でわかるようにcos（余弦）が主たる役割を果たしていることから、「余弦定理」と呼ばれている。

これは、いわゆる「ピタゴラスの定理」を一般化したものとなっている。即ち、「余弦定理」における特殊なケースが「ピタゴラスの定理」ということになる。つまり、「ピタゴラスの定理」は、直角三角形のケースの定理であるが。「余弦定理」は一般の三角形のケースに当てはまる定理ということになる。

　「余弦定理」は、例えば、以下のように証明される。

［証明］
右図のように、∠CABが鋭角のケースを考える（大学の入試問題の解答としては、∠CABが直角や鈍角のケースも含めて場合分けして証明しなければ及第点はもらえないが、以下では鋭角のケースのみを示している。以下、同様）。

直角三角形CHBにおいて、BH＝c―b cosαであることから、ピタゴラスの定理により、

a²＝（b sinα）²＋（c―b cosα）²
＝ b²sin²α＋c²―2bc cosα＋b² cos²α
＝ b²（sin²α＋cos²α）＋c²―2bc cosα
　＝ b²＋c²―2bc cosα

なお、「余弦定理」と呼ばれているものには、「第一余弦定理」と「第二余弦定理」があり、通常「余弦定理」と呼ばれている上記の定理は、このうちの「第二余弦定理」のことを指している。

因みに「第一余弦定理」は、以下のものであり、「三角形の２辺とそれらに対峙する角の角度がわかっているときに、もう 1 辺の長さが決まる」というものである。

これが正しいことは、例えば三番目の式については、上記の「第二余弦定理」の証明のプロセスで使用した図をみていただければお分かりいただけるものと思われる。

この「余弦定理」は、例えば、途中に障害物がある場合の2つの地点AとBの間の距離を測定する場合に、別の地点Cを選定して、AC及びBC間の距離と∠ACBの角度を測定することで、AB間の距離を求める場合に利用できる。

正弦定理

「正弦定理」と言われるものは、「三角形の3辺の長さをa、b、c、それぞれの辺に対向する角度をα、β、γとした時に、以下の算式が成り立つ」というものである。「正弦」とはsin（sine）のことを言うが、以下の算式でわかるようにsins（正弦）が主たる役割を果たしていることから、「正弦定理」と呼ばれている。

これは、「三角形の1辺の長さとその両端の２つの角度から、他の2辺の長さを求める」ものである。さらに、この三角形の外接円¹の半径をRとすると、以下の算式が成り立つ。

このうち、先の算式の証明は、以下の通りとなる。

右図のように、α＜π／2、β＜π／2　の場合を考えると

　　　　　　a sinβ＝b sinα

であるから、両辺をsinα・sinβで割ると

同様に、頂点Bから辺ACに垂線を下すことで、

が証明される。

また、後の算式は、外接円の中心Oを通る補助線を引くことで、

　　　　　　sin∠CA´B＝a／2R

となるが、ここで「円周角の定理」²により、∠CABと∠CA´Bは等しいので

が得られる。

この「正弦定理」は、いわゆる「三角測量」と呼ばれるものに利用される。

「三角測量」は、ある基線の両端にある既知の点から測定したい点への角度をそれぞれ測定することによって、その点の位置を決定する測量方法である³。

対象物までの距離が、例えば極めて遠くにある等の理由で、測定できない場合でも、角度は対象物を見ることができれば測定できる。そのため、広範囲の地域をカバーでき、大規模測量に適している。

例えば、月等の天体までの距離についても、地球上の2地点において観測される緯度の差異から求めることができることになる。

右図において、測定対象となるCまでの距離dは、2地点AB間の距離cとA、Bにおける角度α、βを用いて、以下のように表される。

d=c×sinα・sinβ／sin（α＋β）

｛証明｝
c＝AD＋DB＝d／tanα＋d／tanβ＝d（cosα／sinα＋cosβ／sinβ）
＝d（sinα・cosβ＋cosα・sinβ）／sinα・sinβ　

ここで、次回の研究員の眼で説明する加法定理により、

sin（α＋β）= sinα・cosβ＋cosα・sinβ　であるから、上式が得られる。

三角測量は、1980年代に衛星測位システムが登場するまで、大規模精密測量に用いられてきた。

¹ 全ての三角形には、外接円（３つの頂点と接する円）が存在する。
² 「円周角の定理」は、(1)1つの弧に対する円周角は等しい、(2)その円周角はその弧に対する中心角の半分に等しい、というものである。円周上の2点A、Bを円周上の点Cと結ぶことによって形成されるのが「円周角」であり、中心Oと結ぶことによって形成されるのが「中心角」である。従って、弧ABが半円（線分ABが中心Oを通る場合、円周角は90°となる（「ターレスの定理」）。
³ これに対して、「三辺測量」は、三角網と呼ばれる非常に大きな三角形群の各辺の距離を正確に測ることにより、三角点の位置を正確に求めるものである。