アークサイン微分の導出と公式解説！なぜルートが現れるのか徹底解明

大学の微積分や工学・物理の数理解析、さらには情報科学の分野でも頻出する「アークサイン（$\arcsin x$）の微分」。通常の三角関数の微分（$(\sin x)' = \cos x$）とは打って変わって、$\frac{1}{\sqrt{1-x^2}}$という平方根と分数が組み合わさった独特の形状に戸惑う方も少なくありません。

一見すると複雑に見えるこの公式ですが、背後にある数学的な構造は非常にシンプルで洗練されています。導出の根底にある「逆関数の微分法」の仕組みや、なぜ計算過程でルートが登場するのかという疑問を紐解くことで、丸暗記に頼らない本質的な理解へと昇華させることができます。

📌 【この記事の重要ポイントまとめ】

• 要点1：アークサインの微分公式は$(\arcsin x)' = \frac{1}{\sqrt{1-x^2}}$であり、微分可能な定義域は$-1 < x < 1$となる。
• 要点2：公式の導出には「逆関数の微分公式」と三角関数の基本恒等式（$\sin^2 y + \cos^2 y = 1$）が密接に関わっている。
• 要点3：アークコサインやアークタンジェントの微分とセットで整理し、合成関数の連鎖律（チェーンルール）を習得することが実戦力向上の鍵となる。

【基本の確認】アークサインの微分公式と定義域・値域のルール

逆三角関数の基本を押さえるにあたり、まずはアークサインの微分公式の全体像と、見落としがちな前提条件を整理しておきましょう。

アークサイン $y = \arcsin x$（または $\sin^{-1} x$）の導関数は、次の形で与えられます。

$$(\arcsin x)' = \frac{d}{dx}\arcsin x = \frac{1}{\sqrt{1-x^2}}$$

ここで極めて重要なのが、アークサインの微分における定義域の扱いです。もともとの関数 $y = \arcsin x$ の定義域は $-1 \le x \le 1$、値域（主値）は $-\frac{\pi}{2} \le y \le \frac{\pi}{2}$ です。しかし、微分した後の導関数 $\frac{1}{\sqrt{1-x^2}}$ では、分母がゼロになってはならないため、端点である $x = \pm 1$ を除外した $-1 < x < 1$ が微分の定義域となります。

グラフの形状をイメージすると、端点 $x = \pm 1$ では接線の傾きが無限大（垂直）に発散するため、通常の微分係数が定義できないという幾何学的な理由からも納得できます。

【完全証明】なぜルートが現れるのか？逆関数の微分法を使ったarcsin微分の導出ステップ

「なぜ三角関数の逆関数を微分すると、唐突にルートが現れるのか」という疑問は、導出プロセスの各ステップを追うことで完全に氷解します。ここでは、逆関数の微分公式を用いた論理的なarcsin微分の導出と証明を詳しく見ていきます。

導出のステップは以下の3段階で進みます。

ステップ1：逆関数の関係を通常の関数へ書き換える
$y = \arcsin x$ の関係は、三角関数の定義により $x = \sin y$ と言い換えることができます。このとき、値域の範囲は $-\frac{\pi}{2} < y < \frac{\pi}{2}$（端点を除く）です。

ステップ2：逆関数の微分法を適用する
逆関数の微分公式 $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$ を利用します。$x = \sin y$ を $y$ について微分すると、

$$\frac{dx}{dy} = \cos y$$

したがって、次の関係が得られます。

$$\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} < y < \frac{\pi}{2}$ においては、$\cos y > 0$ であることが保証されているため、符号は必ずプラスになります。

$$\cos y = \sqrt{1 - \sin^2 y}$$

$x = \sin y$ を代入すると、$\cos y = \sqrt{1 - x^2}$ となり、最終的な導関数が導かれます。

$$\frac{dy}{dx} = \frac{1}{\sqrt{1-x^2}}$$

このように、ルートが現れる理由は「$y$ で微分した $\cos y$ を、元の変数 $x$（$=\sin y$）へと引き戻す際にピタゴラスの定理（$\sin^2 y + \cos^2 y = 1$）を経由したから」にほかなりません。

【一覧表】逆三角関数の微分公式まとめ｜アークコサイン・アークタンジェントとの関係

アークサインだけでなく、他の逆三角関数の導関数も併せて体系的に把握しておくと、試験や実務計算での混乱を防げます。主要な逆三角関数の微分公式一覧は以下の通りです。

関数 $y = f(x)$	導関数 $\frac{dy}{dx}$	微分の定義域
アークサイン：$y = \arcsin x$	$\frac{1}{\sqrt{1-x^2}}$	$-1 < x < 1$
アークコサイン：$y = \arccos x$	$-\frac{1}{\sqrt{1-x^2}}$	$-1 < x < 1$
アークタンジェント：$y = \arctan x$	$\frac{1}{1+x^2}$	実数全体 ($-\infty < x < \infty$)

アークコサインの微分は、アークサインの導関数にマイナスを付けただけの形をしています。これは $\arcsin x + \arccos x = \frac{\pi}{2}$ という恒等式の両辺を微分することでも直感的に理解できます。

一方、アークタンジェントの微分ではルートが現れず、分母が $1+x^2$ となります。これは $1 + \tan^2 y = \frac{1}{\cos^2 y}$ の関係式を用いて導出するためです。

【実践演習】アークサインの合成関数微分｜試験や実務で差がつく計算テクニック

実際の試験問題や解析計算では、単なる $\arcsin x$ ではなく、内部に変数が組み込まれたアークサインの合成関数微分が頻繁に登場します。合成関数の微分公式（連鎖律）：

$$\frac{d}{dx}\arcsin(u(x)) = \frac{1}{\sqrt{1-(u(x))^2}} \cdot u'(x)$$

を正しく運用できるかどうかが計算スピードと正確性を分けます。代表的な2つのパターンを確認してみましょう。

【例題1：線形変換を含むケース】
$y = \arcsin(2x)$ を微分する場合：
内部の $u = 2x$ を意識して微分します。

$$y' = \frac{1}{\sqrt{1-(2x)^2}} \cdot (2x)' = \frac{2}{\sqrt{1-4x^2}}$$

【例題2：ルートを含むケース】
$y = \arcsin(\sqrt{x})$ を微分する場合（ただし $0 < x < 1$）：
$u = \sqrt{x} = x^{1/2}$ の微分は $u' = \frac{1}{2\sqrt{x}}$ です。

$$y' = \frac{1}{\sqrt{1-(\sqrt{x})^2}} \cdot (\sqrt{x})' = \frac{1}{\sqrt{1-x}} \cdot \frac{1}{2\sqrt{x}} = \frac{1}{2\sqrt{x(1-x)}}$$

合成関数の計算では、「中身の微分を掛け忘れないこと」と「平方根の中の2乗計算ミスを避けること」の2点が鉄則です。

【発展応用】微分からアークサインの積分へ｜置換積分で役立つ逆算アプローチ

微分の公式を深く理解することは、不定積分や定積分の計算力を高めることにも直結します。微分公式の逆の操作を考えることで、アークサインに関連する積分公式がそのまま導かれます。

$$\int \frac{1}{\sqrt{1-x^2}} \, dx = \arcsin x + C \quad (C\text{は積分定数})$$

一般化された定数 $a > 0$ を含む積分公式も極めて重要です。

$$\int \frac{1}{\sqrt{a^2-x^2}} \, dx = \arcsin\left(\frac{x}{a}\right) + C$$

分母に $\sqrt{a^2-x^2}$ を含む分数関数の積分に出会った際、$x = a\sin \theta$ と置く「三角置換」が定石手法として知られていますが、この置換手法の本質はアークサインの微分構造そのものを利用している点にあります。

【アークサインの微分】に関するよくある質問（FAQ）

Q1：$\arcsin x$ の微分の定義域に $x = \pm 1$ が含まれないのはなぜですか？
A1：導関数の分母に $\sqrt{1-x^2}$ があるため、$x = \pm 1$ を代入すると分母が $0$ になり未定義となります。幾何学的には、$y = \arcsin x$ のグラフの端点において接線の傾きが垂直（無限大）になるため、微分係数が存在しません。

Q2：$\cos y = \pm \sqrt{1 - \sin^2 y}$ のうち、なぜマイナス側を考慮しなくて良いのですか？
A2：アークサインの主値（値域）が $-\frac{\pi}{2} \le y \le \frac{\pi}{2}$ と定められているためです。この範囲（単位円の右半分）では常に $\cos y \ge 0$ となるため、負の平方根を排除して $+\sqrt{1-\sin^2 y}$ のみを採用できます。

Q3：表記として $\arcsin x$ と $\sin^{-1} x$ は何が違うのですか？
A3：数学的な意味は完全に同一です。ただし、$\sin^{-1} x$ は累乗の $(\sin x)^{-1} = \frac{1}{\sin x} = \csc x$（コセカント）と混同されやすいため、大学数学や論文などでは曖昧さを避けるために $\arcsin x$ の表記が好まれる傾向にあります。

まとめ：本質を押さえて逆三角関数の計算をマスターしよう

アークサインの微分公式 $(\arcsin x)' = \frac{1}{\sqrt{1-x^2}}$ は、逆関数の微分法とピタゴラスの基本公式という2つの数学的ツールを組み合わせることで明快に導き出すことができます。

公式を単なる記号の羅列として暗記するのではなく、「なぜルートが付くのか」「なぜ定義域から端点が除かれるのか」といった論理的背景を理解しておくことで、合成関数微分や積分問題などの応用局面でも迷わず正確な計算が可能になります。アークコサインやアークタンジェントの公式と併せて反復演習を重ね、確固たる計算力を身につけていきましょう。 （出典: アーク サイン 微分（Yahoo!ニュース））