逆三角関数

数学において、逆三角関数（ぎゃくさんかくかんすう、逆三角函数、テンプレート:Lang-en-short、時折 テンプレート:En）は（定義域を適切に制限した）三角関数の逆関数である。具体的には、それらは正弦 テンプレート:En、余弦 テンプレート:En、正接 テンプレート:En、余接 テンプレート:En、正割 テンプレート:En、余割 テンプレート:En 関数の逆関数である。これらは三角関数値から角度を得るために使われる。逆三角関数は工学、航法、物理学、幾何学において広く使われる。

表記

逆三角関数の表記はたくさんある。しばしば テンプレート:Math2 などの表記が使われるが、この慣習はよく使われる テンプレート:Math といった、写像の合成ではなく冪乗を意味する表記と混同し、それゆえ合成的逆と乗法逆元との混乱を起こす可能性がある。三角関数には各逆数に名称が付されており、テンプレート:Math2 といった事実により混乱は幾分改善される。著者によっては別の慣習表記もあり、テンプレート:Math2 などのように、テンプレート:仮リンク最初の文字を テンプレート:Math2 の右上添え字とともに用いるという表記がある。これは テンプレート:Math2 などによって表現されるべき乗法逆元との混乱を避ける。一方、語頭の大文字を主値を取ることを意味するために使う著者もいる。また別の慣習は接頭辞に arc- を用いることであり、右上の テンプレート:Math の添え字の混乱は完全に解消される。その際の表記は テンプレート:Math2 となる。本記事では全体的にこの慣習を表記に用いる。コンピュータ言語では、逆三角関数の表記は通常 asin, acos, atan が使われている。

歴史

接頭辞 "arc" の起源は、弧度法に由来する。例えば、「余弦が テンプレート:Mvar となる角度」は、単位円において、「余弦が テンプレート:Mvar となる弧 (arc)」と同義である。

逆正接函数の数表は実用上の要請から、すでにクラウディオス・プトレマイオスによって作成されていたという。 テンプレート:Main テンプレート:See also

基本的な性質

主値

6つの三角関数はいずれも単射でないから、その逆関係は多価関数である。逆関数を考えるには、変域を制限する。それゆえ逆関数の値域はもとの関数の定義域の真の部分集合である。

例えば、平方根関数 テンプレート:Math2 は テンプレート:Math2 から定義できるのと同様に、関数 テンプレート:Math2 は テンプレート:Math2 であるように定義される。テンプレート:Math2 となる数 テンプレート:Mvar は無数にある；例えば テンプレート:Math2 となっている。返す値を1つだけにするために、関数はそのテンプレート:仮リンクに制限する。この制限の上で、定義域内の各 テンプレート:Mvar に対して表現 テンプレート:Math はその主値と呼ばれるただ1つの値だけを返す。これらの性質はすべての逆三角関数について同様に当てはまる。

主逆関数は以下の表にリストされる。

名前	通常の表記	定義	実数を与える テンプレート:Mvar の定義域	通常の主値の終域 （ラジアン）	通常の主値の終域 （度）
逆正弦 (arcsine)	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math
逆余弦 (arccosine)	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math
逆正接 (arctangent)	テンプレート:Math	テンプレート:Math	すべての実数	テンプレート:Math	テンプレート:Math
逆余接 (arccotangent)	テンプレート:Math	テンプレート:Math	すべての実数	テンプレート:Math	テンプレート:Math
逆正割 (arcsecant)	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math
逆余割 (arccosecant)	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math	テンプレート:Math

（注意：逆正割関数の終域を テンプレート:Math2 と定義する著者もいる。なぜならば正接関数がこの定義域上非負だからである。これによっていくつかの計算がより首尾一貫したものになる。例えば、この終域を用いて、テンプレート:Math2 と表せる。一方で終域 テンプレート:Math2 を用いる場合、テンプレート:Math2 と書かねばならない、なぜならば正接関数は テンプレート:Math2 上は負でないが テンプレート:Math2 上は正でないからである。類似の理由のため、同じ著者は逆余割関数の終域を テンプレート:Math2 と定義する。）

テンプレート:Mvar が複素数であることを許す場合、テンプレート:Mvar の終域はその実部にのみ適用する。

三角関数と逆三角関数の関係

逆三角関数の三角関数を以下の表に示す。表にある関係を導くには、単純には幾何学的な考察から、直角三角形の一辺の長さを 1 とし、他方の辺の長さを テンプレート:Math2 にとってピタゴラスの定理と三角比の定義を適用すればよい（表中の図を参照）。このような幾何学的な手段を用いない、純代数学的導出はより長いものとなる。

$\theta$	$\sin \theta$	$\cos \theta$	$\tan \theta$	図
$\arcsin x$	$\sin \arcsin x=x$	$\cos \arcsin x=\sqrt{1-x^2}$	$\tan \arcsin x=\frac{x}{\sqrt{1-x^2}}$
$\arccos x$	$\sin \arccos x=\sqrt{1-x^2}$	$\cos \arccos x=x$	$\tan \arccos x=\frac{\sqrt{1-x^2}}{x}$
$\arctan x$	$\sin \arctan x=\frac{x}{\sqrt{1+x^2}}$	$\cos \arctan x=\frac{1}{\sqrt{1+x^2}}$	$\tan \arctan x=x$
$\mathrm{arccot}x$	$\sin \mathrm{arccot}x=\frac{1}{\sqrt{1+x^2}}$	$\cos \mathrm{arccot}x=\frac{x}{\sqrt{1+x^2}}$	$\tan \mathrm{arccot}x=\frac{1}{x}$
$\mathrm{arcsec}x$	$\sin \mathrm{arcsec}x=\frac{\sqrt{x^2-1}}{x}$	$\cos \mathrm{arcsec}x=\frac{1}{x}$	$\tan \mathrm{arcsec}x=\sqrt{x^2-1}$
$\mathrm{arccsc}x$	$\sin \mathrm{arccsc}x=\frac{1}{x}$	$\cos \mathrm{arccsc}x=\frac{\sqrt{x^2-1}}{x}$	$\tan \mathrm{arccsc}x=\frac{1}{\sqrt{x^2-1}}$

逆三角関数の間の関係

平面上の直交座標系で図示された arcsin(x)（テンプレート:Color）と arccos(x)（テンプレート:Color）の通常の定義における主値。

平面上の直交座標系で図示された arctan(x)（テンプレート:Color）と arccot(x)（テンプレート:Color）の通常の定義における主値。

平面上の直交座標系で図示された arcsec(x)（テンプレート:Color）と arccsc(x)（テンプレート:Color）の主値。

余角：

$\begin{array}{cc}\arccos x& =\frac{\pi }{2}-\arcsin x\\ \mathrm{arccot}x& =\frac{\pi }{2}-\arctan x\\ \mathrm{arccsc}x& =\frac{\pi }{2}-\mathrm{arcsec}x\end{array}$

負角：

$\begin{array}{cc}\arcsin (-x)& =-\arcsin x\\ \arccos (-x)& =\pi -\arccos x\\ \arctan (-x)& =-\arctan x\\ \mathrm{arccot}(-x)& =\pi -\mathrm{arccot}x\\ \mathrm{arcsec}(-x)& =\pi -\mathrm{arcsec}x\\ \mathrm{arccsc}(-x)& =-\mathrm{arccsc}x\end{array}$

逆数：

$\begin{array}{cc}\arccos \frac{1}{x}& =\mathrm{arcsec}x\\ \arcsin \frac{1}{x}& =\mathrm{arccsc}x\\ \arctan \frac{1}{x}& =\frac{\pi }{2}-\arctan x=\mathrm{arccot}x,\text{ if }x>0\\ \arctan \frac{1}{x}& =-\frac{\pi }{2}-\arctan x=-\pi +\mathrm{arccot}x,\text{ if }x<0\\ \mathrm{arccot}\frac{1}{x}& =\frac{\pi }{2}-\mathrm{arccot}x=\arctan x,\text{ if }x>0\\ \mathrm{arccot}\frac{1}{x}& =\frac{3}{2}\pi -\mathrm{arccot}x=\pi +\arctan x,\text{ if }x<0\\ \mathrm{arcsec}\frac{1}{x}& =\arccos x\\ \mathrm{arccsc}\frac{1}{x}& =\arcsin x\end{array}$

表から テンプレート:Math の項目を参照すれば：

$\begin{array}{cc}\arccos x& =\arcsin \sqrt{1-x^2},\text{ if }0\le x\le 1\\ \arctan x& =\arcsin \frac{x}{\sqrt{1+x^2}}\end{array}$

ここでは複素数の平方根を、正の実部（あるいは平方が負の実数であれば正の虚部）を持つように選ぶ。

テンプレート:仮リンク $\tan \frac{\theta }{2}=\frac{\sin \theta }{1+\cos \theta }$ から、次を得る：

$\begin{array}{cc}\arcsin x& =2\arctan \frac{x}{1+\sqrt{1-x^2}}\\ \arccos x& =2\arctan \frac{\sqrt{1-x^2}}{1+x},\text{ if }-1<x\le +1\\ \arctan x& =2\arctan \frac{x}{1+\sqrt{1+x^2}}\end{array}$

逆正接加法定理

$\arctan u+\arctan v=\arctan \frac{u+v}{1-uv}(\mathrm{mod}\pi ),uv\ne 1.$

これは正接の加法定理

$\tan (\alpha +\beta )=\frac{\tan \alpha +\tan \beta }{1-\tan \alpha \tan \beta }$

から

$\alpha =\arctan u,\beta =\arctan v$

とすることで導かれる。

微分積分学

逆三角関数の導関数

テンプレート:Main テンプレート:Mvar の複素数値の導関数は次の通りである：

$\begin{array}{cc}\frac{d}{dz}\arcsin z& =\frac{1}{\sqrt{1-z^2}};z\ne \pm 1\\ \frac{d}{dz}\arccos z& =\frac{-1}{\sqrt{1-z^2}};z\ne \pm 1\\ \frac{d}{dz}\arctan z& =\frac{1}{1+z^2};z\ne \pm i\\ \frac{d}{dz}\mathrm{arccot}z& =\frac{-1}{1+z^2};z\ne \pm i\\ \frac{d}{dz}\mathrm{arcsec}z& =\frac{1}{z^2\sqrt{1-z^{-2}}};z\ne 0,\pm 1\\ \frac{d}{dz}\mathrm{arccsc}z& =\frac{-1}{z^2\sqrt{1-z^{-2}}};z\ne 0,\pm 1\end{array}$

テンプレート:Mvar が実数である場合のみ、以下の関係が成り立つ：

$\begin{array}{cc}\frac{d}{dx}\mathrm{arcsec}x& =\frac{1}{|x|\sqrt{x^2-1}};|x|>1\\ \frac{d}{dx}\mathrm{arccsc}x& =\frac{-1}{|x|\sqrt{x^2-1}};|x|>1\end{array}$

導出例：テンプレート:Math2 であれば：

$\frac{d\arcsin x}{dx}=\frac{d\theta }{d\sin \theta }=\frac{d\theta }{\cos \theta d\theta }=\frac{1}{\cos \theta }=\frac{1}{\sqrt{1-{\sin }^2\theta }}=\frac{1}{\sqrt{1-x^2}}$

定積分としての表現

導関数を積分し一点で値を固定すると逆三角関数の定積分としての表現が得られる：

$\begin{array}{cc}\arcsin x& =\underset{0}{\overset{x}{\int }}\frac{dz}{\sqrt{1-z^2}},|x|\le 1\\ \arccos x& =\underset{x}{\overset{1}{\int }}\frac{dz}{\sqrt{1-z^2}},|x|\le 1\\ \arctan x& =\underset{0}{\overset{x}{\int }}\frac{dz}{z^2+1},\\ \mathrm{arccot}x& =\underset{x}{\overset{\mathrm{\infty }}{\int }}\frac{dz}{z^2+1},\\ \mathrm{arcsec}x& =\underset{1}{\overset{x}{\int }}\frac{dz}{z\sqrt{z^2-1}},x\ge 1\\ \mathrm{arcsec}x& =\pi +\underset{x}{\overset{-1}{\int }}\frac{dz}{z\sqrt{z^2-1}},x\le -1\\ \mathrm{arccsc}x& =\underset{x}{\overset{\mathrm{\infty }}{\int }}\frac{dz}{z\sqrt{z^2-1}},x\ge 1\\ \mathrm{arccsc}x& =\underset{-\mathrm{\infty }}{\overset{x}{\int }}\frac{dz}{z\sqrt{z^2-1}},x\le -1\end{array}$

テンプレート:Math2 では被積分関数値は定義できないが、定積分としては広義積分としてきちんと定義されている。

級数

正弦・余弦関数のように、逆三角関数は次のように級数を用いて計算できる：

$\begin{array}{cc}\arcsin z& =\sum _{n=0}^{\mathrm{\infty }}\frac{(\genfrac{}{}{0ex}{}{2n}{n})}{4^n(2n+1)}{z}^{2n+1}\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{(2n-1)!!}{(2n)!!}\frac{z^{2n+1}}{2n+1}\\ & =z+\left(\frac{1}{2}\right)\frac{z^3}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{z^5}{5}+\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{z^7}{7}+\cdots ;|z|\le 1\end{array}$

$\begin{array}{cc}\arccos z& =\frac{\pi }{2}-\arcsin z\\ & =\frac{\pi }{2}-\sum _{n=0}^{\mathrm{\infty }}\frac{(\genfrac{}{}{0ex}{}{2n}{n})}{4^n(2n+1)}{z}^{2n+1}\\ & =\frac{\pi }{2}-(z+\left(\frac{1}{2}\right)\frac{z^3}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{z^5}{5}+\cdots );|z|\le 1\end{array}$

$\begin{array}{cc}\arctan z& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{2n+1}{z}^{2n+1}\\ & =z-\frac{z^3}{3}+\frac{z^5}{5}-\frac{z^7}{7}+\cdots ;|z|\le 1,z\ne \pm i\end{array}$

$\begin{array}{cc}\mathrm{arccot}z& =\frac{\pi }{2}-\arctan z\\ & =\frac{\pi }{2}-\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{2n+1}{z}^{2n+1}\\ & =\frac{\pi }{2}-(z-\frac{z^3}{3}+\frac{z^5}{5}-\frac{z^7}{7}+\cdots );|z|\le 1,z\ne \pm i\end{array}$

$\begin{array}{cc}\mathrm{arcsec}z& =\arccos \frac{1}{z}\\ & =\frac{\pi }{2}-\sum _{n=0}^{\mathrm{\infty }}\frac{(\genfrac{}{}{0ex}{}{2n}{n})}{4^n(2n+1)}{z}^{-(2n+1)}\\ & =\frac{\pi }{2}-(z^{-1}+\left(\frac{1}{2}\right)\frac{z^{-3}}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{z^{-5}}{5}+\cdots );|z|\ge 1\end{array}$

$\begin{array}{cc}\mathrm{arccsc}z& =\arcsin \frac{1}{z}\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{(\genfrac{}{}{0ex}{}{2n}{n})}{4^n(2n+1)}{z}^{-(2n+1)}\\ & =z^{-1}+\left(\frac{1}{2}\right)\frac{z^{-3}}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{z^{-5}}{5}+\cdots ;|z|\ge 1\end{array}$

レオンハルト・オイラー (テンプレート:En) は逆正接関数のより効率的な級数を見つけた：

$\arctan z=\frac{z}{1+z^2}\sum _{n=0}^{\mathrm{\infty }}\prod _{k=1}^n\frac{2k{z}^2}{(2k+1)(1+z^2)}.$

（テンプレート:Math2 に対する和の項は テンプレート:Math である 0 項の積であることに注意する。）

代わりにこれは次のようにも書ける：

$\arctan z=\sum _{n=0}^{\mathrm{\infty }}\frac{2^{2n}(n!{)}^2}{(2n+1)!}\frac{z^{2n+1}}{(1+z^2{)}^{n+1}}$

ここから次の級数も得られる：

$(\arcsin z{)}^2=\sum _{n=0}^{\mathrm{\infty }}\frac{2^{2n+1}(n!{)}^2}{(2n+2)!}{z}^{2n+2}$

変種：逆正接関数の連分数

逆正接関数の冪級数の2つの代わりはこれらのテンプレート:仮リンクである：

$\begin{array}{cc}\arctan z& =\frac{z}{1+\frac{(1z{)}^2}{3-1z^2+\frac{(3z{)}^2}{5-3z^2+\frac{(5z{)}^2}{7-5z^2+\frac{(7z{)}^2}{9-7z^2+\ddots }}}}}\\ & =\frac{z}{1+\frac{(1z{)}^2}{3+\frac{(2z{)}^2}{5+\frac{(3z{)}^2}{7+\frac{(4z{)}^2}{9+\ddots }}}}}\end{array}$

これらの2番目は cut 複素平面において有効である。テンプレート:Math2 から虚軸を下がって無限の点までと テンプレート:Mvar から虚軸を上がって無限の点までの2つの cut がある。それは テンプレート:Math から テンプレート:Math まで走る実数に対して最もよく働く。部分分母は奇数であり部分分子は（最初の後）単に テンプレート:Math2 であり各完全平方が一度現れる。1つ目はレオンハルト・オイラーによって開発された。2つ目はテンプレート:仮リンクを利用してカール・フリードリヒ・ガウス (テンプレート:En) によって開発された。

逆三角関数の不定積分

実および複素値 テンプレート:Mvar に対して：

$\begin{array}{cc}\int \arcsin xdx& =x\arcsin x+\sqrt{1-x^2}+C\\ \int \arccos xdx& =x\arccos x-\sqrt{1-x^2}+C\\ \int \arctan xdx& =x\arctan x-\frac{1}{2}\log (1+x^2)+C\\ \int \mathrm{arccot}xdx& =x\mathrm{arccot}x+\frac{1}{2}\log (1+x^2)+C\\ \int \mathrm{arcsec}xdx& =x\mathrm{arcsec}x-\log \left[x(1+\sqrt{\frac{x^2-1}{x^2}})\right]+C\\ \int \mathrm{arccsc}xdx& =x\mathrm{arccsc}x+\log \left[x(1+\sqrt{\frac{x^2-1}{x^2}})\right]+C\end{array}$

実数 テンプレート:Math2 に対して：

$\begin{array}{cc}\int \mathrm{arcsec}xdx& =x\mathrm{arcsec}x-\log (x+\sqrt{x^2-1})+C\\ \int \mathrm{arccsc}xdx& =x\mathrm{arccsc}x+\log (x+\sqrt{x^2-1})+C\end{array}$

これらはすべて部分積分と上で示された単純な導関数の形を用いて導出できる。

例

$\int u\mathrm{d}v=uv-\int v\mathrm{d}u$ を用いて、

$\begin{array}{cccc}u& =& \arcsin x& \mathrm{d}v=\mathrm{d}x\\ \mathrm{d}u& =& \frac{\mathrm{d}x}{\sqrt{1-x^2}}& v=x\end{array}$

とおく。すると

$\int \arcsin x\mathrm{d}x=x\arcsin x-\int \frac{x}{\sqrt{1-x^2}}\mathrm{d}x$

$k=1-x^2$

と置換する。すると

$\mathrm{d}k=-2x\mathrm{d}x$

そして

$\int \frac{x}{\sqrt{1-x^2}}\mathrm{d}x=-\frac{1}{2}\int \frac{\mathrm{d}k}{\sqrt{k}}=-\sqrt{k}$

x に逆置換すると

$\int \arcsin x\mathrm{d}x=x\arcsin x+\sqrt{1-x^2}+C$

が出る。

複素平面への拡張

逆三角関数は解析関数であるから、実数直線から複素平面に拡張することができる。その結果は複数のシートと分岐点を持つ関数になる。拡張を定義する1つの可能な方法は：

$\arctan z=\underset{0}{\overset{z}{\int }}\frac{dx}{1+x^2}z\ne \pm i$

ただし −i と +i の真の間にない虚軸の部分は主シートと他のシートの間の cut である；

$\arcsin z=\arctan \frac{z}{\sqrt{1-z^2}}z\ne \pm 1$

ただし（平方根関数は負の実軸に沿って cut を持ち）−1 と +1 の真の間にない実軸の部分は arcsin の主シートと他のシートの間の cut である；

$\arccos z=\frac{\pi }{2}-\arcsin zz\ne \pm 1$

これは arcsin と同じ cut を持つ；

$\mathrm{arccot}z=\frac{\pi }{2}-\arctan zz\ne \pm i$

これは arctan と同じ cut を持つ；

$\mathrm{arcsec}z=\arccos \frac{1}{z}z\ne 0,\pm 1$

ただし −1 と +1 の両端を含む間の実軸の部分は arcsec の主シートと他のシートの間の cut である；

$\mathrm{arccsc}z=\arcsin \frac{1}{z}z\ne 0,\pm 1$

これは arcsec と同じ cut を持つ。

対数を使った形

これらの関数は複素対数関数を使って表現することもできる。これらの関数の対数表現は三角関数の指数関数による表示を経由して初等的な証明が与えられ、その定義域を複素平面に自然に拡張する。

$\begin{array}{ccc}\arcsin x& =-i\log (ix+\sqrt{1-x^2})& =\mathrm{arccsc}\frac{1}{x}\\ \arccos x& =-i\log (x-i\sqrt{1-x^2})=\frac{\pi }{2}+i\log (ix+\sqrt{1-x^2})=\frac{\pi }{2}-\arcsin x& =\mathrm{arcsec}\frac{1}{x}\\ \arctan x& =\frac{1}{2}i\{\log (1-ix)-\log (1+ix)\}& =\mathrm{arccot}\frac{1}{x}\\ \mathrm{arccot}x& =\frac{1}{2}i\{\log (1-\frac{i}{x})-\log (1+\frac{i}{x})\}& =\arctan \frac{1}{x}\\ \mathrm{arcsec}x& =-i\log (i\sqrt{1-\frac{1}{x^2}}+\frac{1}{x})=i\log (\sqrt{1-\frac{1}{x^2}}+\frac{i}{x})+\frac{\pi }{2}=\frac{\pi }{2}-\mathrm{arccsc}x& =\arccos \frac{1}{x}\\ \mathrm{arccsc}x& =-i\log (\sqrt{1-\frac{1}{x^2}}+\frac{i}{x})& =\arcsin \frac{1}{x}\end{array}$

ここで注意しておきたいことは、複素対数関数における主値は、複素数の偏角部分 arg の主値の取り方に依存して決まることである。それ故に、ここで示した対数表現における主値は、複素対数関数の主値を基準にすると、逆三角関数の主値で述べた通常の主値と一致しない場合があることに注意する必要がある。一致させたい場合は、対数部の位相をずらすことで対応できる。もし文献により異なる対数表現が与えられているような場合には、主値の範囲を異なる範囲で取る場合であると考えられるので、目的に応じて対数部の位相をずらす必要がある。

証明1

$\arcsin x=\theta$

とおくと、

$\sin \theta =x$

正弦の指数関数による定義より

$\frac{e^{i\theta }-e^{-i\theta }}{2i}=x$

を得る。

$k=e^{i\theta }$

とおくと

$\frac{k-\frac{1}{k}}{2i}=x$

これを テンプレート:Mvar について解くと、

$k^2-2ixk-1=0$

$e^{i\theta }=k=ix\pm \sqrt{1-x^2}$

$\arcsin x=\theta =-i\log (ix\pm \sqrt{1-x^2})$

（正の分枝を選ぶ）

証明2

$\theta =\arcsin x$

$e^{i\theta }=\cos \theta +i\sin \theta$

自然対数を取り、テンプレート:Math を掛け、テンプレート:Math2 を テンプレート:Mvar に代入する。

$\arcsin x=-i\log (\cos \arcsin x+i\sin \arcsin x)$

$\arcsin x=-i\log (\sqrt{1-x^2}+ix)$

• 複素平面における逆三角関数
• 
  $\arcsin z$
• 
  $\arccos z$
• 
  $\arctan z$
• 
  $\mathrm{arccot}z$
• 
  $\mathrm{arcsec}z$
• 
  $\mathrm{arccsc}z$

応用

一般の解

各三角関数は引数の実部において周期的であり、2テンプレート:Π の各区間において2度すべてのその値を取る。正弦と余弦は（k を整数として）周期を 2テンプレート:Pik − テンプレート:Sfrac で始め 2テンプレート:Πk + テンプレート:Sfrac で終わり、2テンプレート:Πk + テンプレート:Sfrac から 2テンプレート:Pik + テンプレート:Sfracテンプレート:Π までは逆にする。コサインとセカントは周期を 2テンプレート:Πk で始め 2テンプレート:Πk + テンプレート:Π で終わらせそれから 2テンプレート:Πk + テンプレート:Π から 2テンプレート:Πk + 2テンプレート:Pi まで逆にする。タンジェントは周期を 2テンプレート:Πk − テンプレート:Sfrac から始め 2テンプレート:Πk + テンプレート:Sfrac で終わらせそれから 2テンプレート:Πk + テンプレート:Sfrac から 2テンプレート:Πk + テンプレート:Sfracテンプレート:Pi まで（前へ）繰り返す。コタンジェントは周期を 2テンプレート:Πk で始め 2テンプレート:Πk + テンプレート:Π で終わらせそれから 2テンプレート:Pik + テンプレート:Π から 2テンプレート:Πk + 2テンプレート:Π まで（前へ）繰り返す。

この周期性は k を何か整数として一般の逆において反映される：

$\sin y=x\iff y=\arcsin x+2k\pi \text{ or }y=\pi -\arcsin x+2k\pi$

1つの方程式に書けば：$\sin y=x\iff y=(-1{)}^k\arcsin x+k\pi$

$\cos y=x\iff y=\arccos x+2k\pi \text{ or }y=2\pi -\arccos x+2k\pi$

1つの方程式に書けば：$\cos y=x\iff y=\pm \arccos x+2k\pi$

$\tan y=x\iff y=\arctan x+k\pi$

$\cot y=x\iff y=\mathrm{arccot}x+k\pi$

$\sec y=x\iff y=\mathrm{arcsec}x+2k\pi \text{ or }y=2\pi -\mathrm{arcsec}x+2k\pi$

$\csc y=x\iff y=\mathrm{arccsc}x+2k\pi \text{ or }y=\pi -\mathrm{arccsc}x+2k\pi$

応用：直角三角形の鋭角の計量

直角三角形

逆三角関数は、直角三角形において、辺の長さから鋭角を求めるときに有用である。例えば テンプレート:Math の直角三角形による定義を思い出すと

$\theta =\arcsin \frac{\text{opposite}}{\text{hypotenuse}}$

が従う。しばしば、斜辺 テンプレート:En は未知であり テンプレート:Math や テンプレート:Math を使う前に、ピタゴラスの定理：テンプレート:Math2（テンプレート:Mvar は斜辺の長さ）を使って計算される必要がある。逆正接関数はこの状況で重宝する、なぜなら斜辺の長さは必要ないからだ。

$\theta =\arctan \frac{\text{opposite}}{\text{adjacent}}.$

例えば、7 メートル行くと 3 メートル下がる屋根を考えよう。この屋根は水平線と角度 テンプレート:Mvar をなす。このとき テンプレート:Mvar は次のように計算できる：

$\theta =\arctan \frac{\text{opposite}}{\text{adjacent}}=\arctan \frac{\text{rise}}{\text{run}}=\arctan \frac{3}{7}\approx 23.2^{\circ }.$

コンピュータサイエンスとエンジニアリング

逆正接関数の2引数の変種

テンプレート:Main テンプレート:Math 関数は 2つの引数を取り、与えられた テンプレート:Math2 に対して テンプレート:Math の逆正接関数値を計算する関数だが、その返り値は テンプレート:Math2 の範囲に定める。言い換えると、テンプレート:Math2 は座標平面の テンプレート:Mvar軸の正の部分と点 テンプレート:Math2 の間の角度に反時計回りの角度（上半平面、テンプレート:Math2）に正の符号、時計回りの角度（下半平面、テンプレート:Math2）に負の符号を付けたものである。テンプレート:Math 関数は最初多くのコンピュータ言語に導入されたが、今日では他の科学や工学の分野においても一般的に用いられている。なお、マイクロソフトのExcelでは引数の順番が逆になっている。

テンプレート:Math は標準的な テンプレート:Math、すなわち終域を テンプレート:Math2 に持つ、を用いて次のように表現できる：

$\mathrm{atan2}(y,x)=\{\begin{array}{cc}\arctan \frac{y}{x}& x>0\\ \arctan \frac{y}{x}+\pi & y\ge 0,x<0\\ \arctan \frac{y}{x}-\pi & y<0,x<0\\ \frac{\pi }{2}& y>0,x=0\\ -\frac{\pi }{2}& y<0,x=0\\ \mathrm{u}\mathrm{n}\mathrm{d}\mathrm{e}\mathrm{f}\mathrm{i}\mathrm{n}\mathrm{e}\mathrm{d}& y=0,x=0\end{array}$

それはまた複素数 テンプレート:Math2 の偏角の主値にも等しい。

この関数はテンプレート:仮リンクを用いて次のようにも定義できる：テンプレート:Math2 あるいは テンプレート:Math2 ならば

$\mathrm{atan2}(y,x)=2\arctan \frac{y}{\sqrt{x^2+y^2}+x}$

しかしながらこれは テンプレート:Math2 かつ テンプレート:Math2 が与えられると成り立たないので、計算機で用いる定義としては適切ではない。

上の引数の順序 テンプレート:Math2 は最も一般的のようであり、特にC言語のようなISO規格において用いられるが、少数の著者は逆の慣習 テンプレート:Math2 を用いているため、注意が必要である。これらのバリエーションは atan2 に詳しい。

x, y 共に 0 の場合、インテルの CPU の FPATAN 命令、Javaプラットフォーム、.NET Framework などは下記ルールに従っている。

atan2(+0, +0) = +0

atan2(+0, −0) = +π

atan2(−0, +0) = −0

atan2(−0, −0) = −π

位置パラメータを伴う逆正接関数

多くの応用においてテンプレート:Which方程式 テンプレート:Math2 の解 テンプレート:Mvar は与えられた値 テンプレート:Math2 にできるだけ近い値を取るべきである。適切な解はパラメータ修正逆正接関数

$y={\arctan }_{\eta }x:=\arctan x+\pi \cdot \mathrm{rni}\frac{\eta -\arctan x}{\pi }$

によって得られる。丸め関数 $\mathrm{rni}$ は引数に最も近い整数を与える テンプレート:En。

実際的考慮

テンプレート:Math と テンプレート:Π の近くの角度に対して、逆余弦は条件数であり、計算機において角度計算の実装に用いると精度が落ちてしまう（桁数の制限のため）。同様に、逆正弦は テンプレート:Math の近くで精度が低い。すべての角度に対して十分な精度を達成するには、実装では逆正接あるいは atan2 を使うべきである。

確率分布

arctan はコーシー分布の、arcsinはテンプレート:Illの累積分布関数である。

関連項目

• 複素数の偏角
• 複素対数函数
• ガウスの連分数
• 逆双曲線関数
• 逆三角関数の原始関数の一覧
• 三角関数の公式の一覧
• 平方根
• テンプレート:仮リンク
• 三角関数

外部リンク

• テンプレート:Kotobank
• テンプレート:高校数学の美しい物語
• テンプレート:MathWorld
• テンプレート:SpringerEOM
• テンプレート:PlanetMath
• テンプレート:MathWorld
• テンプレート:PlanetMath