三角関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

三角関数(さんかくかんすう、: trigonometric function)とは、平面三角法における、の大きさと線分の長さの関係を明らかにする関数の族および、それらを拡張して得られる関数の総称である。三角関数という呼び名は三角法に由来するもので、後述する単位円を用いた定義に由来する呼び名として、円関数(えんかんすう、: circular function)と呼ばれることがある。定義域の違いを除けば両者は同じ関数を指し、あるいは単に三角関数と呼ぶ場合も、円関数のように何らかの意味で拡張された三角関数を指すことが多い。

三角関数には sin, sec, tan, cos, csc, cot の 6 つがあり、それぞれ正弦 (sine)正割 (secant)正接 (tangent)余弦 (cosine)余割 (cosecant)余接(cotangent) を意味する。特に sin, cos幾何学的にも解析学的にも単純な良い性質を持っているので、様々な分野で用いられる。

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

定義[編集]

直角三角形による定義[編集]

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

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

∠C を直角とする直角三角形 ABC において、それぞれの辺の長さを AB = h, BC = a, CA = b と表す(図を参照)。∠A = θ に対して三角形の辺の比 h : a : b が決まることから、

\begin{align}
&\begin{cases}
 \sin \theta = \frac{a}{h}\\
 \sec \theta =\frac{h}{b} = \frac{1}{\cos \theta}\\
 \tan \theta = \frac{a}{b} = \frac{\sin \theta}{\cos \theta}
\end{cases}\\
&\begin{cases}
 \cos \theta = \frac{b}{h}\\
 \operatorname{cosec}\theta = \csc \theta = \frac{h}{a} = \frac{1}{\sin \theta}\\
 \cot \theta =\frac{b}{a} = \frac{1}{\tan \theta}
\end{cases}\end{align}

という 6 つの値が定まる。それぞれ正弦sine; サイン)、正割secant; セカント)、正接tangent; タンジェント)、余弦cosine; コサイン)、余割cosecant; コセカント)、余接cotangent; コタンジェント)と呼び、まとめて三角比と呼ばれる。ただし cosec は長いので csc と略記することも多い。ある角 ∠A に対する余弦、余割、余接はその角 ∠A余角 (co-angle) に対する正弦、正割、正接として定義される。

\begin{cases}
\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{cases}

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

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

単位円による定義[編集]

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

2 次元ユークリッド空間 R2 における単位円 {x(t)}2 + {y(t)}2 = 1 上の点を A = (x(t), y(t)) とする。反時計回りを正の向きとして、原点と円周を結ぶ線分 OAx 軸のなす角の大きさ xOA媒介変数 t として選ぶ。このとき実変数 t に対する三角関数は以下のように定義される。

\begin{align}
  \sin t &= y\\
  \cos t &= x\\
  \tan t &= \frac{y}{x} = \frac{\sin t}{\cos t}
\end{align}

これらは順に正弦関数 (sine function)余弦関数 (cosine function)正接関数(tangent function) と呼ばれる。さらにこれらの逆数として以下の 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}

これらは順に余割関数 (cosecant function)正割関数 (secant function)余接関数 (cotangent function) と呼ばれ、sin, cos, tan と合わせて三角関数と総称される。特に csc, sec, cot割三角関数(かつさんかくかんすう)と呼ばれることがある。

この定義は 0 < t < π/2 の範囲では直角三角形による定義と一致する。

級数による定義[編集]

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

\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{(-1)^n}{(2n)!} z^{2n}\quad \text{for all} \ z, \\
 \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}, \\
 \cot z &= \sum^{\infin}_{n=0} \frac{(-1)^n 2^{2n} B_{2n}}{(2n)!} z^{2n-1}\quad \text{for} \ 0 < |z| < \pi, \\
 \sec z &= \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} z^{2n} \quad \text{for} \ |z|<\frac{\pi}{2}, \\
 \csc z &= \sum^{\infin}_{n=0} \frac{(-1)^n (2-2^{2n}) B_{2n}}{(2n)!} z^{2n-1}\quad \text{for} \  0 < |z|< \pi.
\end{align}

微分方程式による定義[編集]

三角関数は以下に示す実変数 x に対する実関数 y(x) の 2 階の常微分方程式の解としても定義できる[1][2]

y''(x) = -y(x).

 

 

 

 

(1)

(1) を 1 階の連立常微分方程式に書き換えると、y(x) = f (x), y'(x) = g (x) として、

\begin{cases}
g(x) = f'(x), \\
g'(x) = -f(x)
\end{cases}

 

 

 

 

(2)

となる。(2) の第 1 式と第 2 式の両辺の積をとれば、積の微分法則から以下の関係が恒等的に成り立つことが示される。

g'(x)g(x) + f'(x)f(x) = 0 \overbrace{\Longrightarrow}^\mbox{Leibniz rule} g(x)^2 + f(x)^2 = \mathrm{constant}.

 

 

 

 

(3)

ここで初期値として、

\begin{cases}
f(0) = 0 \\
g(0) = f'(0) = 1
\end{cases}

 

 

 

 

(4)

を選べば、(3) は単位円に対する円の方程式となる。

g(x)^2 + f(x)^2 = 1.

 

 

 

 

(5)

従って、方程式 (2), (4) を満たす関数 f (x), g (x)単位円による定義での三角関数 sin, cos で表される。単位円による定義では sin 0 = 0, cos 0 = 1 なので、

\begin{cases}
f(x) = \sin x \\
g(x) = \cos x
\end{cases}

 

 

 

 

(6)

となる。他の三角関数はすべて sin, cos を用いて表すことができるので、(1) を出発して三角関数を定義することができた。三角関数の性質についても (6)(2) から直ちに三角関数に関する微分公式

\begin{cases}
(\sin x)' = \cos x \\
(\cos x)' = -\sin x
\end{cases}

 

 

 

 

(7)

が得られる。

また、初期値問題の方程式は線型であることから

y(x) = a \cos x + b \sin x

とすれば、y(x) は再び初期値問題の方程式の解となる。 よって初期条件を

a = \cos x_0 ,  b = -\sin x_0

と選べば

y(x) = \cos(x + x_0)

が解となり、このとき cos に関する加法定理

\cos(x + x_0) = \cos x_0 \cos x - \sin x_0 \sin x

が導かれる。次に初期条件を

a = \sin x_0 ,  b = \cos x_0

と選べば解は

y(x) = \sin(x + x_0)

となり、sin に関する加法定理

\sin(x + x_0) = \sin x_0 \cos x + \cos x_0 \sin x

が導かれる。

ここで、y(x) = cos xy(x) = sin x(1) の 2 階の線型常微分方程式の基本解であり、これらの線型結合として一般解を書き表すことができる。一方で、ある初期条件に対して y(x) = eix という特殊解が得られるから、指数関数 eix は三角関数cos x, sin x の線型結合として表すことができる。この関係はオイラーの公式として知られている。オイラーの公式は、指数関数および三角関数を形式的に冪級数展開することでも示すことができ、この形式的な操作はそれらの関数の冪級数が収束することによって保証される。冪級数を用いた三角関数および指数関数の定義は、オイラーの公式を基本的な要請と見なす限りにおいては、オイラーの公式を通じて (1) の 2 階線型常微分方程式による定義と一致していることが確かめられる。ただし、冪級数を (1) を満たす解として構成する限りにおいては、両者の定義が一致することは明らかである[3]。また、基本三角関数公式加法定理が同一定義域において成り立つことが明らかであるから、関数関係不変の法則より両者の定義が一致することは明らかである。

この他にも定積分による(逆三角関数を用いた)定義などが知られている[1][3][4]

歴史[編集]

バビロニア数学[編集]

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

古代ギリシャ・エジプト[編集]

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

古代インド[編集]

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

628年、ブラーマグプタヒンディー語: ब्रह्मगुप्त Brahmagupta)が当時のインド数学と天文学の成果をまとめた代表的な著書『ブラーマ・スプタ・シッダーンタ』(ヒンディー語: ब्राह्मस्फुटसिद्धान्त Brāhmasphuṭasiddhānta)を発表。

中国[編集]

中国へは代(718年頃)に瞿曇悉達によってシッダーンタ英語版[5](アーリヤバタの正弦表)が漢訳された『九執暦』が作られ、『開元占経中国語版英語版』に含まれている。

イスラム帝国[編集]

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

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

中世ヨーロッパ[編集]

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

中世インド[編集]

日本[編集]

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

近世ヨーロッパ[編集]

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

現代[編集]

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

三角関数の性質[編集]

周期性[編集]

sin xcos x のグラフ。これらの関数の周期性が確認できる。

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

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

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

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

\begin{align}
 \cos (t+2\pi n) &= \cos t \\
 \sin (t+2\pi n) &= \sin t
\end{align}

すなわち三角関数 cos, sin は周期 周期関数である。

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

三角関数のグラフ: Sine(青実線)、 Cosine(緑実線)、 Tangent(赤実線)、 Cosecant(青点線)、 Secant(緑点線)、 Cotangent(赤点線

相互関係[編集]

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

基本相互関係[編集]

下記に示す基本三角関数公式はピタゴラスの定理オイラーの公式などにより導かれる。 また、下記に示す基本三角関数公式はピタゴラスの基本三角関数公式 (Fundamental Pythagorean trigonometric identity) と呼ばれている[8]

  • \sin^2 \theta + \cos^2 \theta = 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.

負角・余角・補角公式[編集]

負角
  • \begin{cases}
 \sin(-\theta) = -\sin\theta \\
 \cos(-\theta) = \cos\theta \\
 \tan(-\theta) = -\tan\theta
\end{cases}
余角
  • \begin{cases}
 \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{cases}
補角
  • \begin{cases}
 \sin(\pi - \theta) = \sin\theta \\
 \cos(\pi - \theta) = -\cos\theta \\
 \tan(\pi - \theta) = -\tan\theta
\end{cases}

加法定理[編集]

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

微積分[編集]

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

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 = \operatorname{gd}^{-1}x +C
\csc x -\csc x\cot x -\ln \left| \csc x+\cot x\right| +C = \ln \left |\tan \frac{x}{2} \right| + C

ただし、gd−1xグーデルマン関数逆関数である。

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

\lim_{h\to 0} \frac{\sin h}{h} = 1

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

下記に別の導出を示す。

無限乗積展開[編集]

三角関数は以下のように無限乗積として書ける(→証明)。

\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−1x などと表す。arcsin, arccos, arctan などの記法もよく用いられる。数値計算などにおいては、これらの逆関数は更に asin, acos, atan などと書き表される。

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

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

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

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

複素関数としての三角関数[編集]

cos z, sin z級数による定義から、オイラーの公式 exp(iz) = cos z + i sin z を導くことができる。この公式から下記の 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}

が成り立つ。ここで cosh z, sinh z双曲線関数を表す。この等式は三角関数と双曲線関数の関係式と捉えることもできる。複素数 zz = x + iy (x, yR) と表現すると、加法定理より

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

が成り立つ。

他の三角関数は csc z = 1 / sin z, sec z = 1 / cos z, tan z = sin z / cos z, cot z = cos z / sin z によって定義できる。

球面三角法[編集]

球面の三角形 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. ^ a b 山口, 格. “三角関数の研究”. 2014年10月6日閲覧。
  2. ^ 内藤, 久資 (1999年). “1999年度後期「Fourier 変換とその応用”. 2014年10月17日閲覧。
  3. ^ a b 幡谷泰史; 廣澤史彦. “三角関数と円周率”. 2014年10月7日閲覧。
  4. ^ 瓜生, 等. “三角関数のさまざまな定義”. 2014年10月8日閲覧。
  5. ^ ブラーマ・スプタ・シッダーンタも参照
  6. ^ Yaʿqūb ibn Ṭāriq (يعقوب بن طارق). Zīj maḥlūl fī al‐Sindhind li‐daraja daraja (アラビア語: زيج محلول في السندهند لدرجة درجة‎, "Astronomical tables in the Sindhind resolved for each degree"). 
  7. ^ Inman, James (1835). Navigation and Nautical Astronomy for Seamen. 
  8. ^ Leff, Lawrence S. (2005). PreCalculus the Easy Way (7th ed.). Barron's Educational Series. p. 296. ISBN 0-7641-2892-2. http://books.google.com/books?id=y_7yrqrHTb4C&pg=PA296. 

参考文献[編集]

関連項目[編集]

外部リンク[編集]