三角関数︵さんかくかんすう、英: trigonometric function︶とは、平面三角法における、角度の大きさと線分の長さの関係を記述する関数の族、およびそれらを拡張して得られる関数の総称である。鋭角を扱う場合、三角関数の値は対応する直角三角形の二辺の長さの比︵三角比︶である。三角法に由来する三角関数という呼び名のほかに、単位円を用いた定義に由来する円関数︵えんかんすう、circular function︶という呼び名がある。
三角関数には以下の6つがある。なお、正弦、余弦、正接の3つのみを指して三角関数と呼ぶ場合もある。
●正弦︵せいげん︶、sin︵sine︶
●余弦︵よげん︶、cos︵cosine︶
●正接︵せいせつ︶、tan︵tangent︶
●正割︵せいかつ︶、sec︵secant︶
●余割︵よかつ︶、csc,cosec︵cosecant︶
●余接︵よせつ︶、cot︵cotangent︶
特に sin, cos は幾何学的にも解析学的にも良い性質をもっているので、様々な分野で用いられる。例えば、波や信号などは正弦関数と余弦関数とを組み合わせて表現することができる。この事実はフーリエ級数およびフーリエ変換の理論として知られ、音声などの信号の合成や解析の手段として利用されている。ベクトルのクロス積や内積は正弦関数および余弦関数を用いて表すことができ、ベクトルを図形に対応づけることができる。初等的には、三角関数は実数を変数とする1変数関数として定義される。三角関数の変数に対応するものとしては、図形のなす角度や、物体の回転角、波や信号のような周期的なものにおける位相などが挙げられる。
三角関数に用いられる独特な記法として、三角関数の冪乗と逆関数に関するものがある。通常、関数 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 を用いる。Arc を付けて Arcsin と表すこともある︶。
三角関数に似た性質をもつ関数として、指数関数、双曲線関数、ベッセル関数などがある。また、三角関数を利用して定義される関数としてしばしば応用されるものにsinc関数がある。
∠C を直角とする直角三角形ABC
直角三角形において、1つの鋭角の大きさが決まれば、三角形の内角の和は 180°であることから他の1つの鋭角の大きさも決まり、3辺の比も決まる。ゆえに、角度に対して辺比︵三角比︶の値を与える関数を考えることができる。
∠C を直角とする直角三角形 ABC において、それぞれの辺の長さを AB = h, BC = a, CA = bと表す︵図を参照︶。∠A = θ に対して三角形の辺の比 h : a : bが決まることから、
という6つの値が定まる。それぞれ正弦︵sine; サイン︶、余弦︵cosine; コサイン︶、正接︵tangent; タンジェント︶、正割︵secant; セカント︶、余割︵cosecant; コセカント︶、余接︵cotangent; コタンジェント︶と呼び、まとめて三角比と呼ばれる。ただし cosec は長いので csc と略記することも多い。ある角 ∠A に対する余弦、余割、余接はその角 ∠A の余角 (co-angle) に対する正弦、正割、正接として定義される。
三角比は平面三角法に用いられ、巨大な物の大きさや遠方までの距離を計算する際の便利な道具となる。角度 θ の単位は、通常度またはラジアンである。
三角比、すなわち三角関数の直角三角形を用いた定義は、直角三角形の鋭角に対して定義されるため、その定義域は θ が 0° から 90° まで(0 から π / 2 まで)の範囲に限られる。また、θ = 90° (= π / 2) の場合 sec, tan が、θ = 0°(= 0) の場合 csc, cot がそれぞれ定義されない。これは分母となる辺の比の大きさが 0 になるためゼロ除算が発生し、その除算自体が数学的に定義されないからである。一般の角度に対する三角関数を得るためには、三角関数について成り立つ何らかの定理を指針として、定義の拡張を行う必要がある。単位円による定義は初等幾何学におけるそのような拡張の例である。他に同等な方法として、正弦定理や余弦定理を用いる方法などがある。
6種類の三角関数、単位円、θ = 0.7ラジアンの角度に対する直線の図。直線の色が変わる点3点を考えたとき、1、Sec(θ)、Csc(θ)については原点から各点への線分の長さを表し、Sin(θ)、Tan(θ)、1 は各点のy成分を表す。Cos(θ)、1、Cot(θ)は各点のx成分を表す。
単位円による、6つの三角関数が表す長さ
2次元ユークリッド空間 R2における単位円 {x(t)}2 + {y(t)}2 = 1 上の点を A = (x(t), y(t)) とする。反時計回りを正の向きとして、原点と円周を結ぶ線分 OAと x軸のなす角の大きさ ∠xOA を媒介変数 tとして選ぶ。このとき実数の変数 tに対する三角関数は以下のように定義される。
これらは順に正弦関数 (sine function)、余弦関数 (cosine function)、正接関数(tangent function) と呼ばれる。さらにこれらの逆数として以下の3つの関数が定義される。
これらは順に余割関数 (cosecant function)、正割関数 (secant function)、余接関数 (cotangent function) と呼ばれ、sin, cos, tan と合わせて三角関数と総称される。特に csc, sec, cot は割三角関数︵かつさんかくかんすう︶と呼ばれることがある。
この定義は 0 < t< π / 2 の範囲では直角三角形による定義と一致する。
角度、辺の長さといった幾何学的な概念への依存を避けるため、また定義域を複素数に拡張するために、級数︵他の定義を採用した三角関数のテイラー展開に一致する︶を用いて定義することもできる。この定義は実数の範囲では単位円による定義と一致する。以下の級数は共に示される収束円内で収束する。
●z を複素数、Bn をベルヌーイ数、En をオイラー数とする。
実関数 f(x) の二階線型常微分方程式の初期値問題
(1)
の解として cosx を定義し、sinx を −d (cosx)/dx として定義できる[1][2]。上記の式を 1 階の連立常微分方程式に書き換えると、g(x) = f '(x) として、
(2)
および初期条件 f(0) = 1, g(0) = 0 となる。
この他にも定積分による(逆三角関数を用いた)定義や複素平面の角の回転による定義などが知られている[1][6][7]。
正円より得られる cosθ と sinθ
sinx と cosx のグラフ。これらの関数の周期性が確認できる。
x 軸の正の部分となす角は
と表すことができ、θ を偏角、t を一般角という。
一般角 tが 2π 進めば点 P(cost, sint) は単位円上を1周し元の位置に戻る。従って、
すなわち三角関数 cos, sin は周期 2π の周期関数である。
ほぼ同様に、tan, cot は周期 π の周期関数、sec, csc は周期 2π の周期関数である。
また、cosθ, sinθのグラフの形は正弦波である。
三角関数のグラフ: Sine(青実線)、 Cosine(緑実線)、 Tangent(赤実線)、 Cosecant(青点線)、 Secant(緑点線)、 Cotangent(赤点線)
単位円上の点の座標の関数であることから、三角関数の間には多数の相互関係が存在する。
三角関数の間に成り立つ最も基本的な恒等式の1つとして
が挙げられる。これはピタゴラスの基本三角関数公式 (Fundamental Pythagorean trigonometric identity) と呼ばれている[8]。
上記の式を変形して整理すれば、以下の式が導かれる。
-
- 負角
-
- 余角
-
- 補角
-
-
三角関数および指数関数は冪級数によって定義されているものとすると、負角公式と指数法則およびオイラーの公式より
-
である。
sin および cos については、冪級数による表示から明らかである。また
-
である。
オイラーの公式
Euler's formula
と負角の公式から
を得て、指数法則
を用いれば sin, cos の加法定理が得られる。これらから他の三角関数についての加法定理も得られる。
PQ︵緑の線分の長さ︶を求める。
また、ピタゴラスの定理から加法定理を示す方法が挙げられる。この方法では、円周上の任意の2点間の距離を2通りの座標系について求めることで、両者が等しいことから加法定理を導く。2点間の距離を求めるのに三平方の定理を用いる。以下では単位円のみを取り扱うが、円の半径によらずこの方法から加法定理を得ることができる。
単位円の周上に2点 P = (cosp, sinp), Q = (cosq, sinq) を取る。PとQを結ぶ線分の長さをPQとして、その2乗 PQ2を2通りの方法で求めることを考える︵右図も参照︶。
PとQの x座標の差と y座標の差から、三平方の定理を用いて PQ2を求める。
(1)
次に Q = (cos0, sin0) = (1, 0) となるような座標系を取り、同様に三平方の定理から PQ2を求める。この座標系に対する操作は、x 軸および y軸を角度 qだけ回転させる操作に相当するので、P = (cos(p − q), sin(p − q)) となる。従って、
(2)
となる。
(1) と (2) の右辺が互いに等しいことから、次の cos に関する加法定理が得られる。
(3)
三角関数の他の性質を利用することで、(3) から sin の加法定理なども導くことができる。
cos の不動点は以下の式を満たし、ドッティ数とよばれる。
-
三角関数は以下のように無限乗積として書ける。
-
三角関数は以下のように部分分数に展開される。
-
三角関数の定義域を適当に制限したものの逆関数を逆三角関数︵ぎゃくさんかくかんすう、英: inverse trigonometric function︶と呼ぶ。逆三角関数は逆関数の記法に則り、元の関数の記号に −1 を右肩に付して表す。たとえば逆正弦関数︵ぎゃくせいげんかんすう、英: inverse sine; インバース・サイン︶は sin−1x などと表す。arcsin, arccos, arctan などの記法もよく用いられる。数値計算などにおいては、これらの逆関数はさらに asin, acos, atan などと書き表される。
である。逆関数は逆数ではないので注意したい。逆数との混乱を避けるために、逆正弦関数 sin−1x を arcsinx と書く流儀もある。一般に周期関数の逆関数は多価関数になるので、通常は逆三角関数を一価連続なる枝に制限して考えることが多い。たとえば、便宜的に主値と呼ばれる枝を
のように選ぶことが多い。またこのとき、制限があることを強調するために、Sin−1x, Arcsin xのように頭文字を大文字にした表記がよく用いられる。
exp z, cos z, sin zの級数による定義から、オイラーの公式 exp (iz) = cos z+ i sin zを導くことができる。この公式から下記の2つの等式
が得られるから、これを連立させて解くことにより、正弦関数・余弦関数の指数関数を用いた表現が可能となる。すなわち、
が成り立つ。この事実により、級数によらずこの等式をもって複素数の正弦・余弦関数の定義とすることもある。また、
が成り立つ。ここで cosh z, sinh zは双曲線関数を表す。この等式は三角関数と双曲線関数の関係式と捉えることもできる。複素数 zを z= x+ iy(x, y∈ R) と表現すると、加法定理より
が成り立つ。
他の三角関数は cscz = 1 / sinz, secz = 1 / cosz, tanz = sinz / cosz, cotz = cosz / sinz によって定義できる。
-
cos(x + iy) の実部のグラフ
-
cos(x + iy) の虚部のグラフ
-
sin(x + iy) の実部のグラフ
-
sin(x + iy) の虚部のグラフ
球面の三角形 ABC の内角を a, b, c, 各頂点の対辺に関する球の中心角を α, β, γ とするとき、次のような関係が成立する。余弦公式や正弦余弦公式は式の対称性により各記号を入れ替えたものも成立する。
- 正弦公式
- sina : sinb : sinc = sinα : sinβ : sinγ
- 余弦公式
- cosa = −cosb cosc + sinb sinc cosα
- 余弦公式
- cosα = cosβ cosγ + sinβ sinγ cosa
- 正弦余弦公式
- sina cosβ = cosb sinc − sinb cosc cosα
- ^ 三角関数、円周率、曲線の長さ等の定義の仕方は、複数の流儀がある。
(一)^ ab山口格﹁三角関数の研究﹂﹃教授学の探究﹄第7号、北海道大学教育学部教育方法学研究室、1989年3月、1-23頁、ISSN 0288-3511、NAID 120000962860。
(二)^ 内藤, 久資 (1999年). “1999年度後期﹁Fourier 変換とその応用 "403 Forbidden"” (PDF). 2014年10月17日閲覧。[リンク切れ]
(三)^ 黒田成俊 2002, pp. 176–183.
(四)^ 高木貞治 2010, pp. 202–206.
(五)^ 小平邦彦 2003, pp. 95–105.
(六)^ 幡谷泰史; 廣澤史彦. “三角関数と円周率” (PDF). 2023年9月20日閲覧。
(七)^ 瓜生, 等. “三角関数のさまざまな定義” (PDF). 2014年10月8日閲覧。[リンク切れ]
(八)^ Leff, Lawrence S. (2005). PreCalculus the Easy Way (7th ed.). Barron's Educational Series. p. 296. ISBN 0-7641-2892-2. https://books.google.co.jp/books?id=y_7yrqrHTb4C&pg=PA296&redir_esc=y&hl=ja
(九)^ “面積による不等式からの証明”. 2015年1月20日閲覧。
(十)^ “曲線の長さによる不等式からの証明” (PDF). p. 1. 2015年1月20日閲覧。
(11)^ 新関章三︵元高知大学︶,矢野 忠︵元愛媛大学︶. “数学・物理通信” (PDF). 2015年1月21日閲覧。
(12)^ 大矢雅則、岡部恒治 ほか13名﹃新編 数学Ⅲ﹄︵改訂版︶数研出版株式会社、2010年1月10日、53頁。ISBN 978-4-410-80166-2。 NCID BA89906770。OCLC 676686067。
(13)^ 飯高茂、松本幸夫 ほか22名﹃数学Ⅲ﹄東京書籍株式会社、2008年2月10日、49頁。ISBN 4-487-15513-4。 NCID BA71854010。OCLC 76931848。 ほか
(14)^ 川中宣明. “循環論法で証明になっていない” (PDF). p. 1. 2015年1月18日閲覧。
(15)^ 杉浦光夫 1980, p. 175.
(16)^ 杉浦光夫 1980, pp. 175–185.
(17)^ Victor J. Katz (2008), A History of Mathematics, Boston: Addison-Wesley, 3rd. ed., p. 253, sidebar 8.1. “Archived copy”. 2015年4月14日時点のオリジナルよりアーカイブ。2020年12月22日閲覧。
(18)^ “The Etymology of “Sine””. Bill Cherowitzo's Home Page, Mathematical Department, University of Colorado at Denver. 2020年12月22日閲覧。
(19)^ New Oxford American Dictionary
(20)^ Roegel, Deni (2010). A reconstruction of Gunter's Canon triangulorum (1620). https://inria.hal.science/inria-00543938/document.
(21)^ 杜石然﹁イエズス会士と西洋数学の伝入﹂﹃中国言語文化研究﹄第1巻、佛教大学中国言語文化研究会、2001年7月、1-22頁、CRID 1050287838661758848、ISSN 1346-6305、NAID 110007974156。
(22)^ 伊達文治﹁三角法と対数の教材に関する史的考察﹂﹃上越教育大学数学研究﹄第30巻、上越教育大学数学教室、2015年3月、13-22頁、CRID 1050845763704678656、hdl:10513/00006983、NAID 120005703229。
(23)^ 角川新字源 改訂版 角川学芸出版