「解析学基礎/三角関数」の版間の差分
(相違点なし)
|
2025年1月22日 (水) 15:18時点における最新版
ここでは、三角関数について解説する。
高等学校数学I/図形と計量及び高等学校数学II/三角関数も参照。
基本事項
ここでは、高校数学の「三角関数」で学習した事項を再確認すると共に、高校では触れなかった幾つかの概念を補完する。また、高等学校とは違う流儀で解説する箇所もある。
三角比
まずは素朴な定義を紹介する。
直角三角形ABCを考える。角Cが直角であるとき、角Aをとおく。このとき、三角形の直角に対向する辺ABをテンプレート:Ruby、角Aに対向する辺BCをテンプレート:Ruby、残りの辺CAをテンプレート:Rubyという。斜辺をr、対辺をy、隣辺をxとおくと、三角比は以下のように定義される。
- テンプレート:Ruby:(sinは「sine」の略)
- テンプレート:Ruby:(cosは「cosine」の略)
- テンプレート:Ruby:(tanは「tangent」の略)
- テンプレート:Ruby:(cotは「cotangent」の略)
- テンプレート:Ruby:(secは「secant」の略)
- テンプレート:Ruby:(cscは「cosecant」の略)
は三角形の内角なので、定義域は当然である。のときはcsc・cot、のときはsec・tanがそれぞれ定義不能になる(ゼロ除算が発生するため)。
それぞれの定義から、以下の公式が導かれる。
また、テンプレート:Ruby()に対して正弦・正接・正割を定義すると、以下が成り立つことがわかる。(余角の公式)
余弦・余接・余割の「余」はここからきている。英語の「co-」は「補」という意味の接頭辞なので、和名と英語名がある程度対応していることがわかる。
逆に、余角に対して余弦・余接・余割を定義すると以下が成り立つ。(余角の公式)
最低限これを覚えておけば、他の公式で使いたい値を導き出すことができる。
また、三角比では値を必ずしも有理化する必要はない。
一般角・弧度法
一般の(実)三角関数を考える前に、角の概念を拡張する。
平面上で点Oを中心として半直線OPを回転させるとき、OPをテンプレート:Ruby、その最初の位置を示す半直線OXをテンプレート:Rubyという。
動径が左回転のときの回転角を正の角、右回転のときの回転角を負の回転角と定める。
このようにして、角を回転の向きと大きさを表す量として拡張したものを一般角という。一般角に対して始線OXから角だけ回転した位置にある動径OPをθの動径という。動径は一周(360°回転)すると元の場所に戻ることから、動径の一致する角を動径の表す角という。動径の表す角θのうち、またはの範囲にあるものを偏角という。
半径1の扇形において、孤の長さがであるときの角度をと定める。「rad」は「ラジアン」と読むが、無次元量なので特に断りがない限り省略することとする。このようにして角度を定める方法をテンプレート:Rubyという。今まで用いてきた、一周を360°とする角度の定め方はテンプレート:Rubyという。角度θに対する弧長をと書く場合があるが、弧度法においては常にである。
円周長の公式よりであるが、一周を表す弧度の係数が2なのは気持ち悪いので、と定めてテンプレート:Rubyを用いることにする。則ち、である。
弧度法から度数法への変換は上の関係式を用いてできる。
偏角をαとしたとき、弧度法を用いると動径の表す角は(は整数)と表せる。
三角関数
xy平面上で原点Oを中心とする半径rの円を考える。円上の点A(x, y)からx軸に下ろした垂線の足をBとする。このとき、とすると直角三角形AOBを考えることにより先ほどと同様の三角比の定義ができる。ただし、先程とは違い定義域は実数全体である(ゼロ除算が発生する場合を除く)。
三角比はのみに依存するため、の関数である。関数を正弦関数、以下余弦関数、正接関数、余接関数、正割関数、余割関数という。6つを総称して三角関数(円関数とも)という。後ろの3つは前の3つの逆数であることから特に割三角関数と呼ばれる。
半径1(単位円)の場合を考えると、が常に成り立つ。
単位円の図を書くことにより、以下が直ちに導かれる。
- の値域:
- の値域:
- の値域:
- の値域:
- の値域:
- の値域:
より以下が導かれる。(ピタゴラスの基本三角関数公式)
- 但し、三角関数についてであることに注意。(通常の関数とは異なり、ではない。)
両辺をで割るとそれぞれ以下を得る。
単位円の図から、以下の公式が導かれる。(テンプレート:Rubyの公式・テンプレート:Rubyの公式)
ここから、正弦関数・正接関数が奇関数、余弦関数が偶関数であることがわかる。
また、動径の周期性より以下が成り立つ。
更に、以下の公式が成り立つ。
これらの公式は後述の加法定理を用いることで容易に証明できる。
正弦関数・余弦関数のグラフは下のように特徴的なカーブを描く。これを正弦曲線(サインカーブ)という。

正接関数のグラフは以下のようになる。

漸近線は直線(nは整数)
先程の公式とグラフの双方から、正弦関数と余弦関数の周期は、正接関数の周期はであることがわかる。
三角関数に代入するをに変えると、周期は倍される。
加法定理
回転行列をとする。
θだけ回転してからφだけ回転するのとθ+φだけ回転するのは同じ操作なので、
- rhs
- lhs
(1,1)成分と(2,1)成分を見ると、以下が成り立つことがわかる。ただし、複合同順である。(三角関数の加法定理)
(上の式)/(下の式)を考えると、簡単な式変形により以下を得る。
上の3つの式の逆数をとることで割三角関数の加法定理を得る。
を考えることで倍角の公式を得る。
3倍角まではよく使うので、自然に覚えるだろう。
2倍角の式を変形することで、以下を得る。(半角の公式)
加法定理の式の和や差を考えることで、以下を得る。(積和の公式)
更に変形することで以下を得る。(和積の公式)
三角関数の和について、実数平面上に点をとる。
このとき、Pが半径の円周上にあると考えてと変形したとき、線分OPを動径とみた回転角をとおくとが成り立つ。よって、加法定理の逆よりである。
このように、正弦と余弦の和を正弦関数で表すことを正弦合成という。
平面上にとる点をに変えたとき、動径OQの回転角をとおくと同様にしてを得る。
このように、正弦と余弦の和を余弦関数で表すことを余弦合成という。
合成した式は加法定理で展開すると元に戻る。
動径の回転角の値は、三角方程式を解くことにより簡単に求まる。
その他の三角比
点Oを中心とする単位円において、始線をOD、動径をOA、とする。
AからODに下ろした垂線の足をCとすると、三角関数の定義よりである。
半直線ODと点Aにおける単位円の接線の交点をとすると、の正接について考えることでであることがわかる。これが「正接」という名の由来である。
また、よりが導かれる。が円の割線であることが「正割」という名前の由来である。
点OからOEに垂直な直線を引き、直線AEとの交点をFとする。このとき、二角相等より ∽ なのでであり、と求まる。
についてより、 である。
これにて、6つの三角比を単位円の図に図示することができた。
三角比は更に幾つか存在する。
嘗て重要視された三角比として、テンプレート:Rubyとテンプレート:Rubyがある。
それぞれの定義は以下である。
- 正矢:(versinは「versed sine」の略)
- 余矢:(cvsは「coversed sin」の略)
線分OFと単位円の交点をHとすると、である。
正弦・余弦・正接・余接・正割・余割・正矢・余矢の8つの三角比は日本では八線と呼ばれ、値を記した数表が作られたり伊能忠敬が測量の計算に用いたりした。
なお、曲率をr、弧長をθとすると曲線のテンプレート:Ruby(やだか、円弧の高さ、弦と弧の最長距離を表す)はと表される。また、単振り子の回転角をθとするとその位置エネルギーはである。
あまり使われないが以下のような三角比も定義されている。
- (vercosは「versed cosine」の略)
- (cvcは「coversed cosine」の略)
の値域はであったため、実際には半分にした値が数表・計算に用いられていた。
- (havは「half versed sine」の略)
- (hcvは「half coversed sine」の略)
- (havercosは「half versed cosine」の略)
- (hacovercosは「half coversed cosine」の略)
更に、以下のような三角比も存在する。
- (exsecは「exterior secant」の略)
- (excscは「exterior cosecant」の略)
中心角θ、半径Rの扇形の端点における二本の接線の交点と弧との距離はと表される。この式は鉄道のレールを敷設する際に利用された。
先程の単位円においてはである。
中心角θに対する弦の長さをと書き、三角比のように扱った時代もあった。(crdは「chord」の略。)
これらの三角比は計算機の無かった時代、三角関数表を用いて大量に手計算をする必要があった時代に需要があったものである。何れも正弦・余弦・正接を用いて簡単に表せるため、現在は関数電卓やコンピュータの発達により態々これらの関数を定義したり各関数の数表を利用する必要は無くなった。(余接・正割・余割も高校範囲から消え、大学においても活躍の機会が減りつつある)。
最後に、単位円と各関数に対応する辺の図を載せる。

解析的な取り扱い
逆三角関数
三角関数の逆関数を逆三角関数という。三角関数の周期性からわかるように三角関数は単射でなく、逆三角関数は多価関数であるので、通常は定義域を制限する。
逆三角関数の記法は二通りある。
- 一つは、通常の関数のようにインバースを用いて書く記法である。三角関数においてはなのでは三角関数の逆数なのか逆関数なのか分かりづらいという問題がある。しかし、正弦・余弦・正接の逆数を余割・正割・余接で表すことで区別することができ、更に多価関数の定義域を制限していることを強調するために1文字目を大文字にする流儀(例:)を採用すると誤解の可能性を更に減らすことができる。
- もう一つは、逆三角関数で出力の出力値が角度であることと弧度法において常にであることから、関数の前に「arc」という接頭辞をつける記法である。記述量が増えるというデメリットはあるが、こちらを採用するとインバース記法のような誤解の可能性は0である。なお、コンピュータプログラミング等では「arc」を「a」と省略した記法も見られる。
このページでは、接頭辞を用いる記法を採用する。
通常、定義域と主値の終域は以下のように設定される。
| 関数 | 定義域 | 主値の終域 |
|---|---|---|
| or | ||
| or |
三角関数に逆三角関数を代入すると以下のようになる。ただし、である。
| 図 | ||||
|---|---|---|---|---|
逆三角関数に関して、以下の公式が成り立つ。
- 余角:
- 負角:
- 逆数:
また、正接の加法定理より以下が導かれる。
三角関数の極限
三角関数の微積分
三角関数のテイラー展開
複素三角関数
複素解析学も参照。