三角関数

三角関数（さんかくかんすう、英: trigonometric function）とは、平面三角法における、角の大きさと線分の長さの関係を明らかにする関数の族および、それらを拡張して得られる関数の総称である。

定義

直角三角形による定義

∠C を直角とする直角三角形ABC

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

∠C を直角とする直角三角形ABC において、AB = h, BC = a, CA = b とおく。∠A = θ に対して h : a : b が決まることから、

\sin \theta ={\frac {a}{h}}

\cos \theta ={\frac {b}{h}}

\tan \theta ={\frac {a}{b}}={\frac {\sin \theta }{\cos \theta }}

{\text{cosec}}\,\theta ={\frac {h}{a}}={\frac {1}{\sin \theta }}

\sec \theta ={\frac {h}{b}}={\frac {1}{\cos \theta }}

\cot \theta ={\frac {b}{a}}={\frac {1}{\tan \theta }}

という6つの値が定まる。それぞれ正弦（sine（サイン））・余弦（cosine（コサイン））・正接（tangent（タンジェント））・余割（cosecant（コセカント））・正割（secant（セカント））・余接（cotangent（コタンジェント））と呼び、まとめて三角比と呼ばれる。ただし cosec は長いので csc と略記することも多い。また、余弦、余割、余接は余角（角を90°から引いた角）のそれぞれ正弦、正割、正接に等しい。三角比は平面三角法に用いられ、巨大な物の大きさや遠方までの距離を計算する際の便利な道具となる。角度 θ の単位は、通常度またはラジアンである。

単位円による定義

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

実数 t に対して、2次元ユークリッド空間 R² における単位円 x² + y² = 1 上の点P(x, y) を ∠xOP = t（反時計回りを正の向きとする）を満たすように取り、

\sin t=y

\cos t=x

\tan t={\frac {y}{x}}={\frac {\sin t}{\cos t}}

と定義する。順に正弦関数（sine; サイン）・余弦関数（cosine; コサイン）・正接関数（tangent; タンジェント）と呼び、これらを総称して三角関数と呼ぶ。さらにこれらの逆数

\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}}

を順に余割関数（cosecant; コセカント）・正割関数（secant; セカント）・余接関数（cotangent; コタンジェント）と呼び、これらを総称して割三角関数（かつさんかくかんすう）と呼ぶ。これらを含めて三角関数と呼ぶこともある。

級数による定義

角度、辺の長さといった幾何学的な概念に依存しないために、級数で定義することもできる。収束半径を求めることより、以下の級数は収束円上で収束する。

z を複素数、B_n をベルヌーイ数、E_n をオイラー数とする。

\sin z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}z^{2n+1}\quad {\text{for all}}\ z

\cos z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}z^{2n}\quad {\text{for all}}\ z

\tan z=\sum _{n=1}^{\infty }{\frac {(-1)^{n}2^{2n}(1-2^{2n})B_{2n}}{(2n)!}}z^{2n-1}\quad {\text{for}}\ |z|<{\frac {\pi }{2}}

\csc z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(2-2^{2n})B_{2n}}{(2n)!}}z^{2n-1}\quad {\text{for}}\ 0<|z|<\pi

\sec z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{2n}}{(2n)!}}z^{2n}\quad {\text{for}}\ |z|<{\frac {\pi }{2}}

\cot z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}2^{2n}B_{2n}}{(2n)!}}z^{2n-1}\quad {\text{for}}\ 0<|z|<\pi

歴史

詳細は「三角関数の歴史（英語版）」を参照

「円周率」および「円周率の歴史」も参照

一定の半径の円における中心角に対する弦と弧の長さの関係は、測量や天文学の要請によって古代から研究されてきた。

古代ギリシャ

古代ギリシャにおいて、円と球に基づく宇宙観に則った天文学研究から、ヒッパルコスにより一定の半径の円における中心角に対する弦の長さが表にまとめられたもの（正弦表）が作られた。プトレマイオスの『アルマゲスト』にも正弦表が記載されている。

古代インド

正弦表は後にインドに伝わり、弦の長さは半分でよいという考えから5世紀頃には半弦 ardha-jiva（つまり現在の sine の意味の正弦）の長さをより精確にまとめたものが作成された（『アールヤバタ』）。ardha は"半分" jiva は"弦"の意味で、当時のインドではこの半弦（現在の sine の意味の正弦）は単に jiva と略された。また、弦の長さを半分にして直角三角形を当てはめたことから派生して余角 (complementary angle) の考えが生まれ、“余角 (co-angle) の正弦 (sine)”という考えから余弦 (cosine) の考えが生まれた。余弦の値もこの頃に詳しく調べられている。（*co- は complementary の略で、補完的･補足的という意味の接頭語として用いる）

イスラム帝国

8世紀頃イスラム帝国へ伝わったときに jaib（入り江）と変化した。10世紀のアッバース朝時代にシリアの数学者アル・バッターニが正弦法の導入、コタンジェント表の計算、球面三角法（球面幾何学）の定理を提唱した。ブワイフ朝のバグダードの数学者アブル・ワファーがタンジェントを導入した（al-Marwazi説もある）。

ヨーロッパ

一説では12世紀にチェスターのロバートがラテン語に翻訳した際、正弦を sinus rectus と意訳し（sinusはラテン語で「湾」のこと）、現在の sine になったという。円や弦といった概念からは独立に、三角比を辺の比として角と長さの関係と捉えたのは16世紀オーストリアのゲオルク・レティクスであるといわれる。余弦を co-sine と呼んだり、sin, cos という記号が使われるようになったりしたのは 17世紀になってからであり、それが定着するのは 18世紀オイラーの頃である。一般角に対する三角関数を定義したのはオイラーである。

三角関数の性質

周期性

sin x と cos x のグラフ。周期性が確認できる

x 軸の正の部分となす角は

t=\theta +2\pi n\ (0\leq \theta <2\pi ,n\in \mathbb {Z} )

と表すことができ、θ を偏角、t を一般角と言う。

一般角 t が 2 $π$ 進めば点 P(cos t, sin t) は単位円上を1周し元の位置に戻る。従って、

\cos(t+2\pi n)=\cos t

\sin(t+2\pi n)=\sin t

すなわち cos, sin は周期 2 $π$ の周期関数である。

ほぼ同様に、tan, cot は周期 $π$ の周期関数、sec, csc は周期 2 $π$ の周期関数である。

三角関数のグラフ: Sine, Cosine, Tangent, Cosecant（点線）, Secant（点線）, Cotangent（点線）

相互関係

詳細は「三角関数の公式の一覧」を参照

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

基本相互関係

全てピタゴラスの定理により証明される。

sin² θ + cos² θ = 1
$\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$

負角・余角・補角公式

sin(−θ) = −sin θ
cos(−θ) = cos θ
tan(−θ) = −tan θ
$\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 ={\frac {1}{\tan \theta }}$
sin( $π$ − θ) = sin θ
cos( $π$ − θ) = −cos θ
tan( $π$ − θ) = −tan θ

$π$ 回転・ $π$ /2回転

sin(θ + $π$ ) = −sin θ
cos(θ + $π$ ) = −cos θ
tan(θ + $π$ ) = tan θ
$\sin \left(\theta +{\frac {\pi }{2}}\right)=\cos \theta$
$\cos \left(\theta +{\frac {\pi }{2}}\right)=-\sin \theta$
$\tan \left(\theta +{\frac {\pi }{2}}\right)=-\cot \theta =-{\frac {1}{\tan \theta }}$

加法定理

sin(α + β) = sin α cos β + cos α sin β
sin(α − β) = sin α cos β − cos α sin β
cos(α + β) = cos α cos β − sin α sin β
cos(α − β) = cos α cos β + sin α sin β
$\tan(\alpha +\beta )={\frac {\tan \alpha +\tan \beta }{1-\tan \alpha \tan \beta }}$
$\tan(\alpha -\beta )={\frac {\tan \alpha -\tan \beta }{1+\tan \alpha \tan \beta }}$

加法定理の導出および証明

1. 加法定理は、オイラーの公式から簡単に導出できる。

cos(α + β) + i sin(α + β) = e^(α+β)i（オイラーの公式）

　　　　　　　　　　　　　　　　= e^αie^βi

　　　　　　　　　　　　　　　　= (cos α + i sin α)(cos β + i sin β)

　　　　　　　　　　　　　　　　= (cos α cos β − sin α sin β) + i(sin α cos β + cos α sin β)

両辺の実部、虚部を比較すると、それぞれ sin, cos の加法公式を得る。また、

\tan \left(\alpha \pm \beta \right)={\frac {\sin \alpha \cos \beta \pm \cos \alpha \sin \beta }{\cos \alpha \cos \beta \mp \sin \alpha \sin \beta }}

において分母と分子を cos α cos β で割ると tan の加法公式が得られる。

この導出法は、オイラーの公式を既知とするように三角関数の導入（たとえば三角関数をべき級数として定義）していなければ証明として通用しない。

2. また、単位円上の2点間の距離を求める方法でも求められる。

PQ² は、2通りの方法で求められる。

単位円周上に2点 P(cos α, sin α), Q(cos β, sin β) を取り、P と Q の距離の2乗 PQ² を2通りの方法で求めることを考える。（右図も参照）

(1) 三平方の定理より求める

PQ² = (cos α − cos β)² + (sin α − sin β)²

　　 = 2 − 2cos α cos β − 2sin α sinβ

(2) 余弦定理より求める

PQ² = 1² + 1² − 2・1・1・cos(α − β)

　　 = 2 − 2cos(α − β)

(1), (2) より、PQ² を媒介すると、

2 − 2cos α cos β − 2sin α sin β = 2 − 2cos(α − β)

∴ cos(α − β) = cos α cos β + sin α sin β

これより、他の3つの公式は次々に求まる。

β に −β を代入すると、

cos(α + β) = cos α cos β − sin α sin β

元の等式の α に ${\frac {\pi }{2}}-\alpha$ を代入すると、

sin(α + β) = sin α cos β + cos α sin β

この等式の β に −β を代入すると、

sin(α − β) = sin α cos β − cos α sin β（導出および証明終）

微積分

三角関数の微積分は、以下の表の通りである。

$f(x)$	$f'(x)$	$\int f(x)\,dx$
$\sin x$	$\cos x$	$-\cos x+C$
$\cos x$	$-\sin x$	$\sin x+C$
$\tan x$	$\sec ^{2}x=1+\tan ^{2}x$	$-\ln \left\|\cos x\right\|+C$
$\cot x$	$-\csc ^{2}x=-(1+\cot ^{2}x)$	$\ln \left\|\sin x\right\|+C$
$\sec x$	$\sec x\tan x$	$\ln \left\|\sec x+\tan x\right\|+C$
$\csc x$	$-\csc x\cot x$	$-\ln \left\|\csc x+\cot x\right\|+C$

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

\lim _{h\to 0}{\frac {\sin h}{h}}=1

の成立が基本的である。このとき、sin x の導関数が cos x であることは加法定理から従う。さらに余角公式 cos x = sin( $π$ /2 − x) から cos x の導関数は −sin x である。即ち、sin x は微分方程式 ${\frac {d^{2}y}{dx^{2}}}+y=0$ の特殊解である。また、他の三角関数の導関数も、上の事実から簡単に導ける。

級数展開

三角関数は以下のようにテイラー級数に展開される。解析学では、幾何的な性質へ言及せず、これらの表示を三角関数の定義とすることがある。z は任意の複素数、B_n はベルヌーイ数、E_n はオイラー数である。

$\sin z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}z^{2n+1}\quad {\mbox{ for all }}z$

$\cos z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}z^{2n}\quad {\mbox{ for all }}z$

$\tan z=\sum _{n=1}^{\infty }{\frac {(-1)^{n}2^{2n}(1-2^{2n})B_{2n}}{(2n)!}}z^{2n-1}\quad {\mbox{ for }}|z|<{\frac {\pi }{2}}$

$\csc z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(2-2^{2n})B_{2n}}{(2n)!}}z^{2n-1}\quad {\mbox{ for }}0<|z|<\pi$

$\sec z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{2n}}{(2n)!}}z^{2n}\quad {\mbox{ for }}|z|<{\frac {\pi }{2}}$

$\cot z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}2^{2n}B_{2n}}{(2n)!}}z^{2n-1}\quad {\mbox{ for }}0<|z|<\pi$

無限乗積展開

三角関数は以下のように無限乗積に展開される。（→証明）

\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\}$

部分分数展開

三角関数は以下のように部分分数に展開される。（→証明）

$\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+\textstyle {\frac {1}{2}}+n}}=-\sum _{n=0}^{\infty }{\frac {2z}{z^{2}-\left(n+\textstyle {\frac {1}{2}}\right)^{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+{\frac {1}{2}}+n}}=-\sum _{n=0}^{\infty }{\frac {(-1)^{n}(2n+1)}{z^{2}-\left(n+{\frac {1}{2}}\right)^{2}}}$

逆三角関数

三角関数の定義域を適当に制限したものの逆関数を逆三角関数（ぎゃくさんかくかんすう、inverse trigonometric function）と呼ぶ。逆三角関数は逆関数の記法に則り、元の関数の記号に −1 を右肩に付して表す。たとえば逆正弦関数（ぎゃくせいげんかんすう、inverse sine; インバース・サイン）は sin⁻¹ x などと表す。arcsin, arccos などの記法もよく用いられる。