三角関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
正割から転送)
移動先: 案内検索

三角関数(さんかくかんすう、テンプレート:Lang-en-short)とは、平面三角法における、の大きさと線分の長さの関係を明らかにする関数の族および、それらを拡張して得られる関数の総称である。

定義

直角三角形による定義

ファイル:Trigonometry triangle.svg
∠C を直角とする直角三角形ABC

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

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

<math>\sin \theta =\frac{a}{h}</math>
<math>\cos \theta =\frac{b}{h}</math>
<math>\tan \theta =\frac{a}{b} =\frac{\sin \theta}{\cos \theta}</math>
<math>\text{cosec} \, \theta =\frac{h}{a} =\frac{1}{\sin \theta}</math>
<math>\sec \theta =\frac{h}{b} =\frac{1}{\cos \theta}</math>
<math>\cot \theta =\frac{b}{a} =\frac{1}{\tan \theta}</math>

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

単位円による定義

ファイル:Circle-trig6.svg
単位円による、6つの三角関数が表す長さ

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

<math>\sin t=y</math>
<math>\cos t=x</math>
<math>\tan t=\frac{y}{x} =\frac{\sin t}{\cos t}</math>

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

<math>\csc t=\frac{1}{y} =\frac{1}{\sin t}</math>
<math>\sec t=\frac{1}{x} =\frac{1}{\cos t}</math>
<math>\cot t =\frac{x}{y} =\frac{1}{\tan t}</math>

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

級数による定義

角度、辺の長さといった幾何学的な概念への依存を避けるため、また定義域複素数に拡張するために、級数を用いて定義することもできる。以下の級数は共に示される収束円内で収束する。

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

<math>\sin z=\sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} z^{2n+1}\quad \text{for all} \ z</math>
<math>\cos z=\sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} z^{2n}\quad \text{for all} \ z</math>
<math>\tan z=\sum^{\infin}_{n=1} \frac{ (-1)^n 2^{2n} (1-2^{2n}) B_{2n}}{(2n)!} z^{2n-1}\quad \text{for} \ |z|<\frac{\pi}{2}</math>
<math>\csc z=\sum^{\infin}_{n=0} \frac{(-1)^n (2-2^{2n}) B_{2n}}{(2n)!} z^{2n-1}\quad \text{for} \ 0<|z|<\pi</math>
<math>\sec z=\sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} z^{2n} \quad \text{for} \ |z|<\frac{\pi}{2}</math>
<math>\cot z=\sum^{\infin}_{n=0} \frac{(-1)^n 2^{2n} B_{2n}}{(2n)!} z^{2n-1}\quad \text{for} \ 0<|z|<\pi</math>

歴史

テンプレート:Main テンプレート:Seealso

バビロニア数学

一定の半径の円における中心角に対するの長さの関係は、測量天文学の要請によって古代から研究されてきた(バビロニア数学Yale Babylonian Collection、YBC 7289)。紀元前1800年頃の粘土板プリンプトン322」には、ピタゴラス数が記されていた。

古代ギリシャ・エジプト

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

古代インド

正弦表は後にインドに伝わり、弦の長さは半分でよいという考えから5世紀頃には半弦 ardha-jiva(つまり現在の sine の意味の正弦)の長さをより精確にまとめたもの、すなはちアーリヤバタテンプレート:Lang-hi Āryabhaṭa)によって書かれたサンスクリット語の天文学書『テンプレート:仮リンク』(テンプレート:Lang-hi Āryabhaṭīya)、が作成された(Āryabhaṭa's sine table)。ardha は"半分" jiva は"弦"の意味で、当時のインドではこの半弦(現在の sine の意味の正弦)は単に jiva と略された。また、弦の長さを半分にして直角三角形を当てはめたことから派生して余角 (complementary angle) の考えが生まれ、“余角 (co-angle) の正弦 (sine)”という考えから余弦 (cosine) の考えが生まれた。余弦の値もこの頃に詳しく調べられている。(*co- は complementary の略で、補完的・補足的という意味の接頭語として用いる)

テンプレート:Main 628年、ブラーマグプタテンプレート:Lang-hi Brahmagupta)が当時のインド数学と天文学の成果をまとめた代表的な著書『ブラーマ・スプタ・シッダーンタ』(テンプレート:Lang-hi Brāhmasphuṭasiddhānta)を発表。

中国

中国へは代(718年頃)に瞿曇悉達によってテンプレート:仮リンク[1](アーリヤバタの正弦表)が漢訳された『九執暦』が作られ、『テンプレート:仮リンク』に含まれている。

イスラム帝国

770年代にファザーリテンプレート:仮リンクが『ブラーマ・スプタ・シッダーンタ』をアラビア語に翻訳した『シンドヒンド』(テンプレート:Lang-ar Zij al-Sindhind[2]) を発表し、インドの知識がイスラーム世界にもたらされた。8世紀頃イスラム帝国へ伝わったときに jaib(入り江)と変化した。

10世紀のアッバース朝時代にシリアの数学者アル・バッターニが正弦法の導入、コタンジェント表の計算、球面三角法(球面幾何学)の定理を提唱した(Astronomy in medieval IslamZij、『サービア天文表 Az-Zij as-Sabi』)。ブワイフ朝バグダードの数学者アブル・ワファータンジェントを導入した(al-Marwazi説もある)。

中世ヨーロッパ

スペインタイファ期だった12世紀から13世紀にかけて、トレドテンプレート:仮リンクの学者が活躍した。一説では12世紀に、翻訳学派のひとり、チェスターのロバートが、アル・バッターニの著書をアラビア語からラテン語に翻訳した際、正弦を sinus rectus と意訳し(sinusはラテン語で「湾」のこと)、現在の sine になったという。

中世インド

テンプレート:Seealso

テンプレート:Seealso テンプレート:節stub

日本

日本では、江戸期に関孝和建部賢弘久留島喜内らが和算の「円理」と呼ばれる理論を発展させた。

近世ヨーロッパ

円や弦といった概念からは独立に、三角比を辺の比として角と長さの関係と捉えたのは16世紀オーストリアのゲオルク・レティクスであるといわれる。16世紀には地理学者メルカトルメルカトル図法を考案して、大航海時代に始まった地図学の発展に大きな功績を残したが、メルカトルの時代には積分法は知られていなかったので「テンプレート:仮リンク」が中心的な問題となった。 1638年ルネ・デカルトジル・ド・ロベルヴァルが出題したデカルトの正葉線の問題が微積分法の発達を促し、インドのケーララ学派やイスラム帝国から伝わっていたそれまでの微分法と積分法という別々の二つの理論体系は、1670年頃にニュートンライプニッツが独立に微積分法を発見・発明した結果、統合された。この微積分学によって、三角関数の理論は大きく発展した。17世紀後半にはアイザック・バロージェームス・グレゴリーによって独立にSecant関数の積分が解決され、緯線距離はランベルト関数(逆グーデルマン関数)に相当することが明らかになった。また、余弦を co-sine と呼んだり、sin, cos という記号が使われるようになったりしたのは 17世紀になってからであり、それが定着するのは 18世紀オイラーの頃である。一般角に対する三角関数を定義したのはオイラーである。1748年にオイラーによって、指数関数と三角関数の間に等式が成り立つことが再発見された(オイラーの公式)。フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中でフーリエ級数が導入され、複雑な周期函数による波動の数学的表現が単純な「正弦函数余弦函数の和」として表されるようになった(フーリエ解析)。1835年にはテンプレート:仮リンク半正矢関数(haversine)を導入し、球面三角法でのテンプレート:仮リンクを航海用として導入した[3]

現代

アーベルヤコビによって発展させられた楕円函数論においても、円が三角関数で一意化される現象の類似物として、楕円曲線がモジュラー関数で一意化されることが発見された(「すべての楕円曲線はモジュラーである」)。まだ証明されていなかった時代に、この理論を応用したインド人のシュリニヴァーサ・ラマヌジャンらは、収束の早い円周率の公式を発見するなどした。それらの成果を発展させたアンドリュー・ワイルズは、「フェルマー予想」を証明することに成功した。

三角関数の性質

周期性

ファイル:Sin and cos.png
sin x と cos x のグラフ。周期性が確認できる

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

<math>t=\theta +2\pi n\ (0\le \theta <2\pi ,n\isin \mathbb{Z} )</math>

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

一般角 t が 2テンプレート:Π 進めば点 P(cos t, sin t) は単位円上を1周し元の位置に戻る。従って、

<math>\cos (t+2\pi n)=\cos t</math>
<math>\sin (t+2\pi n)=\sin t</math>

すなわち cos, sin は周期 2テンプレート:Π周期関数である。

ほぼ同様に、tan, cot は周期 テンプレート:Π の周期関数、sec, csc は周期 2テンプレート:Π の周期関数である。

ファイル:Trigonometric functions.svg
三角関数のグラフ: Sine, Cosine, Tangent, Cosecant(点線), Secant(点線), Cotangent(点線)

相互関係

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

基本相互関係
全てピタゴラスの定理により証明される。
  • sin2 θ + cos2 θ = 1
  • <math>\sec^2 \theta -\tan^2 \theta =\frac{1}{\cos^2 \theta} -\tan^2 \theta =1</math>
  • <math>\csc^2 \theta -\cot^2 \theta =\frac{1}{\sin^2 \theta} -\frac{1}{\tan^2 \theta} =1</math>
負角・余角・補角公式
  • sin(−θ) = −sin θ
  • cos(−θ) = cos θ
  • tan(−θ) = −tan θ
  • <math>\sin \left( \frac{\pi}{2} -\theta \right) =\cos \theta</math>
  • <math>\cos \left( \frac{\pi}{2} -\theta \right) =\sin \theta</math>
  • <math>\tan \left( \frac{\pi}{2} -\theta \right) =\cot \theta =\frac{1}{\tan \theta}</math>
  • sin(テンプレート:Πθ) = sin θ
  • cos(テンプレート:Πθ) = −cos θ
  • tan(テンプレート:Πθ) = −tan θ
テンプレート:Π回転・テンプレート:Sfrac回転
  • sin(θ + テンプレート:Π) = −sin θ
  • cos(θ + テンプレート:Π) = −cos θ
  • tan(θ + テンプレート:Π) = tan θ
  • <math>\sin \left( \theta +\frac{\pi}{2} \right) =\cos \theta</math>
  • <math>\cos \left( \theta +\frac{\pi}{2} \right) =-\sin \theta</math>
  • <math>\tan \left( \theta +\frac{\pi}{2} \right) =-\cot \theta =-\frac{1}{\tan \theta}</math>

加法定理

  • sin(α + β) = sin α cos β + cos α sin β
  • sin(αβ) = sin α cos β − cos α sin β
  • cos(α + β) = cos α cos β − sin α sin β
  • cos(αβ) = cos α cos β + sin α sin β
  • <math>\tan (\alpha +\beta )=\frac{\tan \alpha +\tan \beta}{1-\tan\alpha \tan\beta}</math>
  • <math>\tan (\alpha -\beta )=\frac{\tan \alpha -\tan \beta}{1+\tan \alpha \tan \beta}</math>

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

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 の加法公式を得る。また、

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

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

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

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

ファイル:加法定理.png
PQ2 は、2通りの方法で求められる。

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

(1) 三平方の定理より求める
PQ2 = (cos α − cos β)2 + (sin α − sin β)2
    = 2 − 2cos α cos β − 2sin α sinβ
(2) 余弦定理より求める
PQ2 = 12 + 12 − 2・1・1・cos(αβ)
    = 2 − 2cos(αβ)

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

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

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

  • β に −β を代入すると、
cos(α + β) = cos α cos β − sin α sin β
  • 元の等式の α に <math>\frac{\pi}{2} -\alpha</math> を代入すると、
sin(α + β) = sin α cos β + cos α sin β
  • この等式の β に −β を代入すると、
sin(αβ) = sin α cos β − cos α sin β(導出および証明終)

微積分

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

<math>f(x)</math> <math>f'(x)</math> <math>\int f(x)\,dx</math>
<math>\sin x</math> <math>\cos x</math> <math>-\cos x+C</math>
<math>\cos x</math> <math>-\sin x</math> <math>\sin x+C</math>
<math>\tan x</math> <math>\sec^2 x=1+\tan^2 x</math> \cos x\right| +C</math>
<math>\cot x</math> <math>-\csc^2 x=-(1+\cot^2 x)</math> \sin x\right| +C</math>
<math>\sec x</math> <math>\sec x\tan x</math> \sec x+\tan x\right| +C = \operatorname{gd}^{-1}x +C</math>
<math>\csc x</math> <math>-\csc x\cot x</math> \csc x+\cot x\right| +C</math>

ただし、<math>\operatorname{gd}^{-1}x</math> はグーデルマン関数逆関数である。

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

<math>\lim_{h\to 0} \frac{\sin h}{h} =1</math>

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

級数展開

三角関数は以下のようにテイラー級数に展開される。解析学では、幾何的な性質へ言及せず、これらの表示を三角関数の定義とすることがある。z は任意の複素数、Bnベルヌーイ数Enオイラー数である。 テンプレート:Indent{(2n)!} z^{2n-1}\quad\mbox{ for } |z|<\frac{\pi}{2}</math>

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

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

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

無限乗積展開

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

<math>\sin \pi z=\pi z\prod_{n=1}^{\infty}{\left(1-\frac{z^2}{n^2}\right)}</math>

<math>\cos \pi z=\prod_{n=1}^\infty \left\{ 1-\frac{z^2}{(n-\frac{1}{2})^2}\right\}</math>

部分分数展開

三角関数は以下のように部分分数に展開される。(→証明テンプレート:Indent{z+n}=\frac{1}{z} +\sum_{n=1}^\infty \frac{(-1)^n 2z}{z^2 -n^2 }</math>
<math>\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}</math> }}

逆三角関数

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

<math>x=\sin y \iff y=\sin^{-1} x</math>
<math>x=\cos y \iff y=\cos^{-1} x</math>
<math>x=\tan y \iff y=\tan^{-1} x</math>
<math>x=\cot y \iff y=\cot^{-1} x</math>
<math>x=\sec y \iff y=\sec^{-1}x</math>
<math>x=\text{cosec} \, y \iff y=\text{cosec}^{-1} \, x</math>

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

<math>-\frac{\pi}{2} \le \sin^{-1} x\le \frac{\pi}{2}</math>
<math>0\le \cos^{-1} x\le \pi</math>
<math>-\frac{\pi}{2} <\tan^{-1} x<\frac{\pi}{2}</math>

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

複素関数への拡張

三角関数の微分に関する性質から、cos x, sin xテイラー展開することにより、かの有名なオイラーの公式 exp ix = cos x + i sin x が導出される。この公式から下記の2つの等式 テンプレート:Indent が得られるから、これを連立させて解くことにより、正弦関数・余弦関数の初等関数としての表現が可能となる。即ち、

<math>\cos x=\frac{e^{ix} +e^{-ix}}{2},</math>
<math>\sin x=\frac{e^{ix} -e^{-ix}}{2i}.</math>

この事実を用いて、三角関数の定義域を複素数全体に拡張することができる。まず、 テンプレート:Indent である。ここで cosh x, sinh x双曲線関数を指す。この等式は三角関数と双曲線関数の関係式と捉えることもできる。任意の複素数 zz = x + iy (x, yR) と表現できるから、加法定理より

cos z = cos(x + iy) = cos x cosh yi sin x sinh y,
sin z = sin(x + iy) = sin x cosh y + i cos x sinh y

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

球面三角法

テンプレート:Main 球面の三角形ABC の内角を a, b, c, 各頂点の対辺に関する球の中心角を α, β, γ とするとき、次のような関係が成立する。余弦公式や正弦余弦公式は式の対称性により各記号を入れ替えたものも成立する。

  • 正弦公式: sin a : sin b : sin c = sin α : sin β : sin γ
  • 余弦公式: cos a = −cos b cos c + sin b sin c cos α
  • 余弦公式: cos α = cos β cos γ + sin β sin γ cos a
  • 正弦余弦公式: sin a cos β = cos b sin c − sin b cos c cos α

脚注

  1. ブラーマ・スプタ・シッダーンタも参照
  2. Zīj maḥlūl fī al‐Sindhind li‐daraja daraja (テンプレート:Lang-ar, "Astronomical tables in the Sindhind resolved for each degree")
  3. James Inman, "Navigation and Nautical Astronomy for Seamen", (1835)

参考文献

関連項目

外部リンク

テンプレート:Link GA テンプレート:Link GA