逆三角関数

数学における逆三角関数は、正弦 (sine)、余弦 (cosine)、正接 (tangent) といった基本的な三角関数の逆の操作を行う関数です。具体的には、これらの三角関数に特定の角度を入力したときに得られる値から、元の角度を計算するために使用されます。正弦、余弦、正接の他に、余接 (cotangent)、正割 (secant)、余割 (cosecant) の逆関数も含まれ、合わせて6種類が存在します。

これらの関数は、単に数学の理論に留まらず、工学、物理学、航法、幾何学といった幅広い分野で角度や方向を計算する際に重要な役割を果たしています。

表記法

逆三角関数の表記にはいくつかの方法があります。一般的に見られるのは、対応する三角関数の記号に上付きで「-1」を付けた形、例えば $\sin^{-1}(x)$, $\cos^{-1}(x)$, $\tan^{-1}(x)$ などです。しかし、この表記は三角関数の累乗（例: $\sin^2(x)$）と混同される可能性があり、関数の合成による逆関数と乗法逆元（逆数）との取り違えを引き起こすことがあります。

このような混乱を避けるため、接頭辞として「arc-」を用いる表記法が広く推奨されています。この場合、逆正弦関数は $\arcsin(x)$、逆余弦関数は $\arccos(x)$、逆正接関数は $\arctan(x)$ のように記述されます。本記事でもこの「arc-」を用いた表記を主に採用します。また、コンピュータプログラミングの分野では、通常 `asin`, `acos`, `atan` のような略記が用いられます。

歴史的背景

接頭辞の「arc」は、円の「弧（arc）」に由来しています。これは、単位円上で三角関数の値に対応する角度が、その値によって定まる円弧の長さや角度と結びつくことから来ています。例えば、「余弦が $x$ となる角度」は、単位円上で「余弦が $x$ となる弧」に対応する角度と考えられます。

実用的な要請から、逆三角関数に相当する計算は古くから行われていました。例えば、古代ギリシャの天文学者クラウディオス・プトレマイオスは、すでに逆正接関数の数表を作成していたと伝えられています。

主値の概念

通常の三角関数は周期性を持つため、一つの値に対して対応する角度が無数に存在します。例えば、$\sin y = 0$ となる $y$ は $0, \pi, 2\pi, \dots$ と無限にあります。このように多価関数となる逆関係から、関数として一意な値を返すようにするためには、元の三角関数の定義域を適切に制限する必要があります。この制限された定義域に対応する逆関数の値域を主値と呼びます。

各逆三角関数に対して、標準的な主値の範囲が定められています。例えば、$\arcsin x$ の主値は $[-\pi/2, \pi/2]$ の範囲で定義されます。逆正割関数や逆余割関数については、分野や文脈によって終域の取り方が異なる場合もありますが、一般的には連続性や計算上の都合を考慮して定められています。

基本的な性質と関係式

逆三角関数同士の間には様々な興味深い関係が成り立ちます。例えば、余角の関係 ($\\arccos x = \frac{\pi}{2} - \arcsin x$) や、負の引数に関する関係 ($\\arcsin(-x) = -\arcsin x$, $\\arccos(-x) = \pi - \arccos x$) などがあります。また、逆数の関係や、ある逆三角関数を別の逆三角関数で表現するための恒等式も多数存在します。

これらの関係式は、直角三角形の辺の比とピタゴラスの定理を利用した幾何学的な考察や、複素数を用いた代数的な手法によって導き出されます。

特に重要な関係として、逆正接関数の加法定理があります。$\arctan u + \arctan v = \arctan\left(\frac{u+v}{1-uv}\right)$ ($uv
eq 1$) という形で表され、これは正接関数の加法定理から容易に導かれます。

微分積分学

逆三角関数は微分・積分の対象となります。その導関数は以下のようになります。

$\frac{d}{dx} \arcsin x = \frac{1}{\sqrt{1-x^2}}$
$\frac{d}{dx} \arccos x = \frac{-1}{\sqrt{1-x^2}}$
$\frac{d}{dx} \arctan x = \frac{1}{1+x^2}$

他の逆三角関数についても同様に導関数が存在します。これらの導関数を積分することで、逆三角関数の不定積分が得られます。例えば、部分積分を用いることで、$\int \arcsin x \, dx = x \arcsin x + \sqrt{1-x^2} + C$ のような公式が導かれます。また、逆三角関数は特定の定積分としても表現することができます。

級数展開と連分数

三角関数と同様に、逆三角関数も級数によって表現することができます。例えば、逆正接関数は有名なライプニッツ級数（arctan 1 = $\pi/4$ を与える）に代表されるテイラー級数として展開可能です。オイラーやガウスといった数学者たちは、より効率的に逆三角関数を計算するための級数や連分数表現を発見しています。

複素数への拡張と対数表現

逆三角関数は実数だけでなく、複素数に対しても定義を拡張できます。複素平面上では解析関数となり、対数関数を用いて表現することも可能です。例えば、$\arcsin z = -i \log(iz + \sqrt{1-z^2})$ のような形です。ただし、複素数の対数関数の主値の取り方によって、逆三角関数の主値の定義と整合させるには注意が必要です。

応用

三角方程式の一般解: 三角関数が周期的な性質を持つことから、例えば $\sin y = x$ の解は、主値である $\arcsin x$ を用いて $y = (-1)^k \arcsin x + k\pi$ ($k$ は整数) のように一般的に表現されます。
幾何学的な計算: 直角三角形において、二辺の長さが分かっていれば、逆三角関数を用いて鋭角の大きさを計算できます。特に、直角を挟む二辺の長さが分かっている場合は、斜辺の長さを計算することなく $\arctan$ を用いて角度を求めることができます。
コンピュータとエンジニアリング: コンピュータプログラミングでは、$\arctan(y/x)$ の値を正確に、かつ象限を考慮して計算するために、$\operatorname{atan2}(y, x)$ という二引数の関数がよく用いられます。これは、与えられた点 $(x, y)$ と正のx軸とのなす偏角を返す関数であり、ナビゲーションやロボット工学などで不可欠です。

計算上の注意

コンピュータでの数値計算において、角度が 0 や $\pi$ の近くでは逆余弦関数が、角度が $\pm\pi/2$ の近くでは逆正弦関数の計算精度が低下する場合があります。そのため、安定した精度を得るためには、逆正接関数や atan2 関数を使用することが推奨されることがあります。

逆三角関数はまた、確率分布の分野において、コーシー分布や逆正弦分布の累積分布関数としても現れるなど、様々な数学的な文脈で利用されています。

もう一度検索