逆三角関数の微分はなぜあの形に?導出証明と符号の謎を徹底解説

逆三角関数の微分はなぜあの形に?導出証明と符号の謎を徹底解説

逆三角関数の微分はなぜあの形に?導出証明と符号の謎を徹底解説について見逃せない 事実を分かりやすい構成で解説いたします。

ウェブ上の解説記事や初学者向けまとめでは見落とされがちですが、数学的に極めて重要でありながら現場で多くの人が引っかかる盲点が2点あります。

盲点1:端点($x = \pm 1$)における微分不可能性の放置

$\arcsin x$ や $\arccos x$ の定義域は閉区間 $[-1, 1]$ です。しかし、その導関数の定義域は開区間 $(-1, 1)$ となり、端点である $\pm 1$ が意図的に排除されています。

なぜ端点では微分できないのか。グラフを思い浮かべれば一目瞭然です。$y = \sin x$ のグラフは $x = \pm \frac{\pi}{2}$ において水平な接線(傾き0)を持ちます。逆関数は $y = x$ に関して線対称な変換を行うため、$y = \arcsin x$ では $x = \pm 1$ における接線が「垂直(傾きが無限大)」になってしまいます。分母 $\sqrt{1 - x^2}$ に $x = \pm 1$ を代入すると分母がゼロになるのは、幾何学的に接線が垂直に立ち上がる事実を明確に示しています。論述答案で開区間と閉区間を混同すると、減点対象になり得ます。

盲点2:$\arcsin$ と $\arccos$ を別々に暗記しようとする非効率

ネット上の掲示板等で「公式が似ていてどちらにマイナスがつくか混乱する」という悩みが頻出しますが、両者には極めてエレガントな恒等式が存在します。

$$\arcsin x + \arccos x = \frac{\pi}{2} \quad (-1 \le x \le 1)$$

直角三角形において、1つの鋭角を $\theta$ とおけば、もう1つの鋭角は必ず $\frac{\pi}{2} - \theta$ になります。この幾何学的性質から、両者の和は常に定数 $\frac{\pi}{2}$ です。この式の両辺を $x$ で微分するとどうなるでしょうか。

$$\frac{d}{dx}\arcsin x + \frac{d}{dx}\arccos x = 0$$ $$\therefore \quad \frac{d}{dx}\arccos x = -\frac{d}{dx}\arcsin x$$

この事実さえ頭に入っていれば、「$\arccos$ の微分は $\arcsin$ の微分にマイナスをつけたもの」という関係が1秒で再現可能になります。独立した公式として丸暗記しようとするからこそ、試験の極限状態のプレッシャーで迷いが生じるのです。

【プロの結論】丸暗記を脱却すべき学習者と証明を道具化すべき実践者の判断基準

逆三角関数の微分習得においては、自身の目的に応じた適切なスタンスを選択することが合格・習熟への近道です。

  • 公式導出から徹底理解すべき人:大学の数学専攻・物理専攻生、難関国公立大学の工学部志望者、大学院入試(院試)を控えている受験生。証明過程そのものが論述試験で直接問われるだけでなく、複素解析や微分方程式論などの高度な数理展開において「主値の切り分け」の知識が前提となるため、証明手順の自力再現が必須です。
  • 結果を道具として素早く活用すべき人:情報工学・データサイエンス専攻、電気回路や制御工学を学ぶ高専生・社会人エンジニア。導出の流れを一度頭に通した後は、合成関数微分との組み合わせ演習に時間を割き、計算の自動化(インプットを迷わず処理できる状態)を最優先にすべきです。
山崎 陸
著者

山崎 陸

最新のテクノロジーと生活デザインの融合をテーマに、国内外の最新トピックを発信しています。