actions

三角関数

三角関数(さんかくかんすう、: trigonometric function)とは、平面三角法における、の大きさと線分の長さの関係を記述する関数および、それらを拡張して得られる関数の総称である。三角関数という呼び名は三角法に由来するもので、後述する単位円を用いた定義に由来する呼び名として、円関数(えんかんすう、: circular function)と呼ばれることがある。

三角関数には以下の6つがある。

  • sin(正弦sine
  • sec(正割secant
  • tan(正接tangent
  • cos(余弦cosine
  • csc(余割cosecant
  • cot(余接cotangent

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

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

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

定義

直角三角形による定義

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

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

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

[math]\begin{align} \sin \theta &= {a}/{h} \\ \sec \theta &= {h}/{b} = {1} / {\cos \theta} \\ \tan \theta &= {a}/{b} = {\sin \theta} / {\cos \theta} \\ \cos \theta &= {b}/{h} \\ \operatorname{cosec} \theta &= \csc \theta = {h}/{a} = {1} / {\sin \theta} \\ \cot \theta &= {b}/{a} = {1} / {\tan \theta} \end{align}[/math]

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

[math]\begin{align} \cos \theta &= \sin \left(90^\circ - \theta \right) = \sin (\pi / 2 - \theta )\\ \csc \theta &= \sec \left(90^\circ - \theta \right) = \sec (\pi / 2 - \theta )\\ \cot \theta &= \tan \left(90^\circ - \theta \right) = \tan (\pi / 2 - \theta ) \end{align}[/math]

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

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

単位円による定義

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

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

[math]\begin{align} \sin t &= y\\ \cos t &= x\\ \tan t &= \frac{y}{x} = \frac{\sin t}{\cos t} \end{align}[/math]

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

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

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

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

級数による定義

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

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

微分方程式による定義

実関数 f (x) の二階線型常微分方程式の初期値問題 テンプレート:NumBlk の解として cos x を定義し、sin xd (cos x)/dx として定義できる[1][2]。 上記の式を 1 階の連立常微分方程式に書き換えると、g (x) = f テンプレート:'(x) として、 テンプレート:NumBlk および初期条件 f (0) = 1, g (0) = 0 となる。

他の定義

この他にも定積分による(逆三角関数を用いた)定義や複素平面の角の回転による定義などが知られている[1][3][4][5][6][7]

三角関数の性質

周期性

ファイル:Circle cos sin.gif
正円より得られる cos θsin θ
ファイル:Sin and cos.png
sin xcos x のグラフ。これらの関数の周期性が確認できる。

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

[math]t=\theta +2\pi n\quad (0\le \theta \lt 2\pi ,\,n\isin \mathbb{Z})[/math]

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

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

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

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

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

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

相互関係

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

基本相互関係

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

[math]\sin^2 \theta + \cos^2 \theta = 1[/math]

が挙げられる。これはピタゴラスの基本三角関数公式 (Fundamental Pythagorean trigonometric identity) と呼ばれている[8]

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

[math]\begin{align} \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. \end{align}[/math]

負角・余角・補角公式

負角
[math]\begin{align} \sin (-\theta ) &= -\sin\theta \\ \cos (-\theta ) &= \cos\theta \\ \tan (-\theta ) &= -\tan\theta \end{align}[/math]
余角
[math]\begin{align} \sin ( \pi/2 - \theta ) &= \cos \theta \\ \cos ( \pi/2 - \theta ) &= \sin \theta \\ \tan ( \pi/2 - \theta ) &= \cot \theta \end{align}[/math]
補角
[math]\begin{align} \sin (\pi - \theta ) &= \sin\theta \\ \cos (\pi - \theta ) &= -\cos\theta \\ \tan (\pi - \theta ) &= -\tan\theta \end{align}[/math]

加法定理

[math]\begin{align} \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} \end{align}[/math]

余角や補角の公式は加法定理の特別な場合として得られることに注意する。

証明

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

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

[math]\begin{align}1&=e^0=e^{i\theta-i\theta}=e^{i\theta}e^{-i\theta}\\ &= \left(\cos \theta+i\sin \theta \right) \left(\cos \theta-i\sin \theta \right)\\ &=\sin^2 \theta+\cos^2 \theta\end{align}[/math]

である。

負角

sin および cos については、冪級数による表示から明らかである。また

[math]\tan (-\theta ) = \frac{\sin (-\theta )}{\cos (-\theta )} = \frac{-\sin \theta}{\cos \theta} = -\tan \theta[/math]

である。

加法定理

オイラーの公式 テンプレート:NumBlk と負角の公式から

[math]\cos z=\frac{e^{iz}+e^{-iz}}{2}, \sin z=\frac{e^{iz}-e^{-iz}}{2i}[/math]

を得、指数法則

[math]e^{z+w}=e^ze^w[/math]

を用いれば sin, cos の加法定理が得られる。これらから他の三角関数についての加法定理も得られる。

ファイル:加法定理.png
PQの線分の長さ)を求める。

また、三平方の定理から加法定理を示す方法が挙げられる。この方法では、円周上の任意の 2 点間の距離を 2 通りの座標系について求めることで、両者が等しいことから加法定理を導く。2 点間の距離を求めるのに三平方の定理を用いる。以下では単位円のみを取り扱うが、円の半径によらずこの方法から加法定理を得ることができる。

単位円の周上に 2 点 P = (cos p, sin p), Q = (cos q, sin q) を取る。P と Q を結ぶ線分の長さを PQ として、その 2 乗 PQ2 を 2 通りの方法で求めることを考える(右図も参照)。

P と Q の x 座標の差と y 座標の差から、三平方の定理を用いて PQ2 を求める。 テンプレート:NumBlk

次に Q = (cos 0, sin 0) = (1, 0) となるような座標系を取り、同様に三平方の定理から PQ2 を求める。この座標系に対する操作は、x 軸および y 軸を角度 q だけ回転させる操作に相当するので、P = (cos(pq), sin(pq)) となる。従って、 テンプレート:NumBlk となる。

テンプレート:EquationNoteテンプレート:EquationNote の右辺が互いに等しいことから、次の cos に関する加法定理が得られる。 テンプレート:NumBlk 三角関数の他の性質を利用することで、テンプレート:EquationNote から 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] [math]-\ln \left |\cos x\right| +C[/math]
[math]\cot x[/math] [math]-\csc^2 x=- \left(1+\cot^2 x \right)[/math] [math]\ln \left |\sin x\right| +C[/math]
[math]\sec x[/math] [math]\sec x\tan x[/math] [math]\ln \left| \sec x+\tan x\right| +C = \operatorname{gd}^{-1}x +C[/math]
[math]\csc x[/math] [math]-\csc x\cot x[/math] [math]-\ln \left| \csc x+\cot x\right| +C = \ln \left |\tan \frac{x}{2} \right| + C[/math]

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

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

[math]\lim_{h\to 0} \frac{\sin h}{h} = 1[/math]

の成立が基本的である。このとき、sin x導関数cos x であることは加法定理から従う(が、後述のようにこれは循環論法であると指摘される)。さらに余角公式 cos x = sin (π /2 − x) から cos x の導関数は −sin x である。すなわち、sin x微分方程式 yテンプレート:'テンプレート:' (x) + y (x) = 0特殊解である。また、他の三角関数の導関数も、上の事実から簡単に導ける。

(sin x)/xx → 0 における極限

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

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

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

無限乗積展開

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

[math]\begin{align} \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 - 1/2)^2} \right\} \end{align}[/math]

部分分数展開

三角関数は以下のように部分分数に展開される。

[math]\begin{align} \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 + 1/2 + n} = -\sum_{n = 0}^\infty \frac{2z}{z^2 - (n + 1/2 )^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 + 1/2 +n} = -\sum_{n = 0}^\infty \frac{(-1)^n (2n + 1)}{z^2 - (n + 1/2 )^2} \end{align}[/math]

逆三角関数

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

[math]\begin{align} 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 = \operatorname{cosec} y &\iff y = \operatorname{cosec}^{-1} x \end{align}[/math]

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

[math]\begin{align} -\frac{\pi}{2} &\le \sin^{-1} x \le \frac{\pi}{2} \\ 0 &\le \cos^{-1} x \le \pi \\ -\frac{\pi}{2} &\lt \tan^{-1} x \lt \frac{\pi}{2} \end{align}[/math]

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

複素関数としての三角関数

exp z, cos z, sin z級数による定義から、オイラーの公式 exp (iz) = cos z + i sin z を導くことができる。この公式から下記の 2 つの等式

[math]\begin{align} \exp(iz) &= e^{iz} = \cos z + i \sin z,\\ \exp(-iz) &= e^{-iz} = \cos z - i \sin z \end{align}[/math]

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

[math]\begin{align} \cos z &= \frac{e^{iz} + e^{-iz}}{2} ,\\ \sin z &= \frac{e^{iz} - e^{-iz}}{2i} \end{align}[/math]

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

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

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

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

が成り立つ。

他の三角関数は 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. 1.0 1.1 山口, 格. “三角関数の研究 (PDF)”. . 2014閲覧.
  2. 内藤, 久資 (1999年). “1999年度後期「Fourier 変換とその応用 (PDF)”. . 2014閲覧.
  3. 黒田 2002, pp. 176–183.
  4. 高木 2010, pp. 202–206.
  5. 小平 2003, pp. 95–105.
  6. 幡谷泰史; 廣澤史彦. “三角関数と円周率 (PDF)”. . 2014閲覧.
  7. 瓜生, 等. “三角関数のさまざまな定義 (PDF)”. . 2014閲覧.
  8. Leff, Lawrence S. (2005). PreCalculus the Easy Way, 7th, Barron's Educational Series. ISBN 0-7641-2892-2. 
  9. 面積による不等式からの証明”. . 2015閲覧.
  10. 曲線の長さによる不等式からの証明 (PDF)”. p. 1. . 2015閲覧.
  11. 新関章三(元高知大学),矢野 忠(元愛媛大学). “数学・物理通信 (PDF)”. . 2015閲覧.
  12. 大矢雅則; 岡部恒治 ほか13名 『新編 数学Ⅲ』 数研出版株式会社、2010-01-10、改訂版。ISBN 978-4-410-80166-2。OCLC 676686067
  13. 飯高茂; 松本幸夫 ほか22名 『数学Ⅲ』 東京書籍株式会社、2008-02-10。ISBN 4-487-15513-4。OCLC 76931848ほか
  14. 川中宣明. “循環論法で証明になっていない (PDF)”. p. 1. . 2015閲覧.
  15. 杉浦 1980, p. 175.
  16. 三角関数、円周率、曲線の長さ等の定義の仕方は、複数の流儀がある。ここでは杉浦 (1980, pp. 175–185)に従った。

参考文献

関連項目

外部リンク