逆三角関数

数学において、逆三角関数は三角関数の逆関数である。具体的には、それらは正弦 }}、余弦 }}、正接 }}、余接 }}、正割 }}、余割 }} 関数の逆関数である。これらは三角関数値から角度を得るために使われる。逆三角関数は工学、航法、物理学、幾何学において広く使われる。

1. 表記
-----

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

2. 歴史
-----

接頭辞 "arc" の起源は、弧度法に由来する。例えば、「余弦が x}} となる角度」は、単位円において、「余弦が x}} となる弧 」と同義である。

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

3. 基本的な性質
---------

3.1. 主値
-------

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

例えば、平方根関数 1=//y// = sqrt は 1=//y//sup から定義できるのと同様に、関数 1=//y// = arcsin}} は 1=sin = //x//}} であるように定義される。1=sin //y// = //x//}} となる数 y}} は無数にある；例えば 1=0 = sin 0 = sin π = sin 2π = …}} となっている。返す値を1つだけにするために、関数はその主枝 に制限する。この制限の上で、定義域内の各 x}} に対して表現 arcsin}} はその主値と呼ばれるただ1つの値だけを返す。これらの性質はすべての逆三角関数について同様に当てはまる。

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

 x}} が複素数であることを許す場合、y}} の終域はその実部にのみ適用する。

3.2. 三角関数と逆三角関数の関係
------------------

逆三角関数の三角関数を以下の表に示す。表にある関係を導くには、単純には幾何学的な考察から、直角三角形の一辺の長さを 1 とし、他方の辺の長さを 0 ≤ //x// ≤ 1}} にとってピタゴラスの定理と三角比の定義を適用すればよい。このような幾何学的な手段を用いない、純代数学的導出はより長いものとなる。



3.3. 逆三角関数の間の関係
---------------

余角：

負角：

逆数：

表から sin}} の項目を参照すれば：

ここでは複素数の平方根を、正の実部を持つように選ぶ。

タンジェント半角公式 から、次を得る：

3.4. 逆正接加法定理
------------

これは正接の加法定理

から

とすることで導かれる。

4. 微分積分学
--------

4.1. 逆三角関数の導関数
--------------

z}} の複素数値の導関数は次の通りである：

x}} が実数である場合のみ、以下の関係が成り立つ：

導出例：1=//θ// = arcsin   //x//}} であれば：

4.2. 定積分としての表現
--------------

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

1=//x// = 1}} では被積分関数値は定義できないが、定積分としては広義積分としてきちんと定義されている。

4.3. 級数
-------

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

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

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

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

4.3.1. 変種：逆正接関数の連分数
-------------------

逆正接関数の冪級数の2つの代わりはこれらの一般化連分数である：

これらの2番目は cut 複素平面において有効である。−//i//}} から虚軸を下がって無限の点までと i}} から虚軸を上がって無限の点までの2つの cut がある。それは −1}} から 1}} まで走る実数に対して最もよく働く。部分分母は奇数であり部分分子は単に sup であり各完全平方が一度現れる。1つ目はレオンハルト・オイラーによって開発された。2つ目はガウスの超幾何級数を利用してカール・フリードリヒ・ガウス  によって開発された。

4.4. 逆三角関数の不定積分
---------------

実および複素値 x}} に対して：

実数 //x// ≥ 1}} に対して：

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

4.4.1. 例
--------

を用いて、

とおく。すると

と置換する。すると

そして

//x// に逆置換すると

が出る。

5. 複素平面への拡張
-----------

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

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

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

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

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

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

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

5.1. 対数を使った形
------------

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

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

5.1.1. 証明1
----------

とおくと、

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

を得る。

とおくと

これを k}} について解くと、

5.1.2. 証明2
----------

自然対数を取り、−//i//}} を掛け、arcsin   //x//}} を θ}} に代入する。 Complex arcsin.jpg| Complex arccos.jpg| Complex arctan.jpg| Complex ArcCot.jpg| Complex ArcSec.jpg| Complex ArcCsc.jpg|

6. 応用
-----

6.1. 一般の解
---------

各三角関数は引数の実部において周期的であり、2 の各区間において2度すべてのその値を取る。正弦と余弦は周期を 2//k// − pi}} で始め 2//k// + π}} で終わり、2//k// + π}} から 2//k// + 3 までは逆にする。コサインとセカントは周期を 2//k// で始め 2//k// + で終わらせそれから 2//k// + から 2//k// + 2 まで逆にする。タンジェントは周期を 2//k// − π}} から始め 2//k// + π}} で終わらせそれから 2//k// + π}} から 2//k// + 3 まで繰り返す。コタンジェントは周期を 2//k// で始め 2//k// + で終わらせそれから 2//k// + から 2//k// + 2 まで繰り返す。

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

1つの方程式に書けば： 1つの方程式に書けば：

6.1.1. 応用：直角三角形の鋭角の計量
---------------------

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

が従う。しばしば、斜辺 }} は未知であり arcsin}} や arccos}} を使う前に、ピタゴラスの定理：1=//a//supを使って計算される必要がある。逆正接関数はこの状況で重宝する、なぜなら斜辺の長さは必要ないからだ。

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

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

6.2.1. 逆正接関数の2引数の変種
-------------------

atan2}} 関数は 2つの引数を取り、与えられた //y//, //x//}} に対して sfrac の逆正接関数値を計算する関数だが、その返り値は }} は座標平面の x}}軸の正の部分と点 }} の間の角度に反時計回りの角度に正の符号、時計回りの角度に負の符号を付けたものである。atan2}} 関数は最初多くのコンピュータ言語に導入されたが、今日では他の科学や工学の分野においても一般的に用いられている。なお、マイクロフトのExcelでは引数の順番が逆になっている。

atan2}} は標準的な arctan}}、すなわち終域を (−sfrac に持つ、を用いて次のように表現できる：

それはまた複素数 //x// + //iy//}} の偏角の主値にも等しい。

この関数はタンジェント半角公式を用いて次のようにも定義できる：//x// > 0}} あるいは //y// ≠ 0}} ならば

しかしながらこれは //x// ≤ 0}} かつ 1=//y// = 0}} が与えられると成り立たないので、計算機で用いる定義としては適切ではない。

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

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

atan2 = +0atan2 = +πatan2 = −0atan2 = −π

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

多くの応用においてdate=2014年3月}}方程式 1=//x// = tan //y//}} の解 y}} は与えられた値 −∞ < //η// < ∞}} にできるだけ近い値を取るべきである。適切な解はパラメータ修正逆正接関数

によって得られる。丸め関数 は引数に最も近い整数を与える }}。

6.2.3. 実際的考慮
------------

0}} と の近くの角度に対して、逆余弦は条件数であり、計算機において角度計算の実装に用いると精度が落ちてしまう。同様に、逆余弦は ±sfrac の近くで精度が低い。すべての角度に対して十分な精度を達成するには、実装では逆余弦あるいは atan2 を使うべきである。

7. 脚注
-----

8. 関連項目
-------

複素数の偏角
複素対数函数
ガウスの連分数
逆双曲線関数
逆三角関数の原始関数の一覧
三角関数の公式の一覧
平方根
三角関数

9. 外部リンク
--------