三角関数

**三角関数**（さんかくかんすう、）とは、平面三角法における、角度の大きさと線分の長さの関係を記述する関数の族、およびそれらを拡張して得られる関数の総称である。鋭角を扱う場合、三角関数の値は対応する直角三角形の二辺の長さの比（**三角比**）である。三角法に由来する**三角関数**という呼び名のほかに、単位円を用いた定義に由来する**円関数**（えんかんすう、）という呼び名がある。

三角関数には以下の6つがある。なお、正弦、余弦、正接の3つのみを指して三角関数と呼ぶ場合もある。
* **正弦（せいげん）**、（）
* **余弦（よげん）**、（）
* **正接（せいせつ）**、（）
* **正割（せいかつ）**、（）
* **余割（よかつ）**、（）
* **余接（よせつ）**、（）
特にので、様々な分野で用いられる。例えば、波や信号などは正弦関数と余弦関数とを組み合わせて表現することができる。この事実はフーリエ級数およびフーリエ変換の理論として知られ、音声などの信号の合成や解析の手段として利用されている。ベクトルのクロス積や内積は正弦関数および余弦関数を用いて表すことができ、ベクトルを図形に対応づけることができる。初等的には、三角関数は実数を変数とする1変数関数として定義される。三角関数の変数に対応するものとしては、図形のなす角度や、物体の回転角、波や信号のような周期的なものにおける位相などが挙げられる。

三角関数に用いられる独特な記法として、三角関数の冪乗と逆関数に関するものがある。通常、関数  の累乗は  や  のように書くが、三角関数の累乗は  のように書かれることが多い。逆三角関数については通常の記法 () と同じく、 などと表す（この文脈では、三角関数の逆数は分数を用いて  または  のように表される）。文献または著者によっては、通常の記法と三角関数に対する特殊な記法との混同を避けるため、三角関数の累乗を通常の関数と同様にすることがある。また、三角関数の逆関数として  を添え字にする代わりに関数の頭に  を付けることがある（たとえば  の逆関数として  の代わりに  を用いる。 を付けて  と表すこともある）。

三角関数に似た性質をもつ関数として、指数関数、双曲線関数、ベッセル関数などがある。また、三角関数を利用して定義される関数としてしばしば応用されるものにsinc関数がある。

## 定義
### 直角三角形によるもの

直角三角形において、1 つの鋭角の大きさが決まれば、三角形の内角の和は であることから他の 1 つの鋭角の大きさも決まり、3 辺の比も決まる。ゆえに、角度に対して辺比（三角比）の値を与える関数を考えることができる。

 を直角とする直角三角形 ABC において、斜辺AB、 の対辺BC、底辺（隣辺）CA の辺の長さをそれぞれ  と表す（図を参照）。 に対して三角形の辺の比  が決まることから、
:\begin{align}
 \sin \theta &= \frac{a}{h} \\
\cos \theta &= \frac{b}{h} \\
 \tan \theta &= \frac{a}{b} = \frac{\sin \theta}{\cos \theta} \\
 \sec \theta &= \frac{h}{b} = \frac{1}
 {\cos \theta} \\
 \operatorname{cosec} \theta &= \csc \theta = \frac{h}{a} = \frac{1}
 {\sin \theta} \\
 \cot \theta &= \frac{b}{a} = \frac{1}
 {\tan \theta}
\end{align}
という 6 つの値が定まる。それぞれと呼び、まとめて**三角比**と呼ばれる。ただし  は長いので  と略記することも多い。

ある正角  に対する余弦、余割、余接はその角  の余角 に対する正弦、正割、正接として定義される。ここで余角とは「鋭角（正角）に対し合わせて直角となる角」を指し、この場合は 正角に対する余角はとなる。
:\begin{align}
\cos \theta &= \sin \left(90^\circ - \theta \right) = \sin \left(\frac{\pi}{2} - \theta \right)\\ 
\csc \theta &= \sec \left(90^\circ - \theta \right) = \sec \left(\frac{\pi}{2} - \theta \right)\\
\cot \theta &= \tan \left(90^\circ - \theta \right) = \tan \left(\frac{\pi}{2} - \theta \right)
\end{align}
三角比は平面三角法に用いられ、巨大な物の大きさや遠方までの距離を計算する際の便利な道具となる。角度  の単位は、通常度またはラジアンである。

三角比、すなわち三角関数の直角三角形を用いた定義は、直角三角形の鋭角に対して定義されるため、その定義域は  が 0° から 90° まで(0 から &pi; / 2 まで)の範囲に限られる。また、 の場合  が、 の場合  がそれぞれ定義されない。これは分母となる辺の比の大きさが 0 になるためゼロ除算が発生し、その除算自体が数学的に定義されないからである。一般の角度に対する三角関数を得るためには、三角関数について成り立つ何らかの定理を指針として、定義の拡張を行う必要がある。単位円による定義は初等幾何学におけるそのような拡張の例である。他に同等な方法として、正弦定理や余弦定理を用いる方法などがある。

### 単位円によるもの

2 次元ユークリッド空間  における単位円  上の点を  とする。反時計回りを正の向きとして、原点と円周を結ぶ線分  と  軸のなす角の大きさ  を媒介変数  として選ぶ。このとき実数の変数  に対する三角関数は以下のように定義される。
:\begin{align}
  \sin t &= y\\
  \cos t &= x\\
  \tan t &= \frac{y}{x} = \frac{\sin t}{\cos t}
\end{align}
これらは順に**正弦関数** 、**余弦関数** 、**正接関数** と呼ばれる。さらにこれらの逆数として以下の 3 つの関数が定義される。
:\begin{align}
  \csc t &= \frac{1}{y} = \frac{1}{\sin t}\\
  \sec t &= \frac{1}{x} = \frac{1}{\cos t}\\
  \cot t &= \frac{x}{y} = \frac{1}{\tan t}
\end{align}
これらは順に**余割関数** 、**正割関数** 、**余接関数**  と呼ばれ、 と合わせて**三角関数**と総称される。特に  は**割三角関数**（かつさんかくかんすう）と呼ばれることがある。

この定義は  の範囲では直角三角形による定義と一致する。

### 級数によるもの
角度、辺の長さといった幾何学的な概念への依存を避けるため、また定義域を複素数に拡張するために、級数（他の定義を採用した三角関数のテイラー展開に一致する）を用いて定義することもできる。この定義は実数の範囲では単位円による定義と一致する。以下の級数は共に示される収束円内で収束する。

*  を複素数、 をベルヌーイ数、 をオイラー数とする。
:\begin{align}
 \sin z &= \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} z^{2n+1}\quad \text{for all} \ z, \\
 \cos z &= \sum^{\infin}_{n=0} \frac{ \left(-1 \right)^n}{ \left(2n \right)!} z^{2n}\quad \text{for all} \ z, \\
 \tan z &= \sum^{\infin}_{n=1} \frac{ \left(-1 \right)^n 2^{2n} \left(1-2^{2n} \right) B_{2n}}{ \left(2n \right)!} z^{2n-1}\quad \text{for} \ |z| 

### 微分方程式によるもの
実関数  の二階線型常微分方程式の初期値問題

の解として  を定義し、 を  として定義できる。上記の式を 1 階の連立常微分方程式に書き換えると、 として、

および初期条件  となる。

### 他の定義
この他にも定積分による（逆三角関数を用いた）定義や複素平面の角の回転による定義などが知られている。

## 性質

### 周期性

 軸の正の部分となす角は
:t=\theta +2\pi n\quad (0\le \theta 
と表すことができ、 を偏角、 を一般角という。

一般角  が  進めば点  は単位円上を1周し元の位置に戻る。従って、
:\begin{align}
 \cos (t+2\pi n ) &= \cos t \\
 \sin (t+2\pi n ) &= \sin t
\end{align}
すなわち三角関数  は周期  の周期関数である。

ほぼ同様に、 は周期  の周期関数、 は周期  の周期関数である。

また、のグラフの形は正弦波である。

### 相互関係
単位円上の点の座標の関数であることから、三角関数の間には多数の相互関係が存在する。

#### 基本相互関係
三角関数の間に成り立つ最も基本的な恒等式の 1 つとして
:\sin^2 \theta + \cos^2 \theta = 1
が挙げられる。これは**ピタゴラスの基本三角関数公式**  と呼ばれている。

上記の式を変形して整理すれば、以下の式が導かれる。
:\begin{align}
\sec^2 \theta - \tan^2 \theta &= \frac{1}{\cos^2 \theta} - \tan^2 \theta = 1, \\
\csc^2 \theta - \cot^2 \theta &= \frac{1}{\sin^2 \theta} - \frac{1}{\tan^2 \theta} = 1.
\end{align}

#### 負角・余角・補角公式
; 負角
:\begin{align}
 \sin (-\theta ) &= -\sin\theta \\
 \cos (-\theta ) &= \cos\theta \\
 \tan (-\theta ) &= -\tan\theta
\end{align}
;余角
:\begin{align}
 \sin \left( \frac{\pi}{2} - \theta \right) &= \cos \theta \\
 \cos \left( \frac{\pi}{2} - \theta \right) &= \sin \theta \\
 \tan \left( \frac{\pi}{2} - \theta \right) &= \cot \theta 
\end{align}
;補角
:\begin{align}
 \sin (\pi - \theta ) &= \sin\theta \\
 \cos (\pi - \theta ) &= -\cos\theta \\
 \tan (\pi - \theta ) &= -\tan\theta
\end{align}

### 加法定理
以下は複号同順。
:\begin{align}
\sin (x \pm y ) &= \sin x \cos y \pm \cos x \sin y \\
\cos (x \pm y ) &= \cos x \cos y \mp \sin x \sin y \\
\tan (x \pm y ) &= \frac{\tan x \pm \tan y}{1 \mp \tan x \tan y}
\end{align}

### 証明
#### [[ピタゴラス]]の基本三角公式
三角関数および指数関数は冪級数によって定義されているものとすると、負角公式と指数法則およびオイラーの公式より
:\begin{align}1&=e^0=e^{i\theta-i\theta}=e^{i\theta}e^{-i\theta}\\
&= \left(\cos \theta+i\sin \theta \right) \left(\cos \theta-i\sin \theta \right)\\
&=\sin^2 \theta+\cos^2 \theta\end{align}
である。

#### 負角
 および  については、冪級数による表示から明らかである。また
:\tan (-\theta ) 
= \frac{\sin (-\theta )}{\cos (-\theta )}
= \frac{-\sin \theta}{\cos \theta}
= -\tan \theta
である。

#### 加法定理
オイラーの公式

と負角の公式から
:\cos z=\frac{e^{iz}+e^{-iz}}{2}, \sin z=\frac{e^{iz}-e^{-iz}}{2i}
を得て、指数法則
:e^{z+w}=e^ze^w
を用いれば  の加法定理が得られる。これらから他の三角関数についての加法定理も得られる。

また、初等幾何的な証明もある。以下では、ピタゴラスの定理を用いる証明を示す。（ただし、ピタゴラスの定理を用いない証明もある。)この方法では、円周上の任意の 2 点間の距離を 2 通りの座標系について求めることで、両者が等しいことから加法定理を導く。2 点間の距離を求めるのに三平方の定理を用いる。以下では単位円のみを取り扱うが、円の半径によらずこの方法から加法定理を得ることができる。

単位円の周上に 2 点  を取る。P と Q を結ぶ線分の長さを PQ として、その 2 乗  を 2 通りの方法で求めることを考える（右図も参照）。

P と Q の  座標の差と  座標の差から、三平方の定理を用いて  を求める。

次に  となるような座標系を取り、同様に三平方の定理から  を求める。この座標系に対する操作は、 軸および  軸を角度  だけ回転させる操作に相当するので、 となる。したがって、

となる。

 と  の右辺が互いに等しいことから、次の  に関する加法定理が得られる。

三角関数の他の性質を利用することで、 から  の加法定理なども導くことができる。

#### 不動点
cos の不動点は以下の式を満たし、ドッティ数とよばれる。
:\cos x = x \Leftrightarrow x \sim 0.739

## 微積分
三角関数の微積分は、以下の表のとおりである。ただし、これらの結果には様々な（一見同じには見えない）表示が存在し、この表における表示はいくつかの例であることに注意されたい。

なお、以下の表の  は積分定数、 は自然対数である。
:
ただし、 はグーデルマン関数の逆関数である。 ()

三角関数の微分では、次の極限
:\lim_{h\to 0} \frac{\sin h}{h} = 1
の成立が基本的である。このとき、 の導関数が  であることは加法定理から従う（が、後述のようにこれは循環論法であると指摘される）。さらに余角公式  から  の導関数は  である。すなわち、 は微分方程式  の特殊解である。また、他の三角関数の導関数も、上の事実から簡単に導ける。

### の  における極限
 の  における極限が 1 であることを証明するときに、中心角 *x* ラジアンの扇形の面積を2つの三角形の面積ではさんだり、弧長を線分の長さではさんだりして、いわゆるはさみうちの原理から証明する方法がある。これは一般的な日本の高校の教科書にも載っているものであるが、循環論法であるため論理が破綻しているという主張がなされることがある。ここで問題となるのは、証明に面積やラジアン、弧長が利用されていることである。例えば面積について言えば、面積は積分によって定義されるものであるとすると、扇形の面積を求めるには三角関数の積分が必要となる。三角関数の積分をするには三角関数の微分ができなければならないが、三角関数を微分するにはもとの極限が必要になる。このことが循環論法と呼ばれているのである。

単位円板の面積が  であることを自明な概念と考えてしまえば循環論法にはならないが、これはいくつかの決められた公理・定義から論理的演繹のみによって証明されたものだけを正しいと考える現代数学の思想とは相反するものである。循環論法を回避する方法の 1 つは、正弦関数と余弦関数を上述のような無限級数で定義するものである（これは三角関数の標準的な定義の 1 つである。また、この無限級数の収束半径は無限大である（すなわち任意の実数や複素数で収束する））。この定義に基づいて

:\lim_{x \to 0}\frac{\sin\,x}{x}=1

を示すことができる。

しかしながら、このように定義された三角関数が、本来持つべき幾何学的な性質を有しているかどうかは全く明らかなことではない。これを確かめるためには、三角関数の諸公式（周期性やピタゴラスの基本三角関数公式等）を証明し、また円周率は、余弦関数の正の最小の零点（つまり、 となる正の最小の値）の存在を示し、その 2 倍と定義する。すると、x\mapsto(\cos x, \sin x) が区間  から単位円周への（「反時計まわりの」）全単射であることを示すことができる。（連続微分可能な）曲線の長さを積分によって定義すれば、単位円周の長さが  であることなどがわかり、上のように定義された三角関数や円周率は、初等幾何での三角関数や円周率の素朴な定義と同じものであることが分かった。

## 無限乗積展開

三角関数は以下のように無限乗積として書ける。
:\begin{align}
\sin \pi z &= \pi z \prod_{n=1}^{\infty}{\left(1-\frac{z^2}{n^2} \right)} \\
\cos \pi z &= \prod_{n=1}^\infty \left\{ 1-\frac{z^2}{(n - \frac{1}{2})^2} \right\}
\end{align}

## 部分分数展開

三角関数は以下のように部分分数に展開される。
:\begin{align}
  \pi \cot \pi z &= \lim_{N \to \infty} \sum_{n = -N}^N \frac{1}{z + n}
  = \frac{1}{z} + \sum_{n = 1}^\infty \frac{2z}{z^2 -n^2} \\
  \pi \tan \pi z &= - \lim_{N \to \infty} \sum_{n = -N}^N \frac{1}{z + 1/2 + n}
  = -\sum_{n = 0}^\infty \frac{2z}{z^2 - (n + 1/2 )^2} \\
  \frac{\pi}{\sin \pi z} &= \lim_{N \to \infty} \sum_{n = -N}^N \frac{(-1)^n}{z + n}
  = \frac{1}{z} + \sum_{n = 1}^\infty \frac{(-1)^n 2z}{z^2 - n^2} \\
  \frac{\pi}{\cos \pi z} &= \lim_{N \to \infty} \sum_{n = -N}^N \frac{(-1)^n}{z + 1/2 +n}
  = -\sum_{n = 0}^\infty \frac{(-1)^n (2n + 1)}{z^2 - (n + 1/2 )^2}
\end{align}

## 逆三角関数

三角関数の定義域を適当に制限したものの逆関数を**逆三角関数**（ぎゃくさんかくかんすう、）と呼ぶ。逆三角関数は逆関数の記法に則り、元の関数の記号に  を右肩に付して表す。たとえば**逆**正弦関数（ぎゃくせいげんかんすう、 インバース・サイン）は  などと表す。 などの記法もよく用いられる。数値計算などにおいては、これらの逆関数はさらに  などと書き表される。
:\begin{align}
  x = \sin y &\iff y = \sin^{-1} x \\
  x = \cos y &\iff y = \cos^{-1} x \\
  x = \tan y &\iff y = \tan^{-1} x \\
  x = \cot y &\iff y = \cot^{-1} x \\
  x = \sec y &\iff y = \sec^{-1} x \\
  x = \csc y &\iff y = \csc^{-1} x
\end{align}
である。逆関数は**[[逆数]]ではない**ので注意したい。逆数との混乱を避けるために、逆正弦関数 ***' を ***' と書く流儀もある。一般に周期関数の逆関数は多価関数になるので、通常は逆三角関数を一価連続なる枝に制限して考えることが多い。たとえば、便宜的に**[[主値]]**と呼ばれる枝を
:\begin{align}
  -\frac{\pi}{2} &\le \sin^{-1} x \le \frac{\pi}{2} \\
  0 &\le \cos^{-1} x \le \pi \\
  -\frac{\pi}{2} &
のように選ぶことが多い。またこのとき、制限があることを強調するために、**** のように頭文字を大文字にした表記がよく用いられる。

## 複素関数として
 の級数による定義から、オイラーの公式  を導くことができる。この公式から下記の 2 つの等式
:\begin{align}
  \exp(iz) &= e^{iz} = \cos z + i \sin z,\\
  \exp(-iz) &= e^{-iz} = \cos z - i \sin z
\end{align}
が得られるから、これを連立させて解くことにより、正弦関数・余弦関数の指数関数を用いた表現が可能となる。すなわち、
:\begin{align}
  \cos z &= \frac{e^{iz} + e^{-iz}}{2} ,\\
  \sin z &= \frac{e^{iz} - e^{-iz}}{2i} 
\end{align}
が成り立つ。この事実により、級数によらずこの等式をもって複素数の正弦・余弦関数の定義とすることもある。また、
:\begin{align}
  \cos(iz) &= \frac{e^{-z} +e^z}{2} = \cosh z, \\
  \sin(iz) &= \frac{e^{-z} -e^z}{2i} = i\sinh z
\end{align}
が成り立つ。ここで  は双曲線関数を表す。この等式は三角関数と双曲線関数の関係式と捉えることもできる。複素数  を  と表現すると、加法定理より
:\begin{align}
  \cos z &= \cos(x + iy) = \cos x \cosh y - i \sin x \sinh y, \\
  \sin z &= \sin(x + iy) = \sin x \cosh y + i \cos x \sinh y
\end{align}
が成り立つ。

他の三角関数は , , ,  によって定義できる。

ファイル:Cos Re.png| の実部のグラフ 
ファイル:Cos Im.png| の虚部のグラフ 
ファイル:Sin Re.png| の実部のグラフ 
ファイル:Sin Im.png| の虚部のグラフ 


## 球面三角法

球面の三角形 ABC の内角を , 各頂点の対辺に関する球の中心角を  とするとき、次のような関係が成立する。余弦公式や正弦余弦公式は式の対称性により各記号を入れ替えたものも成立する。
; 正弦公式
: 
; 余弦公式
: 
; 余弦公式
: 
; 正弦余弦公式
: 

## 語源
三角関数の英語の名称の語源について記す。

sineはもとはchord-half(半弦)を意味するサンスクリット jya ̄-ardha起源であり、省略形ji ̄va ̄がアラビア語に音訳されてjibaとなった。だが1145年にチェスターのロバートがフワーリズミーのをラテン語に翻訳する際に、jaibと混同した事で胸、湾の意味のsinusと翻訳された。

tangentは”touching”を意味するラテン語tangens由来で、secantは”cutting”を意味するラテン語secans由来である。

cosine、cotangent、cosecantはそれぞれ接頭辞のco-がついた形であり、co-はと共通し、これは(直角三角形の直角でないもう一つの角、余角)に対するsine、tangent、secantという意味である。cosine、cotangentが初めて書かれた形で確認されるのは1620年のエドマンド・ガンターによる”Canon triangulorum”の中である。ラテン語のcosinusとして登場し、これはsinus complementiの略である。

日本語の正弦、余弦に関しては、徐光啓らが編纂した『崇禎暦書』の中で、が1631年に著した『測量全義』の八線のうちに見られる。「正」の漢字には、「真向かいの」「主となるもの」という意味がある。

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 
* 
*  ※ 通常の三角関数、ガンマ関数、ゼータ関数などを「多重化」した特殊関数の理論の構築。
* 黒川信重：「現代三角函数論」、岩波書店、ISBN 978-4-00-005327-3 (2013年11月7日).　※ 通常の三角関数、ガンマ関数、ゼータ関数などを「多重化」した特殊関数の理論の構築。
* 
* 
* 
* 

## 関連項目
* 正弦定理
* 余弦定理
* 正接定理
* 球面三角法
* コサイン4乗則
* ベクトルのなす角 - cos 関数を用いて表現される。
* ドット積
* クロス積
* ベッセル関数
* sinc関数
* 指数関数
* 双曲線関数
* オイラーの公式
* 円 - 正円の三角関数との関係
* ベジェ曲線 - 三角関数のベジエ曲線による近似
* テイラー展開 - コンピュータ上での三角関数の実装に使用
* 算数チャチャチャ - 歌詞に三角関数の問題の解き方が含まれる
* 3次元コンピュータグラフィックス

## 外部リンク

* 三角比の近似値表
* 
* 江戸時代の三角関数表(これなあに)
*