理工系学部や高校数学の発展分野で必ず直面するのが、逆三角関数の微分です。中でもアークサイン（$\arcsin x$ または $\sin^{-1} x$）の微分公式は、三角関数を扱っているはずなのに突如として平方根や分数が現れるため、「丸暗記しようとして符号やルートの位置を忘れてしまう」という悩みが後を絶ちません。
この不可解に見える公式も、仕組みを紐解けば驚くほどシンプルです。本記事では、アークサインの微分がなぜあの美しい形に収束するのか、背後にある導出のロジックや定義域の注意点、試験や実務計算でミスを防ぐポイントまでを論理的に解説します。
📌 【この記事の重要ポイントまとめ】
- 要点1：アークサインの微分公式は $(\arcsin x)' = \frac{1}{\sqrt{1-x^2}}$ であり、逆関数の微分法を使えば1分で導出できる。
- 要点2：ルートの前の符号が正になる理由は、アークサインの主値（値域：$-\frac{\pi}{2} \le y \le \frac{\pi}{2}$）において $\cos y \ge 0$ が保証されるため。
- 要点3：アークコサイン微分との符号の違いや、合成関数の微分・マクローリン展開への応用を押さえることで大学数学の微積分もスムーズに攻略可能。
【公式の基本】アークサイン（$\arcsin x$）の微分公式と前提知識
まず押さえておきたいのが、アークサインの導関数の形です。独立変数 $x$ の関数 $y = \arcsin x$ において、その導関数は次のように定義されます。
【アークサインの微分公式】
$$\frac{d}{dx}\arcsin x = \frac{1}{\sqrt{1-x^2}} \quad (-1 < x < 1)$$
ここで重要な前提となるのが、アークサインが「サインの逆関数」であるという点です。本来、$\sin x$ は周期関数であるため、そのままでは1対1の対応関係（全単射）が成り立たず、逆関数が存在しません。そこで、値が重複しないように定義域を $-\frac{\pi}{2} \le x \le \frac{\pi}{2}$ に制限します。
その結果として生まれる $y = \arcsin x$ の定義域は $-1 \le x \le 1$、値域は $-\frac{\pi}{2} \le y \le \frac{\pi}{2}$ となります。ただし微分可能な範囲は、分母がゼロになる端点を除外した $-1 < x < 1$ に限定される点に注意が必要です。
なぜ $1/\sqrt{1-x^2}$ になるのか？逆関数の微分法による導出証明
「なぜ三角関数を微分して代数的な根号が現れるのか？」という疑問は、逆関数の微分法を用いることで明快に解消できます。ステップごとに証明の流れを追ってみましょう。
ステップ1：関係式をサインの形に書き換える
$y = \arcsin x$ という関係は、定義より以下と同値です。
$$x = \sin y \quad \left(-\frac{\pi}{2} \le y \le \frac{\pi}{2}\right)$$
ステップ2：$y$ について $x$ を微分する
両辺を $y$ で微分すると、通常の三角関数の微分公式より次のようになります。
$$\frac{dx}{dy} = \cos y$$
ステップ3：逆関数の微分公式を適用する
大学数学の微積分でも頻出の「逆関数の導関数公式」 $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$ を適用します。
$$\frac{dy}{dx} = \frac{1}{\cos y}$$
ステップ4：$\cos y$ を $x$ の式に復元する
三角関数の基本恒等式 $\cos^2 y + \sin^2 y = 1$ より、$\cos y = \pm\sqrt{1 - \sin^2 y}$ です。ここで $x = \sin y$ であったため、$\cos y = \pm\sqrt{1 - x^2}$ と置き換えられます。
では、なぜプラス側だけが残るのでしょうか。それこそがアークサインの「値域」に隠された鍵です。
符号の正負はどう決まる？定義域・値域と計算でハマる落とし穴
多くの学習者がつまずくのが、「根号を外すときの符号判定」です。前述のステップ4において、なぜマイナスを排除してプラス符号のみを採用できるのかを明確にしておきましょう。
アークサインの値域は $-\frac{\pi}{2} \le y \le \frac{\pi}{2}$（単位円の右半分、第1象限および第4象限）に設定されています。この範囲において、コサインの値は常に $\cos y \ge 0$ です。微分を考える開区間（$-1 < x < 1$）では厳密に $\cos y > 0$ となるため、複号のうち正の符号のみが確定します。
$$\cos y = +\sqrt{1 - \sin^2 y} = \sqrt{1 - x^2}$$
したがって、分母は常に正の実数となり、導関数は $\frac{1}{\sqrt{1-x^2}}$ という綺麗な形に定まるのです。この値域の縛りを曖昧にしたまま暗記に頼っていると、応用問題や符号判定で手痛い失点を招くことになります。
アークコサイン・アークタンジェントとの違いと逆三角関数の導関数一覧
逆三角関数の微分をマスターする上で、他の代表的な関数（アークコサイン、アークタンジェント）との比較は欠かせません。一覧で対比すると、その規則性がより鮮明になります。
| 関数 $y$ | 導関数 $\frac{dy}{dx}$ | 定義域 | 値域（主値） |
|---|---|---|---|
| $\arcsin x$ | $\mathbf{\frac{1}{\sqrt{1-x^2}}}$ | $-1 < x < 1$ | $-\frac{\pi}{2} \le y \le \frac{\pi}{2}$ |
| $\arccos x$ | $\mathbf{-\frac{1}{\sqrt{1-x^2}}}$ | $-1 < x < 1$ | $0 \le y \le \pi$ |
| $\arctan x$ | $\mathbf{\frac{1}{1+x^2}}$ | 実数全体 ($-\infty < x < \infty$) | $-\frac{\pi}{2} < y < \frac{\pi}{2}$ |
アークコサインの微分公式は、アークサインの導関数にマイナスを付けただけの形をしています。これは $\arcsin x + \arccos x = \frac{\pi}{2}$ という恒等式の両辺を微分すれば、導関数の和が0になることからも直感的に納得できるはずです。
試験・演習で頻出！合成関数の微分と積分・マクローリン展開への応用
基礎を固めた後は、実際の試験や工学計算で頻出となる実践パターンを押さえましょう。
1. 合成関数の微分パターン
アークサインの中身が単なる $x$ ではなく、別の関数 $u(x)$ になっている場合は、連鎖律（合成関数の微分法）を用います。
$$\frac{d}{dx}\arcsin(u) = \frac{1}{\sqrt{1 - u^2}} \cdot u'$$
例えば $y = \arcsin(2x)$ の場合、導関数は $\frac{1}{\sqrt{1 - (2x)^2}} \cdot (2x)' = \frac{2}{\sqrt{1 - 4x^2}}$ となります。
2. 不定積分への逆算
微分の関係を裏返せば、そのまま強力な積分公式になります。
$$\int \frac{1}{\sqrt{1-x^2}} \, dx = \arcsin x + C$$
高校数学では置換積分（$x = \sin\theta$ とおく）で解く定積分も、大学数学ではこの公式を一発で適用して素早く処理するのが定石です。
3. アークサインのマクローリン展開
導関数 $\frac{1}{\sqrt{1-x^2}} = (1 - x^2)^{-1/2}$ に対して二項展開を適用し、それを項別積分することで、アークサインのマクローリン展開（$x=0$ まわりのテイラー展開）も容易に導出できます。
$$\arcsin x = x + \frac{1}{6}x^3 + \frac{3}{40}x^5 + \cdots$$
【アーク サイン 微分】に関するよくある質問（FAQ）
Q1：$\sin^{-1} x$ と表記されている場合も同じ公式を使ってよいですか？
A1：はい、まったく同じです。$\sin^{-1} x$ はアークサインの別表記であり、$(\sin x)^{-1} = \frac{1}{\sin x}$（余割：$\csc x$）とは意味が異なる点にだけ注意してください。
Q2：なぜ $x = \pm 1$ の地点では微分が定義されないのですか？
A2：導関数の分母 $\sqrt{1-x^2}$ に $x = \pm 1$ を代入すると分母がゼロになり、接線の傾きが無限大（垂直）に発散してしまうためです。そのため、微分可能区間は開区間 $(-1, 1)$ となります。
Q3：試験中にアークサインの微分公式を忘れたらどう対処すべきですか？
A3：$y = \arcsin x \iff x = \sin y$ と書き換え、両辺を $y$ で微分して $\frac{dx}{dy} = \cos y$ を作れば、10秒程度で $\frac{1}{\sqrt{1-x^2}}$ をその場で再構成できます。
まとめ：本質を押さえて大学数学や理工系の計算を攻略しよう
アークサインの微分公式 $(\arcsin x)' = \frac{1}{\sqrt{1-x^2}}$ は、一見すると特異な形に見えますが、その正体は「逆関数の微分」と「三角関数の基本関係式」が見事に融合した必然的な帰結です。
単なる文字列として暗記するのではなく、値域による符号の決定理由や導出プロセスを頭に入れておくことで、アークコサインやアークタンジェントへの横展開、さらには重積分や微分方程式といった高度な計算でも迷わず立ち回れるようになります。ぜひ本記事の導出手順を手元で一度再現し、確固たる数学的武器として定着させてください。 （出典: アーク サイン 微分（Yahoo!ニュース））
