理工系学部で学ぶ微分積分学や難関大の数学において、多くの学習者が最初に違和感を覚える難所のひとつが「逆三角関数の微分」です。なかでもアークサイン（$\arcsin x$ または $\sin^{-1} x$）の微分は、三角関数を微分したはずなのに根号を含む代数的な分数式が現れるため、丸暗記に頼ったまま試験で符号や定義域をミスしてしまうケースが後を絶ちません。
公式の形だけを機械的に記憶しても、複雑な合成関数の計算や積分の置換処理には太刀打ちできません。この記事では、アークサインの微分がなぜあの美しい分数形へと帰着するのか、その本質的なメカニズムをステップ形式で分かりやすく紐解きます。
📌 【この記事の重要ポイントまとめ】
- 要点1：アークサインの微分公式は $\frac{d}{dx}\arcsin x = \frac{1}{\sqrt{1-x^2}}$ であり、導出の鍵は「逆関数の微分法」にある。
- 要点2：根号に正の符号が付く理由は、主値として制限された値域 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ 内で常に $\cos y \ge 0$ が成り立つためである。
- 要点3：アークコサインやアークタンジェントとの対称性、合成関数の微分や積分展開まで体系化して覚えることで計算ミスを防げる。
【公式一覧】アークサインの微分公式と逆三角関数の基本関係
微分積分学における逆三角関数は、工学や物理シミュレーションにおける角度計算・波動解析などで日常的に登場します。まずは基本となる3大逆三角関数の微分公式を整理しておきましょう。
主役となるアークサイン微分公式は以下の通りです。
$$\frac{d}{dx}\arcsin x = \frac{1}{\sqrt{1-x^2}} \quad (|x| < 1)$$
あわせて押さえておきたいのが、アークコサイン微分とアークタンジェント微分の公式です。
$$\frac{d}{dx}\arccos x = -\frac{1}{\sqrt{1-x^2}} \quad (|x| < 1)$$
$$\frac{d}{dx}\arctan x = \frac{1}{1+x^2}$$
注目すべきは、$\arcsin x$ と $\arccos x$ の導関数が「符号違い（マイナスが付くだけ）」である点です。これは $\arcsin x + \arccos x = \frac{\pi}{2}$（定数）という恒等式が成立しており、両辺を $x$ で微分すると $\frac{d}{dx}\arcsin x + \frac{d}{dx}\arccos x = 0$ となる事実からも直感的に納得できます。
【完全証明】なぜあの形になるのか？逆関数の微分法による導出手順
「なぜ $\sin$ の逆関数を微分すると $\frac{1}{\sqrt{1-x^2}}$ になるのか？」という疑問を解消するには、アークサイン導出方法の基礎である逆関数の微分法を用います。
$y = \arcsin x$ とおくと、アークサインの定義から次の関係が成り立ちます。
$$x = \sin y \quad \left(-\frac{\pi}{2} \le y \le \frac{\pi}{2}\right)$$
ここから導出する手順は次の3ステップです。
ステップ1：$x$ を $y$ で微分する
両辺を $y$ で微分すると、通常の三角関数の微分により次のようになります。
$$\frac{dx}{dy} = \cos y$$
ステップ2：逆関数の微分公式を適用する
逆関数の微分の基本公式 $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$ より、次式を得ます。
$$\frac{dy}{dx} = \frac{1}{\cos y}$$
ステップ3：$\cos y$ を $x$ の式に変換する
三角関数の相互関係 $\sin^2 y + \cos^2 y = 1$ より $\cos y = \pm \sqrt{1 - \sin^2 y}$ となりますが、ここで定義域と値域の制約が効いてきます。値域は $-\frac{\pi}{2} \le y \le \frac{\pi}{2}$ であるため、この区間において $\cos y \ge 0$ です。したがって符号は常に正となり、$\cos y = \sqrt{1 - \sin^2 y} = \sqrt{1 - x^2}$ と確定します。
これを代入することで、目的の公式 $\frac{d}{dx}\arcsin x = \frac{1}{\sqrt{1-x^2}}$ が綺麗に導かれます。
【落とし穴】アークサインの定義域・値域とグラフの書き方
計算問題で失点しやすい最大の原因が、アークサイン定義域値域への無理解です。
通常のサイン関数 $y = \sin x$ は周期関数であり、1つの $y$ に対して無数の $x$ が存在するため、そのままでは逆関数を1対1に対応させることができません。そこで、狭義単調増加となる区間 $\left[-\frac{\pi}{2}, \frac{\pi}{2}\right]$ に制限して逆関数を定義しています。
■ アークサインの基本仕様
・元の関数の定義域制限：$-\frac{\pi}{2} \le x \le \frac{\pi}{2}$
・アークサインの定義域：$-1 \le x \le 1$
・アークサインの値域（主値）：$-\frac{\pi}{2} \le y \le \frac{\pi}{2}$
・微分可能な範囲：$-1 < x < 1$（端点 $x = \pm 1$ では分母が0になるため微分不可）
アークサイングラフ書き方のコツは、直線 $y = x$ に対する対称移動です。原点 $(0,0)$ を通り、$x=1$ で $y=\frac{\pi}{2}$、$x=-1$ で $y=-\frac{\pi}{2}$ に達します。端点付近では傾きが急激に立ち上がり、垂直（接線の傾きが無限大）に近づく特徴を持っています。
【応用演習】合成関数の微分でアークサインを攻略する実践テクニック
試験や実務で登場する問題の多くは、単なる $\arcsin x$ ではなく中身に変数が組み込まれた形をしています。そこで必須となるのが合成関数の微分アークサインへの適用です。
基本形として $\frac{d}{dx}\arcsin(f(x)) = \frac{f'(x)}{\sqrt{1 - \{f(x)\}^2}}$ を使います。
【例題1】$y = \arcsin(3x)$ の微分
$f(x) = 3x$、$f'(x) = 3$ より、
$$y' = \frac{3}{\sqrt{1 - (3x)^2}} = \frac{3}{\sqrt{1 - 9x^2}} \quad \left(|x| < \frac{1}{3}\right)$$
【例題2】$y = \arcsin\left(\frac{x}{a}\right)$ の微分（$a > 0$）
物理学や積分公式で頻出する標準形です。
$$y' = \frac{\frac{1}{a}}{\sqrt{1 - \left(\frac{x}{a}\right)^2}} = \frac{\frac{1}{a}}{\sqrt{\frac{a^2 - x^2}{a^2}}} = \frac{1}{\sqrt{a^2 - x^2}}$$
この結果は、大学入試や数分積分学のテストで頻出する不定積分 $\int \frac{1}{\sqrt{a^2 - x^2}} dx = \arcsin\left(\frac{x}{a}\right) + C$ の逆演算としてそのまま直結します。
【発展展開】アークサインの積分とマクローリン展開
微分の先にある解析的な発展分野として、アークサイン積分と級数展開についても触れておきます。
■ 部分積分法による不定積分
$\int \arcsin x \, dx$ を計算する際は、「$1 \cdot \arcsin x$」とみなして部分積分法を適用します。
$$\int \arcsin x \, dx = x \arcsin x - \int x \cdot \frac{1}{\sqrt{1-x^2}} \, dx$$
後半の積分は $\frac{d}{dx}(1-x^2) = -2x$ を利用すると即座に解け、次の美しい解が得られます。
$$\int \arcsin x \, dx = x \arcsin x + \sqrt{1-x^2} + C$$
■ マクローリン展開アークサインの導出
導関数 $\frac{1}{\sqrt{1-x^2}} = (1-x^2)^{-1/2}$ に対して二項展開（一般化二項定理）を適用し、各項を項別積分することでマクローリン展開が求まります。
$$\arcsin x = x + \frac{1}{6}x^3 + \frac{3}{40}x^5 + \frac{5}{112}x^7 + \cdots \quad (|x| < 1)$$
このように、微分を出発点として積分や無限級数展開へと知識のネットワークが広がっていきます。
【アーク サイン 微分】に関するよくある質問（FAQ）
Q1：$\sin^{-1} x$ と $(\sin x)^{-1}$ の違いは何ですか？表記で混乱します。
A1：$\sin^{-1} x$ はアークサイン（逆関数）を表し、$(\sin x)^{-1}$ はサインの逆数（$\frac{1}{\sin x} = \csc x$）を意味します。意味が全く異なるため、混同を防ぐために大学数学や工学分野では $\arcsin x$ の表記が推奨される場面が多く見られます。
Q2：$x = \pm 1$ で微分できないのはなぜですか？
A2：導関数の分母が $\sqrt{1 - x^2}$ となっており、$x = \pm 1$ を代入すると分母がゼロになってしまうためです。グラフ上でも $x \to \pm 1$ において曲線の傾きが無限大（垂直）に発散することが確認できます。
Q3：なぜ $\cos y$ の平方根を取るときにマイナスがつかないのですか？
A3：アークサインの値域が主値として $[-\frac{\pi}{2}, \frac{\pi}{2}]$（第4象限〜第1象限）に定義されているからです。この角度範囲ではコサインの値が必ず $0$ 以上（$\cos y \ge 0$）になるため、$\pm$ の負側を考慮する必要がありません。
まとめ：逆関数の仕組みを理解して微積分の基礎を固めよう
アークサインの微分公式は、一見すると複雑な分数と根号の組み合わせに見えますが、その背景には「逆関数の微分法」と「定義域・値域の厳密な設計」という数学的に洗練された論理が隠されています。
導出プロセスを一度自力で紙に書いて再現できるようになれば、試験本番で公式をド忘れしたとしても数十秒で導き出すことが可能です。アークコサインやアークタンジェント、さらには合成関数の微分や積分計算へと応用範囲を広げ、確固たる計算力を身につけていきましょう。 （出典: アーク サイン 微分（Yahoo!ニュース））