三角関数

三角関数の最新ニュースをまとめて検索！

三角関数（さんかくかんすう、trigonometric function）とは、平面三角法において直角三角形の角の大きさから辺の比を与える関数の族および、それらを拡張して得られる関数の総称である。

[編集] 概要

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

直角三角形は1つの角が直角であり、三角形の内角の和は180度であることから他の1つの角の大きさが定まれば、角の大きさが3つとも決まり三角形の3辺の比も決まる。ゆえに角の大きさを与えることで、辺同士の比を返すような関数を考えることができる。

∠C を直角とする直角三角形 △ABC において ∠A = θ を与えれば、 3辺の比 AB : BC : CA が定まることから、h = AB, a = BC, b = CA とおくと、

$\sin\theta = {a \over h}$
$\cos\theta = {b \over h}$
$\tan\theta = {a \over b} = {\sin\theta \over \cos\theta}$
${\rm cosec\,}\theta = {h \over a} = {1 \over \sin\theta}$
$\sec\theta = {h \over b} = {1 \over \cos\theta}$
$\cot\theta = {b \over a} = {\csc\theta \over \sec\theta} = {1 \over \tan\theta}$

という6つの値が定まる。それぞれ正弦（サイン/sine）・余弦（コサイン/cosine）・正接（タンジェント/tangent）・余接（コタンジェント/cotangent）・正割（セカント/secant）・余割（コセカント/cosecant）と呼ばれ、まとめて三角比と呼ばれる。余弦とは、余りの角、すなわちその角と直角以外の角の正弦を意味する。三角比は平面三角法に用いられ、巨大なものの大きさや遠方までの距離を計算する際の便利な道具となる。角度 θ の単位は普通、度かラジアンである。

θを単なる直角三角形の内角としてではなく、平面座標系上の任意の角として与えて、三角比の性質を研究することもできる。三角比の定義を一般化し、純粋に関数としての性質に注目したとき、これらを三角関数と呼ぶ。三角関数を円関数と呼ぶこともある。

三角関数のsinとcosの間には、ピタゴラスの定理から、

$sin 2 θ + cos 2 θ = 1$

の関係式が成り立つ。（なお、sin² θ とは、(sin θ)² のことである。）

また、後述する三角関数の加法定理及び派生公式を用いれば、任意の角度についてその値を近似計算することができる。

三角関数は、指数関数とともに初等関数の一種である。また

${d^2 \over dx^2} y(x) = -y(x)$

という微分方程式の解でもある。

[編集] 定義

点Oを中心とする単位円上での全ての三角関数の定義。

2次元ユークリッド空間 R² における単位円 x² + y² = 1 上で、点 (1,0) から正の向きに回転する動点 P = (x,y) に対して、動点と原点を結ぶ線分が x 軸の正方向と成す角を t として、

$\sin\ t = y$
$\cos\ t = x$
$\tan\,t = \frac{\sin\,t}{\cos\,t} = {y \over x}$

と定義する（ただし、tは反時計回りの向きを正として測る）。上から正弦関数（sine; サイン）・余弦関数（cosine; コサイン）・正接関数（tangent; タンジェント）と呼び、これらを総称して三角関数と呼ぶ。さらにその逆数、

$\mathrm{cosec}\,t = {1 \over \sin\,t} = {1 \over y},$
$\sec\,t = {1 \over \cos\,t} = {1 \over x},$
$\cot\,t = {1 \over \tan\,t} = {x \over y}$

を、上から余割関数（cosecant; コセカント）・正割関数（secant; セカント）・余接関数（cotangent; コタンジェント）と呼び、これらを総称して割三角関数（かつさんかくかんすう）と呼ぶ。また、割三角関数を含めて三角関数と呼ぶこともある。cosec は長いので csc と書くこともある。

[編集] 周期性

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

単位円上を往く動点 P は 2π の行程を隔てれば、単位円を一周する。従って、任意の行程 t は、

$t = \theta + 2\pi n ; \quad 0 \le \theta < 2\pi ,\ n\isin \mathbb{Z}$

と表現することができる。この時、θ を偏角、t を一般角と言う。偏角でも一般角でも、最終到達点の座標は一致するわけであるから、

sin(θ+2πn) = sinθ

が成り立つ（他の三角関数でも同様）。このことから、三角関数は周期関数となる。

[編集] 歴史

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

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

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

（*co- は complementary の略で、補完的･補足的という意味の接頭語として用いる）

8世紀ごろアラビアへ伝わったときに jaib（入り江）と変化して、一説では12世紀にチェスターのロバートがラテン語に翻訳した際、正弦を sinus rectus と意訳し（sinusはラテン語で「湾」のこと）、現在の sine になったという。

また、10世紀の数学者アル・バッターニが正弦法の導入、コタンジェント表の計算、球面三角法（球面幾何学）の定理を提唱した。

円や弦といった概念からは独立に、三角比を辺の比として角と長さの関係と捉えたのは16世紀ドイツのラエティクスであると言われる。余弦を co-sine とよんだり、sin, cos という記号が使われるようになったりしたのは 17世紀になってからであり、それが定着するのは 18世紀オイラーのころである。一般角に対する三角関数を定義したのはオイラーである。

[編集] 三角関数の相互関係

単位円上の動点の座標によって定まる関数であることから、三角関数の間に成り立ついくつかの相互関係を導くことができる。

基本相互関係

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

sin² t + cos² t = 1.
sec² t − tan² t = (1-sin² t) /cos² t = 1.
cosec² t − cot² t = (1-cos² t) /sin² t = 1.

負角・余角・補角公式

sin(−t) = −sin t.
cos(−t) = cos t.
$\sin\!\left(t + {\pi\over 2}\right) = \cos t.$
$\cos\!\left(t + {\pi\over 2}\right) = -\sin t.$
sin(t + π) = −sin t.
cos(t + π) = −cos t.

[編集] 三角関数の加法定理

$\sin(\alpha+\beta) = \sin\alpha\,\cos\beta+\cos\alpha\, \sin\beta$
$\sin(\alpha-\beta) = \sin\alpha\,\cos\beta-\cos\alpha\, \sin\beta$
$\cos(\alpha+\beta) = \cos\alpha\,\cos\beta-\sin\alpha\, \sin\beta$
$\cos(\alpha-\beta) = \cos\alpha\,\cos\beta+\sin\alpha\, \sin\beta$
$\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 xy平面上で原点をOとし、
点A,BをそれぞれA(cos(-α),sin(-α)),B(cosβ,sinβ)とすると、
線分ABの長さの2乗は
(cos(-α)-cosβ)²+(sin(-α)-sinβ)²
=2-2(cosαcosβ-sinαsinβ)
となるが、A,Bを原点O中心に+α回転させると
A'(1,0),B'(cos(α＋β),sin(α+β))に移るので線分A'B'の長さの2乗は
(cos(α+β)-1)²+(sin(α+β))²
=2-2cos(α+β)
となる。
点A',B'は点A,Bをそれぞれ回転させただけなので線分の長さA'B'とABは等しい。
よって
2-2(cosαcosβ-sinαsinβ)=2-2cos(α+β)
したがって
cos(α+β)=cosαcosβ-sinαsinβ･･･(i)
となる。
(i)をβ→-βとすればcos(α-β)=cosαcosβ+sinαsinβ･･･(ii)
(i)をα→π/2-αとすればsin(α-β)=sinαcosβ-cosαsinβ･･･(iii)
(iii)をβ→-βとすればsin(α+β)=sinαcosβ+cosαsinβ
を得る。
例2
オイラーの公式から、

$\cos(\alpha + \beta)+ i\,\sin(\alpha + \beta) = e^{(\alpha + \beta)i} = e^{\alpha i} \cdot e^{\beta i}$
$=(\cos\alpha + i\,\sin\alpha)(\cos\beta + i\,\sin\beta)$
$=(\cos\alpha\,\cos\beta - \sin\alpha\,\sin\beta) + i(\sin\alpha\,\cos\beta + \cos\alpha\,\sin\beta)$

として実部と虚部を比較すると 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\alpha\,\cos\beta$ で割ると tan の加法公式が得られる。

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

[編集] 派生公式

加法定理から導かれる種々の有用な公式がある。

二倍角公式

sin 2α　= 2 sin α cos α.
cos 2α = cos² α − sin² α = 2 cos² α − 1 = 1 − 2 sin² α.

$\tan 2\alpha=\frac{2\tan\alpha}{1-\tan^2\alpha}$

三倍角公式

sin 3α　= 3sin α − 4sin³ α.
cos 3α = 4cos³ α − 3cos α.
$\tan 3\alpha=\frac{3\tan\alpha-\tan^3\alpha}{1-3\tan^2\alpha}$

半角公式

$\sin^2\!\left(\frac{\alpha}{2}\right) = \frac{1 - \cos\alpha}{2}.$
$\cos^2\!\left(\frac{\alpha}{2}\right) = \frac{1 + \cos\alpha}{2}.$
$\sin\!\left(\frac{\alpha}{2}\right)\cos\!\left(\frac{\alpha}{2}\right) = \frac{\sin\alpha}{2}.$

三分角公式

$\sin^3 \alpha = {1\over 4}(3\sin\alpha - \sin 3\alpha).$
$\cos^3 \alpha = {1\over 4}(3\cos\alpha + \cos 3\alpha).$

和積公式

$\sin\alpha + \sin\beta = 2\sin\!\left({\alpha +\beta \over 2}\right) \cos\!\left({\alpha -\beta \over 2}\right).$
$\sin\alpha - \sin\beta = 2\cos\!\left({\alpha +\beta \over 2}\right) \sin\!\left({\alpha -\beta \over 2}\right).$
$\cos\alpha + \cos\beta = 2\cos\!\left({\alpha +\beta \over 2}\right) \cos\!\left({\alpha -\beta \over 2}\right).$
$\cos\alpha - \cos\beta = -2\sin\!\left({\alpha +\beta \over 2}\right) \sin\!\left({\alpha -\beta \over 2}\right).$

積和公式

$\sin\alpha\, \cos \beta = {1\over 2}\{\sin(\alpha+\beta) + \sin(\alpha-\beta)\}.$
$\cos\alpha\, \sin\beta = {1\over 2}\{\sin(\alpha+\beta) - \sin(\alpha-\beta)\}.$
$\cos\alpha\, \cos\beta = {1\over 2}\{\cos(\alpha+\beta) + \cos(\alpha-\beta)\}.$
$\sin\alpha\, \sin\beta = -{1\over 2}\left\{\cos(\alpha+\beta) - \cos(\alpha-\beta)\right\}.$

合成公式

$a \sin\theta + b \cos\theta = \sqrt{a^2+b^2}\sin(\theta+\alpha),$

ただし、 $\cos\alpha = \frac{a}{\sqrt{a^2+b^2}},$ $\sin\alpha = \frac{b}{\sqrt{a^2+b^2}}$ .

$a \sin\theta + b \cos\theta = \sqrt{a^2+b^2}\cos(\theta-\beta),$

ただし、 $\sin\beta = \frac{a}{\sqrt{a^2+b^2}},$ $\cos\beta = \frac{b}{\sqrt{a^2+b^2}}$ .

[編集] 三角関数の微分法

${d\over dx}\sin x = \cos x$
${d\over dx}\cos x = -\sin x$
${d\over dx}\tan x = \sec^2 x = 1 + \tan^2 x ={1\over \cos ^2 x}$

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

$\lim_{x\to 0} \frac{\sin x}{x} = 1$

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

[編集] 級数展開

三角関数は以下のようにテイラー級数に展開される。

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

[編集] 無限乗積展開

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

$\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 などと表す。

$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=\mathrm{cosec} \,\, y \iff y=\mathrm{cosec}^{-1} \, x$

である。逆関数は逆数をとるものではなく

$(\sin x)^{-1}=\frac{1}{\sin x}=\mathrm{cosec}\, x$

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

$-\frac{\pi}{2}\le\sin^{-1}x\le\frac{\pi}{2},$
$0\le\cos^{-1}x\le\pi,$
$-\frac{\pi}{2}\le\tan^{-1}x\le\frac{\pi}{2}$

のように選ぶことが多い。またこのとき、制限があることを強調するために、Sin⁻¹ x, ArcSin x のように頭文字を大文字にした表記がよく用いられる。

[編集] 複素関数への拡張

三角関数の微分に関する性質から、cos x, sin x をテイラー展開することにより、かの有名なオイラーの公式 exp(ix) = cos x + isin x が導かれる。これより、2つの等式、

exp(ix) = cos x + i sin x
exp(−ix) = cos x − i sin x

が得られるから、これを連立させて解くことにより、正弦関数・余弦関数の初等関数としての表現が可能となる。即ち、

$\cos x = \frac{e^{ix}+e^{-ix}}{2},$
$\sin x = \frac{e^{ix}-e^{-ix}}{2i}.$

この事実を用いて三角関数の定義域を複素数全体に拡張することができる。まず、

$\cos(ix) = \frac{e^{-x}+e^{x}}{2} = \cosh x,$
$\sin(ix) = \frac{e^{-x}-e^{x}}{2i} = i\sinh x$

である。ここで cosh x , sinh x は双曲線関数を指す。この等式は三角関数と双曲線関数の関係式と捉えることもできる。任意の複素数 z は z = x+iy (x,y∈R) と表現できるから、加法定理より

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

が成り立つ。これこそが正弦関数・余弦関数の定義域を複素数全体に拡張した物である。他の三角関数も正弦関数と余弦関数の四則演算によって定義できるから、結局全ての三角関数は定義域を複素数全体に拡張できることがわかる。

cos(x+iy)の実部のグラフ

cos(x+iy)の虚部のグラフ

sin(x+iy)の実部のグラフ

sin(x+iy)の虚部のグラフ

[編集] 球面三角法

球面の三角形 ABCの内角を a,b,c, 対辺（球の中心角をとる）をα,β,γとするとき、次のような関係が成立する。

sin a : sin b : sin c = sin α : sin β : sin γ - 正弦公式 cos a = cos b cos c + sin b sin c cos α, etc. - 余弦公式 cos α = − cos β cos γ + sin β sin γ cos a, etc. - 〃 sin a cos β = cos b sin c − sin b cos c cos α , etc. - 正弦余弦公式

最終更新 2009年11月7日 (土) 16:23 （日時は個人設定で未設定ならばUTC）。
【三角関数】変更履歴