数学において、逆三角関数(ぎゃくさんかくかんすう、逆三角函数、英: inverse trigonometric function、時折 cyclometric function[1])は(定義域を適切に制限した)三角関数の逆関数である。具体的には、それらは正弦 (sine)、余弦 (cosine)、正接 (tangent)、余接 (cotangent)、正割 (secant)、余割 (cosecant) 関数の逆関数である。これらは三角関数値から角度を得るために使われる。逆三角関数は工学、航法、物理学、幾何学において広く使われる。 逆三角関数の表記はたくさんある。しばしば sin−1 (x), cos−1 (x), tan−1 (x) などの表記が使われるが、この慣習はよく使われる sin2 (x) といった、写像の合成ではなく冪乗を意味する表記と混同し、それゆえ合成的逆と乗法逆元との混乱を起こす可能性がある。三角関数には各逆数に名称が付されており、(cos x)−1 = sec x といった事実により混乱は幾分改善される。著者によっては別の慣習表記もあり[2]、Sin−1 (x), Cos−1 (x) などのように、大文字の
表記
接頭辞 "arc" の起源は、弧度法に由来する。例えば、「余弦が x となる角度」は、単位円において、「余弦が x となる弧 (arc)」と同義である[4]。
逆正接函数の数表は実用上の要請から、すでにクラウディオス・プトレマイオスによって作成されていたという[5]。詳細は「atan2」を参照「:en:CORDIC
」も参照6つの三角関数はいずれも単射でないから、多価関数である。逆関数を考えるには、変域を制限する。それゆえ逆関数の値域はもとの関数の定義域の真の部分集合である。
例えば、平方根関数 y = √x は y2 = x から定義できるのと同様に、関数 y = arcsin(x) は sin(y) = x であるように定義される。sin y = x となる数 y は無数にある;例えば 0 = sin 0 = sin π = sin 2π = … となっている。返す値を1つだけにするために、関数はその主枝
(英語版)に制限する。この制限の上で、定義域内の各 x に対して表現 arcsin(x) はその主値と呼ばれるただ1つの値だけを返す。これらの性質はすべての逆三角関数について同様に当てはまる。主逆関数は以下の表にリストされる。
名前通常の表記定義実数を与える x の定義域通常の主値の終域
(ラジアン)通常の主値の終域
(度)
逆正弦
(arcsine)y = arcsin xx = sin y−1 ? x ? 1−.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}π/2 ? y ? π/2−90° ? y ? 90°
逆余弦
(arccosine)y = arccos xx = cos y−1 ? x ? 10 ? y ? π0° ? y ? 180°
逆正接
(arctangent)y = arctan xx = tan yすべての実数−π/2 < y < π/2−90° < y < 90°
逆余接
(arccotangent)y = arccot xx = cot yすべての実数0 < y < π0° < y < 180°
逆正割
(arcsecant)y = arcsec xx = sec yx ? ?1 or 1 ? x0 ? y < π/2 or π/2 < y ? π0° ? y < 90° or 90° < y ? 180°
逆余割
(arccosecant)y = arccsc xx = csc yx ? ?1 or 1 ? x−π/2 ? y < 0 or 0 < y ? π/2−90° ? y < 0° or 0° < y ? 90°
(注意:逆正割関数の終域を (0 ? y < π/2 or π ? y < 3/2π) と定義する著者もいる、なぜならば正接関数がこの定義域上非負だからである。これによっていくつかの計算がより首尾一貫したものになる。例えば、この終域を用いて、tan(arcsec(x)) = √x2 − 1 と表せる。一方で終域 (0 ? y < π/2 or π/2 < y ? π) を用いる場合、tan(arcsec(x)) = ± √x2 − 1 と書かねばならない、なぜならば正接関数は 0 ? y < π/2 上は負でないが π/2 < y ? π 上は正でないからである。類似の理由のため、同じ著者は逆余割関数の終域を (−π < y ? −π/2 or 0 < y ? π/2) と定義する。)
x が複素数であることを許す場合、y の終域はその実部にのみ適用する。 逆三角関数の三角関数を以下の表に示す。表にある関係を導くには、単純には幾何学的な考察から、直角三角形の一辺の長さを 1 とし、他方の辺の長さを 0 ? x ? 1 にとってピタゴラスの定理と三角比の定義を適用すればよい(表中の図を参照)。このような幾何学的な手段を用いない、純代数学的導出はより長いものとなる。 θ {\displaystyle \theta } sin θ {\displaystyle \sin \theta } cos θ {\displaystyle \cos \theta } tan θ {\displaystyle \tan \theta } 図
三角関数と逆三角関数の関係
arcsin x {\displaystyle \arcsin x} sin arcsin x = x {\displaystyle \sin \arcsin x=x} cos arcsin x = 1 − x 2 {\displaystyle \cos \arcsin x={\sqrt {1-x^{2}}}} tan arcsin x = x 1 − x 2 {\displaystyle \tan \arcsin x={\frac {x}{\sqrt {1-x^{2}}}}}
arccos x {\displaystyle \arccos x} sin arccos x = 1 − x 2 {\displaystyle \sin \arccos x={\sqrt {1-x^{2}}}} cos arccos x = x {\displaystyle \cos \arccos x=x} tan arccos x = 1 − x 2 x {\displaystyle \tan \arccos x={\frac {\sqrt {1-x^{2}}}{x}}}