# 三角関数

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

単位円による、6つの三角関数が表す長さ。

---

|  |  |
| --- | --- |
|      正弦 WIKINIUM\_MATH\_PH\_0  |      余弦 WIKINIUM\_MATH\_PH\_1  |
|      正接 WIKINIUM\_MATH\_PH\_2  |      余接 WIKINIUM\_MATH\_PH\_3  |
|      正割 WIKINIUM\_MATH\_PH\_4  |      余割 WIKINIUM\_MATH\_PH\_5  |

三角関数には以下の6つがある。なお、正弦、余弦、正接の3つのみを指して三角関数と呼ぶ場合もある。

* **正弦（せいげん）**、 WIKINIUM\_MATH\_PH\_6 （sine）
* **余弦（よげん）**、 WIKINIUM\_MATH\_PH\_7 （cosine）
* **正接（せいせつ）**、 WIKINIUM\_MATH\_PH\_8 （tangent）
* **正割（せいかつ）**、 WIKINIUM\_MATH\_PH\_9 （secant）
* **余割（よかつ）**、 WIKINIUM\_MATH\_PH\_10 （cosecant）
* **余接（よせつ）**、 WIKINIUM\_MATH\_PH\_11 （cotangent）

特に WIKINIUM\_MATH\_PH\_12 は幾何学的にも解析学的にも良い性質をもっているので、様々な分野で用いられる。例えば、波や信号などは正弦関数と余弦関数とを組み合わせて表現することができる。この事実はフーリエ級数およびフーリエ変換の理論として知られ、音声などの信号の合成や解析の手段として利用されている。ベクトルのクロス積や内積は正弦関数および余弦関数を用いて表すことができ、ベクトルを図形に対応づけることができる。初等的には、三角関数は実数を変数とする1変数関数として定義される。三角関数の変数に対応するものとしては、図形のなす角度や、物体の回転角、波や信号のような周期的なものにおける位相などが挙げられる。

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

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

## 定義

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

 WIKINIUM\_MATH\_PH\_28 を直角とする直角三角形ABC
    斜辺AB = h (hypotenuse)
    対辺BC = a (opposite side)
    底辺AC = b (adjacent side、隣辺)
直角三角形において、1 つの鋭角の大きさが決まれば、三角形の内角の和は WIKINIUM\_MATH\_PH\_29 であることから他の 1 つの鋭角の大きさも決まり、3 辺の比も決まる。ゆえに、角度に対して辺比（三角比）の値を与える関数を考えることができる。

 WIKINIUM\_MATH\_PH\_30 を直角とする直角三角形 ABC において、斜辺AB、 WIKINIUM\_MATH\_PH\_31 の対辺BC、底辺（隣辺）CA の辺の長さをそれぞれ WIKINIUM\_MATH\_PH\_32 と表す（図を参照）。 WIKINIUM\_MATH\_PH\_33 に対して三角形の辺の比 WIKINIUM\_MATH\_PH\_34 が決まることから、

 WIKINIUM\_MATH\_PH\_35
という 6 つの値が定まる。それぞれ**正弦：sin**（sine; サイン）、**余弦：cos**（cosine; コサイン）、**正接：tan**（tangent; タンジェント）、**正割：sec**（secant; セカント）、**余割：cosec**（cosecant; コセカント）、**余接：cot**（cotangent; コタンジェント）と呼び、まとめて**三角比**と呼ばれる。ただし WIKINIUM\_MATH\_PH\_37 は長いので WIKINIUM\_MATH\_PH\_38 と略記することも多い。

三角関数の和名と定義|  | ＿弦 | ＿接 | ＿割 | ∠C を直角とする直角三角形 ABC *h* = 斜辺AB *a* = 対辺BC *b* = 底辺AC |
| 正＿ | 正弦 (sin) |  WIKINIUM\_MATH\_PH\_39  | 正接 (tan) |  WIKINIUM\_MATH\_PH\_41  | 正割 (sec) |  WIKINIUM\_MATH\_PH\_43  |
| 余＿ | 余弦 (cos) |  WIKINIUM\_MATH\_PH\_45  | 余接 (cot) |  WIKINIUM\_MATH\_PH\_47  | 余割 (csc) |  WIKINIUM\_MATH\_PH\_49  |

ある正角 WIKINIUM\_MATH\_PH\_51 に対する余弦、余割、余接はその角 WIKINIUM\_MATH\_PH\_52 の余角 (co-angle)に対する正弦、正割、正接として定義される。ここで余角とは「鋭角（正角）に対し合わせて直角となる角」を指し、この場合は 正角 WIKINIUM\_MATH\_PH\_53 に対する余角は WIKINIUM\_MATH\_PH\_54 となる。

 WIKINIUM\_MATH\_PH\_55
三角比は平面三角法に用いられ、巨大な物の大きさや遠方までの距離を計算する際の便利な道具となる。角度 WIKINIUM\_MATH\_PH\_57 の単位は、通常度またはラジアンである。

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

### 単位円によるもの

6種類の三角関数、単位円、 WIKINIUM\_MATH\_PH\_63 ラジアンの角度に対する直線の図。直線の色が変わる点3点を考えたとき、1、Sec(θ)、Csc(θ)については原点から各点への線分の長さを表し、Sin(θ)、Tan(θ)、1
は各点のy成分を表す。Cos(θ)、1、Cot(θ)は各点の x 成分を表す。
2 次元ユークリッド空間 WIKINIUM\_MATH\_PH\_64 における単位円 WIKINIUM\_MATH\_PH\_65 上の点を WIKINIUM\_MATH\_PH\_66 とする。反時計回りを正の向きとして、原点と円周を結ぶ線分 WIKINIUM\_MATH\_PH\_67 と WIKINIUM\_MATH\_PH\_68 軸のなす角の大きさ WIKINIUM\_MATH\_PH\_69 を媒介変数 WIKINIUM\_MATH\_PH\_70 として選ぶ。このとき実数の変数 WIKINIUM\_MATH\_PH\_71 に対する三角関数は以下のように定義される。

 WIKINIUM\_MATH\_PH\_72
これらは順に**正弦関数** (sine function)、**余弦関数** (cosine function)、**正接関数**(tangent function) と呼ばれる。さらにこれらの逆数として以下の 3 つの関数が定義される。

 WIKINIUM\_MATH\_PH\_74
これらは順に**余割関数** (cosecant function)、**正割関数** (secant function)、**余接関数** (cotangent function) と呼ばれ、 WIKINIUM\_MATH\_PH\_76 と合わせて**三角関数**と総称される。特に WIKINIUM\_MATH\_PH\_77 は**割三角関数**（かつさんかくかんすう）と呼ばれることがある。

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

### 級数によるもの

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

* WIKINIUM\_MATH\_PH\_79 を複素数、 WIKINIUM\_MATH\_PH\_80 をベルヌーイ数、 WIKINIUM\_MATH\_PH\_81 をオイラー数とする。

 WIKINIUM\_MATH\_PH\_82
### 微分方程式によるもの

実関数 WIKINIUM\_MATH\_PH\_84 の二階線型常微分方程式の初期値問題

 WIKINIUM\_MATH\_PH\_85 ()
の解として WIKINIUM\_MATH\_PH\_87 を定義し、 WIKINIUM\_MATH\_PH\_88 を WIKINIUM\_MATH\_PH\_89 として定義できる。上記の式を 1 階の連立常微分方程式に書き換えると、 WIKINIUM\_MATH\_PH\_90 として、

 WIKINIUM\_MATH\_PH\_91 ()
および初期条件 WIKINIUM\_MATH\_PH\_93 となる。

### 他の定義

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

## 性質

→詳細は「三角関数の公式の一覧」を参照
### 周期性

正円より得られる  WIKINIUM\_MATH\_PH\_94  と  WIKINIUM\_MATH\_PH\_95
 WIKINIUM\_MATH\_PH\_96  と  WIKINIUM\_MATH\_PH\_97  のグラフ。これらの関数の周期性が確認できる。
 WIKINIUM\_MATH\_PH\_98 軸の正の部分となす角は

 WIKINIUM\_MATH\_PH\_99
と表すことができ、 WIKINIUM\_MATH\_PH\_101 を偏角、 WIKINIUM\_MATH\_PH\_102 を一般角という。

一般角 WIKINIUM\_MATH\_PH\_103 が WIKINIUM\_MATH\_PH\_104 進めば点 WIKINIUM\_MATH\_PH\_105 は単位円上を1周し元の位置に戻る。従って、

 WIKINIUM\_MATH\_PH\_106
すなわち三角関数 WIKINIUM\_MATH\_PH\_108 は周期 WIKINIUM\_MATH\_PH\_109 の周期関数である。

ほぼ同様に、 WIKINIUM\_MATH\_PH\_110 は周期 WIKINIUM\_MATH\_PH\_111 の周期関数、 WIKINIUM\_MATH\_PH\_112 は周期 WIKINIUM\_MATH\_PH\_113 の周期関数である。

また、 WIKINIUM\_MATH\_PH\_114 のグラフの形は正弦波である。

三角関数のグラフ:
Sine（青実線）、
Cosine（緑実線）、
Tangent（赤実線）、
Cosecant（青点線）、
Secant（緑点線）、
Cotangent（赤点線）
### 相互関係

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

#### 基本相互関係

三角関数の間に成り立つ最も基本的な恒等式の 1 つとして

 WIKINIUM\_MATH\_PH\_115
が挙げられる。これは**ピタゴラスの基本三角関数公式** (Fundamental Pythagorean trigonometric identity) と呼ばれている。

上記の式を変形して整理すれば、以下の式が導かれる。

 WIKINIUM\_MATH\_PH\_117
#### 負角・余角・補角公式

負角
 WIKINIUM\_MATH\_PH\_119
余角
 WIKINIUM\_MATH\_PH\_121
補角
 WIKINIUM\_MATH\_PH\_123
### 加法定理

以下は複号同順。

 WIKINIUM\_MATH\_PH\_125
### 証明

#### ピタゴラスの基本三角公式

三角関数および指数関数は冪級数によって定義されているものとすると、負角公式と指数法則およびオイラーの公式より

 WIKINIUM\_MATH\_PH\_127
である。

#### 負角

 WIKINIUM\_MATH\_PH\_129 および WIKINIUM\_MATH\_PH\_130 については、冪級数による表示から明らかである。また

 WIKINIUM\_MATH\_PH\_131
である。

#### 加法定理

オイラーの公式

 WIKINIUM\_MATH\_PH\_133
と負角の公式から

 WIKINIUM\_MATH\_PH\_135
を得て、指数法則

 WIKINIUM\_MATH\_PH\_137
を用いれば WIKINIUM\_MATH\_PH\_139 の加法定理が得られる。これらから他の三角関数についての加法定理も得られる。

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

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

P と Q の WIKINIUM\_MATH\_PH\_143 座標の差と WIKINIUM\_MATH\_PH\_144 座標の差から、三平方の定理を用いて WIKINIUM\_MATH\_PH\_145 を求める。

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

 WIKINIUM\_MATH\_PH\_154 ()
となる。

**(1)** と **(2)** の右辺が互いに等しいことから、次の WIKINIUM\_MATH\_PH\_156 に関する加法定理が得られる。

 WIKINIUM\_MATH\_PH\_157 ()
三角関数の他の性質を利用することで、**(3)** から WIKINIUM\_MATH\_PH\_159 の加法定理なども導くことができる。

#### 不動点

cos の不動点は以下の式を満たし、ドッティ数とよばれる。

 WIKINIUM\_MATH\_PH\_160
## 微積分

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

なお、以下の表の WIKINIUM\_MATH\_PH\_162 は積分定数、 WIKINIUM\_MATH\_PH\_163 は自然対数である。

|  WIKINIUM\_MATH\_PH\_164  | 微分　 WIKINIUM\_MATH\_PH\_166  | 不定積分　 WIKINIUM\_MATH\_PH\_168  |
| --- | --- | --- |
|  WIKINIUM\_MATH\_PH\_170  |  WIKINIUM\_MATH\_PH\_172  |  WIKINIUM\_MATH\_PH\_174  |
|  WIKINIUM\_MATH\_PH\_176  |  WIKINIUM\_MATH\_PH\_178  |  WIKINIUM\_MATH\_PH\_180  |
|  WIKINIUM\_MATH\_PH\_182  |  WIKINIUM\_MATH\_PH\_184  |  WIKINIUM\_MATH\_PH\_186  |
|  WIKINIUM\_MATH\_PH\_188  |  WIKINIUM\_MATH\_PH\_190  |  WIKINIUM\_MATH\_PH\_192  |
|  WIKINIUM\_MATH\_PH\_194  |  WIKINIUM\_MATH\_PH\_196  |  WIKINIUM\_MATH\_PH\_198  |
|  WIKINIUM\_MATH\_PH\_200  |  WIKINIUM\_MATH\_PH\_202  |  WIKINIUM\_MATH\_PH\_204  |

ただし、 WIKINIUM\_MATH\_PH\_206 はグーデルマン関数の逆関数である。 ( WIKINIUM\_MATH\_PH\_207 )

三角関数の微分では、次の極限

 WIKINIUM\_MATH\_PH\_208
の成立が基本的である。このとき、 WIKINIUM\_MATH\_PH\_210 の導関数が WIKINIUM\_MATH\_PH\_211 であることは加法定理から従う（が、後述のようにこれは循環論法であると指摘される）。さらに余角公式 WIKINIUM\_MATH\_PH\_212 から WIKINIUM\_MATH\_PH\_213 の導関数は WIKINIUM\_MATH\_PH\_214 である。すなわち、 WIKINIUM\_MATH\_PH\_215 は微分方程式 WIKINIUM\_MATH\_PH\_216 の特殊解である。また、他の三角関数の導関数も、上の事実から簡単に導ける。

### WIKINIUM\_MATH\_PH\_217 の WIKINIUM\_MATH\_PH\_218 における極限

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

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

 WIKINIUM\_MATH\_PH\_222
を示すことができる。

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

## 無限乗積展開

→詳細は「三角関数の無限乗積展開」を参照
三角関数は以下のように無限乗積として書ける。

 WIKINIUM\_MATH\_PH\_231
## 部分分数展開

→詳細は「三角関数の部分分数展開」を参照
三角関数は以下のように部分分数に展開される。

 WIKINIUM\_MATH\_PH\_233
## 逆三角関数

→詳細は「逆三角関数」を参照
三角関数の定義域を適当に制限したものの逆関数を**逆三角関数**（ぎゃくさんかくかんすう、英: *inverse trigonometric function*）と呼ぶ。逆三角関数は逆関数の記法に則り、元の関数の記号に WIKINIUM\_MATH\_PH\_235 を右肩に付して表す。たとえば**逆**正弦関数（ぎゃくせいげんかんすう、英: inverse sine; インバース・サイン）は WIKINIUM\_MATH\_PH\_236 などと表す。 WIKINIUM\_MATH\_PH\_237 などの記法もよく用いられる。数値計算などにおいては、これらの逆関数はさらに WIKINIUM\_MATH\_PH\_238 などと書き表される。

 WIKINIUM\_MATH\_PH\_239
である。逆関数は**逆数ではない**ので注意したい。逆数との混乱を避けるために、逆正弦関数  **WIKINIUM\_MATH\_PH\_241**  を  **WIKINIUM\_MATH\_PH\_242**  と書く流儀もある。一般に周期関数の逆関数は多価関数になるので、通常は逆三角関数を一価連続なる枝に制限して考えることが多い。たとえば、便宜的に**主値**と呼ばれる枝を

 WIKINIUM\_MATH\_PH\_243
のように選ぶことが多い。またこのとき、制限があることを強調するために、 **WIKINIUM\_MATH\_PH\_245**  のように頭文字を大文字にした表記がよく用いられる。

## 複素関数として

 WIKINIUM\_MATH\_PH\_246 の級数による定義から、オイラーの公式 WIKINIUM\_MATH\_PH\_247 を導くことができる。この公式から下記の 2 つの等式

 WIKINIUM\_MATH\_PH\_248
が得られるから、これを連立させて解くことにより、正弦関数・余弦関数の指数関数を用いた表現が可能となる。すなわち、

 WIKINIUM\_MATH\_PH\_250
が成り立つ。この事実により、級数によらずこの等式をもって複素数の正弦・余弦関数の定義とすることもある。また、

 WIKINIUM\_MATH\_PH\_252
が成り立つ。ここで WIKINIUM\_MATH\_PH\_254 は双曲線関数を表す。この等式は三角関数と双曲線関数の関係式と捉えることもできる。複素数 WIKINIUM\_MATH\_PH\_255 を WIKINIUM\_MATH\_PH\_256 と表現すると、加法定理より

 WIKINIUM\_MATH\_PH\_257
が成り立つ。

他の三角関数は WIKINIUM\_MATH\_PH\_259 , WIKINIUM\_MATH\_PH\_260 , WIKINIUM\_MATH\_PH\_261 , WIKINIUM\_MATH\_PH\_262 によって定義できる。

* WIKINIUM\_MATH\_PH\_263 の実部のグラフ
* WIKINIUM\_MATH\_PH\_264 の虚部のグラフ
* WIKINIUM\_MATH\_PH\_265 の実部のグラフ
* WIKINIUM\_MATH\_PH\_266 の虚部のグラフ

## 球面三角法

→詳細は「球面三角法」を参照
球面の三角形 ABC の内角を WIKINIUM\_MATH\_PH\_267 , 各頂点の対辺に関する球の中心角を WIKINIUM\_MATH\_PH\_268 とするとき、次のような関係が成立する。余弦公式や正弦余弦公式は式の対称性により各記号を入れ替えたものも成立する。

正弦公式
 WIKINIUM\_MATH\_PH\_269
余弦公式
 WIKINIUM\_MATH\_PH\_270
余弦公式
 WIKINIUM\_MATH\_PH\_271
正弦余弦公式
 WIKINIUM\_MATH\_PH\_272
## 語源

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

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

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

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

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

→「三角法の歴史」も参照

* Maor, Eli (1998). *Trigonometric Delights*. Princeton University Press. ISBN 978069105754-5
* 志賀浩二『数の大航海―対数の誕生と広がり』日本評論社、1999年7月。ISBN 978-4-535-78289-1。
* 高瀬正仁『古典的難問に学ぶ微分積分』共立出版、2013年7月。ISBN 978-4-320-11041-0。
* Vinogradov, Ivan Matveyevich (2004-09-10). *The Method of Trigonometrical Sums in the Theory of Numbers* (revised ed.). Dover. ISBN 978-048643878-8
* 黒川信重、小山信也『多重三角関数論講義』日本評論社、2010年11月8日。ISBN 978-4-535-785557。  ※ 通常の三角関数、ガンマ関数、ゼータ関数などを「多重化」した特殊関数の理論の構築。
* 黒川信重：「現代三角函数論」、岩波書店、ISBN 978-4-00-005327-3 (2013年11月7日).　※ 通常の三角関数、ガンマ関数、ゼータ関数などを「多重化」した特殊関数の理論の構築。
* 杉浦光夫『解析入門I』東京大学出版会〈基礎数学2〉、1980年。ISBN 978-4-13-062005-5。
* 黒田成俊『微分積分』共立出版〈共立講座21世紀の数学 第1巻〉、2002年。ISBN 978-4320015531。
* 高木貞治『定本 解析概論』（改訂第3版）岩波書店、2010年。ISBN 978-4000052092。
* 小平邦彦『解析入門I』（軽装版）岩波書店、2003年。ISBN 978-4000051927。

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

* 三角比の近似値表
* WIKINIUM\_MATH\_PH\_273
* 江戸時代の三角関数表(これなあに)
* 『三角関数』 - コトバンク