ここでは、三角関数について解説する。
高等学校数学I/図形と計量及び高等学校数学II/三角関数も参照。
このページ「
解析学基礎/三角関数」は、
まだ書きかけです。加筆・訂正など、協力いただける皆様の
編集を心からお待ちしております。また、ご意見などがありましたら、お気軽に
トークページへどうぞ。
ここでは、高校数学の「三角関数」で学習した事項を再確認すると共に、高校では触れなかった幾つかの概念を補完する。また、高等学校とは違う流儀で解説する箇所もある。
まずは素朴な定義を紹介する。
直角三角形ABCを考える。角Cが直角であるとき、角Aを
とおく。このとき、三角形の直角に対向する辺ABを斜辺、角Aに対向する辺BCを対辺、残りの辺CAを隣辺という。斜辺をr、対辺をy、隣辺をxとおくと、三角比は以下のように定義される。
- 正弦:
(sinは「sine」の略)
- 余弦:
(cosは「cosine」の略)
- 正接:
(tanは「tangent」の略)
- 余接:
(cotは「cotangent」の略)
- 正割:
(secは「secant」の略)
- 余割:
(cscは「cosecant」の略)
は三角形の内角なので、定義域は当然
である。
のときはcsc・cot、
のときはsec・tanがそれぞれ定義不能になる(ゼロ除算が発生するため)。
それぞれの定義から、以下の公式が導かれる。






また、余角(
)に対して正弦・正接・正割を定義すると、以下が成り立つことがわかる。(余角の公式)



余弦・余接・余割の「余」はここからきている。英語の「co-」は「補」という意味の接頭辞なので、和名と英語名がある程度対応していることがわかる。
逆に、余角に対して余弦・余接・余割を定義すると以下が成り立つ。(余角の公式)



有名角における三角比の値
 |
 |
|
 |
 |
|
 |
 |
|
 |
 |
|
 |
 |
|
 |
 |
|
最低限これを覚えておけば、他の公式で使いたい値を導き出すことができる。
また、三角比では値を必ずしも有理化する必要はない。
一般の(実)三角関数を考える前に、角の概念を拡張する。
平面上で点Oを中心として半直線OPを回転させるとき、OPを動径、その最初の位置を示す半直線OXを始線という。
動径が左回転のときの回転角を正の角、右回転のときの回転角を負の回転角と定める。
このようにして、角を回転の向きと大きさを表す量として拡張したものを一般角という。一般角
に対して始線OXから角
だけ回転した位置にある動径OPをθの動径という。動径は一周(360°回転)すると元の場所に戻ることから、動径の一致する角を動径の表す角という。動径の表す角θのうち、
または
の範囲にあるものを偏角という。
半径1の扇形において、孤の長さが
であるときの角度を
と定める。「rad」は「ラジアン」と読むが、無次元量なので特に断りがない限り省略することとする。このようにして角度を定める方法を弧度法という。今まで用いてきた、一周を360°とする角度の定め方は度数法という。角度θに対する弧長を
と書く場合があるが、弧度法においては常に
である。
円周長の公式より
であるが、一周を表す弧度の係数が2なのは気持ち悪いので、
と定めてτを用いることにする。則ち、
である。
弧度法から度数法への変換は上の関係式を用いてできる。
偏角をαとしたとき、弧度法を用いると動径の表す角は
(
は整数)と表せる。
xy平面上で原点Oを中心とする半径rの円を考える。円上の点A(x, y)からx軸に下ろした垂線の足をBとする。このとき、
とすると直角三角形AOBを考えることにより先ほどと同様の三角比の定義ができる。ただし、先程とは違い定義域は実数全体である(ゼロ除算が発生する場合を除く)。
三角比は
のみに依存するため、
の関数である。関数
を正弦関数、以下余弦関数、正接関数、余接関数、正割関数、余割関数という。6つを総称して三角関数(円関数とも)という。後ろの3つは前の3つの逆数であることから特に割三角関数と呼ばれる。
半径1(単位円)の場合を考えると、
が常に成り立つ。
単位円の図.
単位円の図を書くことにより、以下が直ちに導かれる。
の値域:![{\displaystyle [-1,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e3b7f14a6f70e614728c583409a0b9a8b9de01)
の値域:![{\displaystyle [-1,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e3b7f14a6f70e614728c583409a0b9a8b9de01)
の値域:
の値域:
の値域:![{\displaystyle (-\infty ,-1]\cup [1,\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e3448e2de68557e598967fb8b1f8900260c4a64)
の値域:![{\displaystyle (-\infty ,-1]\cup [1,\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e3448e2de68557e598967fb8b1f8900260c4a64)
より以下が導かれる。(ピタゴラスの基本三角関数公式)

- 但し、三角関数
について
であることに注意。(通常の関数とは異なり、
ではない。)
両辺を
で割るとそれぞれ以下を得る。


単位円の図から、以下の公式が導かれる。(負角の公式・補角の公式)






ここから、正弦関数・正接関数が奇関数、余弦関数が偶関数であることがわかる。
また、動径の周期性より以下が成り立つ。



更に、以下の公式が成り立つ。






これらの公式は後述の加法定理を用いることで容易に証明できる。
正弦関数・余弦関数のグラフは下のように特徴的なカーブを描く。これを正弦曲線(サインカーブ)という。
正接関数のグラフは以下のようになる。
漸近線は直線
(nは整数)
先程の公式とグラフの双方から、正弦関数と余弦関数の周期は
、正接関数の周期は
であることがわかる。
三角関数の引数
を
倍すると、周期は
倍される。
回転行列を
とする。
θだけ回転してからφだけ回転するのとθ+φだけ回転するのは同じ操作なので、



(1,1)成分と(2,1)成分を見ると、以下が成り立つことがわかる。ただし、複合同順である。(三角関数の加法定理)


(上の式)/(下の式)を考えると、簡単な式変形により以下を得る。

上の3つの式の逆数をとることで割三角関数の加法定理を得る。
を考えることで倍角の公式を得る。






3倍角まではよく使うので、自然に覚えるだろう。
2倍角の式を変形することで、以下を得る。(半角の公式)



加法定理の式の和や差を考えることで、以下を得る。(積和の公式)

更に変形することで以下を得る。(和積の公式)

三角関数の和
について、実数平面上に点
をとる。
このとき、Pが半径
の円周上にあると考えて
と変形したとき、線分OPを動径とみた回転角を
とおくと
が成り立つ。よって、加法定理の逆より
である。
このように、正弦と余弦の和を正弦関数で表すことを正弦合成という。
平面上にとる点を
に変えたとき、動径OQの回転角を
とおくと同様にして
を得る。
このように、正弦と余弦の和を余弦関数で表すことを余弦合成という。
合成した式は加法定理で展開すると元に戻る。
動径の回転角の値は、三角方程式
を解くことにより簡単に求まる。
とおく(ワイエルシュトラス置換)と、2倍角の公式より三角関数の媒介変数表示を得る。




割三角関数の媒介変数表示は各関数の逆数を考えれば得られる。
点Oを中心とする単位円において、始線をOD、動径をOA、
とする。
AからODに下ろした垂線の足をCとすると、三角関数の定義より
である。
半直線ODと点Aにおける単位円の接線の交点を
とすると、
の正接について考えることで
であることがわかる。これが「正接」という名の由来である。
また、
より
が導かれる。
が円の割線であることが「正割」という名前の由来である。
点OからOEに垂直な直線を引き、直線AEとの交点をFとする。このとき、二角相等より
∽
なので
であり、
と求まる。
について
より、
である。
これにて、6つの三角比を単位円の図に図示することができた。
三角比は更に幾つか存在する。
嘗て重要視された三角比として、正矢と余矢がある。
それぞれの定義は以下である。
- 正矢:
(versinは「versed sine」の略)
- 余矢:
(cvsは「coversed sin」の略)
線分OFと単位円の交点をHとすると、
である。
正弦・余弦・正接・余接・正割・余割・正矢・余矢の8つの三角比は日本では八線と呼ばれ、値を記した数表が作られたり伊能忠敬が測量の計算に用いたりした。
なお、曲率をr、弧長をθとすると曲線の矢高(やだか、円弧の高さ、弦と弧の最長距離を表す)は
と表される。また、単振り子の回転角をθとするとその位置エネルギーは
である。
あまり使われないが以下のような三角比も定義されている。
(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
|
三角関数に逆三角関数を代入すると以下のようになる。ただし、
である。
|
|
|
|
図
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
逆三角関数に関して、以下の公式が成り立つ。
- 余角:



- 負角:






- 逆数:








また、正接の加法定理より以下が導かれる。

三角関数の極限を扱ううえで最も重要な式
(基本極限)を(天下り的だが)証明する。
二階線型常微分方程式
の解となる関数
を考える。
と定める。この初期値に於いて、与えられた二階線型常微分方程式の解が一意に定まることはw:ピカール=リンデレーフの定理の定理により示される。こうして定義された三角関数がこれまで述べた基本性質(及び幾何的性質)を満たすことは容易に証明される。
は係数が全て
級(無限回微分可能)な線型常微分方程式の解なので
級である。よって関数
は
で微分可能、すなわち連続である。
ここで微分係数の定義より
であるが、
だとすると初期値
より、
が成り立つ。//
この証明では
を用いずとも微分係数が1であることを用いれるのがポイントである。なお、後述の定積分による定義やテイラー展開を用いて証明する方法も考えられ、高校数学の範疇で証明することも可能である。
上で求めた極限値を用いることで、正弦関数の導関数を求めることができる。

(
和積の公式)

(
各項が収束)


余弦関数、正接関数の導関数は以下のように求まる。

(
合成関数の微分)



(
商の微分)




正接関数と同様の方法で、正割関数、余割関数、余接関数の導関数も求まる。


















逆三角関数の導関数は以下のように求まる。
![{\displaystyle y=\arcsin x\iff x=\sin y\quad (y\in [-{\frac {\tau }{4}},{\frac {\tau }{4}}])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a9a1c24caab896476d17696ec45a1ec4feb5c81)



![{\displaystyle y=\arccos x\iff x=\cos y\quad (y\in [0,{\frac {\tau }{2}}])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5bc0b0589af4d2949f44d065b57354468eda9bf)



![{\displaystyle y=\arctan x\iff x=\tan y\quad (y\in [-{\frac {\tau }{4}},{\frac {\tau }{4}}])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a53a2befd5df1423356825ebdad86a3e1bd233f)



(
逆三角関数の逆数公式)



(
)
(
逆三角関数の逆数公式)



(
)
![{\displaystyle y=\operatorname {arccot} x\iff x=\cot y\quad (y\in [0,{\frac {\tau }{2}}])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ce4a6b11cd99581747b2c4d88ca8041bfac3649)



三角関数の第n次導関数は以下のような形で表される。


(ただし
は再帰関係式
と初期条件で定まるタンジェント数)
上で述べた各関数の微分公式から以下の積分公式を得る(ただし、定義域・積分区間・定数項に注意)。


が成り立つ範囲
が成り立つ範囲
が成り立つ範囲
が成り立つ範囲






※逆三角関数に関する上の定積分を三角関数の定義とする流儀も存在する。この流儀を採用した場合、三角関数は双曲線関数とともにヤコビの楕円関数の特殊な場合として統一的に扱われる。
を積分定数とすると、各関数の原始関数は以下のように得られる。




- ここで
より
※なので

- ※
のとき積分の値は存在しない。








なお、余割関数の積分にはワイエルシュトラス置換(
)、逆正割関数の積分にはオイラー置換(
)を用いた。
更に、以下が成り立つ(証明は初等数学公式集/微積分を参照)。





三角関数の有名な積分結果として、ウォリス積分が知られている。

導出法を簡単に説明する。
- 左辺を
とおいて2回部分積分すると、階比数列型漸化式
を得る。
を求め、
で場合分けしてそれぞれについて漸化式を繰り返し計算して
を求める。
最右辺の記号
はw:二重階乗を表す。
近似式の次数を上げていくことを考える。
近似式ではある関数を任意次の多項式で近似している。精度よく近似するために、例えば
近傍で近似したいときは、
における「関数の値」「接線の傾き」「曲率」・・・が一致するようにしたい。故に、n次で近似したいなら0~n階微分した微分係数が全て一致するようにしたい。よって、n次の項の係数には
が含まれる。また、a近傍で多項式近似するのでn次の項に
を含む。故に、n次の項をn階微分して出てくる
を打消すために近似多項式全体を
で割る。
これを踏まえて、n次近似式のn次の項は
と予想できる。故に、n次近似式全体は
と考えられる
。一次近似式・二次近似式はこの形である。そのため、近似式のこの拡張は妥当であると判断する。
このn次多項式の次数を無限に大きくした(
)とき、この多項式の極限は元の関数に一致する。

これを関数のテイラー展開という。右辺の無限級数をテイラー級数という。
は任意の実数であるので、扱いやすくするため0に置き換えてもよい。

これを特に関数のマクローリン展開という。右辺の無限級数をマクローリン級数という。
無限級数の扱いや収束条件については別頁に譲るが、テイラー級数やマクローリン級数のように、冪関数の線型結合で表される無限級数
(
は
に無関係な無限数列)を冪級数という。また、定数
を冪級数の中心という。
三角関数のテイラー展開を考える。
正弦関数と余弦関数のテイラー展開がわかれば他の関数はその商で得られる。ここで「無限級数の商を考えてよいのか」という疑問が湧くだろうが、テイラー級数は絶対収束(別頁参照)するので分母が0にならなければ商を考えてよい。
よって、正弦関数と余弦関数のみについて考える。
に注意すると、


とマクローリン展開できる。
逆三角関数のマクローリン展開は以下のように導出される。

- 被積分関数のマクローリン展開を考えると、一般二項係数の性質※より

- よって、
(
被積分関数が一様収束より積分操作と総和をとる操作を交換しても良い)
![{\displaystyle =\sum _{n=0}^{\infty }{\frac {{}_{2n}\!\mathrm {C} _{n}}{4^{n}}}\left[{\frac {t^{2n+1}}{2n+1}}\right]_{0}^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36057fa209fe835c28ea67ee56bbf46451cf605d)
//
被積分関数のマクローリン展開を積分するという通常のマクローリン展開とは異なる方法で導出したが、最終的に求まった式はマクローリン展開の一般式を満たし、これは逆正弦関数のマクローリン展開といってよい。マクローリン展開の一般式に
を代入しても求まるが、そちらは非常に煩雑な手順を踏む必要がある。
※具体的には、
という変形を用いた。
より、
//
これもマクローリン展開の一般式を満たすため逆余弦関数のマクローリン展開である。



これも(以下略)。








三角関数のマクローリン展開を用いた定義による各性質の証明は以下の節に記す。
複素解析学も参照。
三角関数のテイラー展開をそのまま三角関数の定義と見做すことで、三角関数の定義域を複素数に拡張することができる。
一般に関数のテイラー展開をその関数の定義と見做すことで、定義域を実数から更に拡張したり演算子に関する関数や行列値関数を形式的に定義することができる。
つまり、複素三角関数は以下のように定義される。


ここで、この複素冪級数の収束半径は
であることから、収束半径の定義より右辺は複素数平面上の全ての点
において絶対収束することが保証される。
また、これらの値域は任意の複素数である。
一般に、複素関数は非常に強く美しい性質を持つことが知られている。
他の複素三角関数は以下のように定義される。




このように定義された三角関数が先述した基本性質を満足することを以下に証明する。
は任意の複素数なので、

- を証明すれば充分。



![{\displaystyle =\sum _{n=0}^{\infty }\sum _{k=0}^{n}\left[{\frac {(-1)^{n}z^{2k+1}w^{2(n-k)}}{(2k+1)!(2(n-k))!}}+{\frac {(-1)^{n}z^{2k}w^{2(n-k)+1}}{(2k)!(2(n-k)+1)!}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67eaa8f746b529d5c98f719f300f43b9f754c6e3)


//



![{\displaystyle =\sum _{n=0}^{\infty }\sum _{k=0}^{n}\left[{\frac {(-1)^{n}z^{2k}w^{2(n-k)}}{(2k)!(2(n-k))!}}+{\frac {(-1)^{n}z^{2k+1}w^{2(n-k)+1}}{(2k+1)!(2(n-k)+1)!}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/206436ab8cbdd606f7e590d1f1c7931199d06c5b)


//
加法定理から余角・不角・補角・倍角・積和・和積の公式、周期性、合成も実関数の場合と同様に証明される。
- 半角の公式を用いて
//
- 極限



のとき第二項以降は明らかに
に収束するので、
//
なお、
が成り立つためには
と定義されなくてはいけない。
は通常
と不定形であるが、実は解析学の文脈で(特に級数を扱うとき)は
と定義した方が合理的な場合が多い。
微分・積分公式の証明は実関数の場合と同様、この極限を基になされる。
以上により、無限級数により定義された三角関数が三角関数の基本性質を満たし、且つ複素数範囲でも基本性質が成り立つことを確認できた。
テイラー級数は収束半径が
なので、任意の
に関して絶対収束する。
のテイラー展開を考えると、

(
絶対収束より和の順番を入れ替えてよい)


この関係式、
をオイラーの公式という。また、
を代入して移項した
をオイラーの等式という。
オイラーの等式は世界一美しい数式として有名である。理由は、加法単位限の0、乗法単位元の1、幾何学の基礎定数
、代数学の基礎定数
、解析学の基礎定数
が一堂に会する式だからである。
オイラーの公式を幾何学的に解釈する。高等学校数学C/複素数平面で扱ったように、
は回転行列
に対応する回転複素数を表す。つまり、
は点
を原点中心に
回転した点を表す。
を考えると、
は基本ベクトル
の
回転を表す。
ここでオイラーの等式に立ち戻ると、
よりも
の方が美しいのではないか、という視点が見えてくる。
は「点1から単位円周上を半回転して実軸正方向に1進むと原点に戻る」ことを表すが、
は「点1から単位円周上を一回転すると点1に戻る」ことを表す。後者の方が美しいと感じるのは自然なことではないか。
閑話休題、オイラーの公式を用いることでド・モアブルの定理が容易に証明される。
//
先程も述べたように、点
は
を原点中心に
回転させた点を表す。そのため、
を
のように書くことがある。
また、
を略して
と、三角関数のように書くこともある。この関数
は
の肩が純虚数であることに由来して純虚指数関数と呼ばれる。
纏めると、
である。
これらは全て複素数の極形式(フェーザ表示)に用いられる。
の極形式は、

- 但し

の和・差を考えることで、(実)三角関数の(複素)指数関数表示を得る。


これを三角関数の定義とする場合もある。先ほどの複素三角関数における加法定理の証明は、
を用いた方が簡便である。