逆関数の微分公式を完全攻略!導出証明から頻出例題まで徹底解説

目次
逆関数の微分公式を完全攻略!導出証明から頻出例題まで徹底解説
逆関数の微分公式を完全攻略!導出証明から頻出例題まで徹底解説
@ creator • Click to Play Video Inline
🎵 逆関数の微分公式を完全攻略!導出証明から頻出例題まで徹底解説

高校数学の数IIIや大学初年次の微分積分学において、多くの学習者がつまずきやすい難所の一つが「逆関数の微分」です。記号の上ではあたかも分数の逆数を取っているかのように見える $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$ という公式ですが、「なぜそうなるのか」「どのように適用すべきか」を本質から理解していないと、応用問題や2階微分の計算で致命的なミスを犯す原因になります。

本稿では、逆関数の微分公式の基礎概念から幾何学的な意味、合成関数を用いた厳密な証明手順をはじめ、$\arctan$(アークタンジェント)や累乗根を含む頻出例題の計算テクニックまで体系的に解き明かします。さらに、学習現場やインターネット上で散見される誤解の是正と、実戦で迷わないための判断基準を網羅してお届けします。

📌 【この記事の重要ポイントまとめ】
  • 要点1:逆関数の微分公式は合成関数の微分法則によって厳密に証明され、幾何学的には「直線 $y=x$ に関する対称性と接線の傾きの逆数関係」を表している。
  • 要点2:$\arctan x$ や $\arcsin x$ などの逆三角関数や累乗根の微分は、$x$ を $y$ の式で表して $\frac{dx}{dy}$ を求めてから逆数を取る手法が最も明快である。
  • 要点3:「2階微分は1階微分の逆数にならない」という重大な落とし穴があり、合成微分の連鎖律(チェインルール)を踏まえた計算ステップが必須となる。

【なぜ逆数になる?】逆関数の微分公式と合成関数による厳密な証明

逆関数の微分法において中核となる公式は、一般に次のように記述されます。

関数 $y = f(x)$ が微分可能で、その導関数 $f'(x) \neq 0$ であるとき、その逆関数 $x = f^{-1}(y)$(または $x = g(y)$)について次の等式が成り立ちます。

$$\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}} \quad \text{または} \quad \{f^{-1}(y)\}' = \frac{1}{f'(x)}$$

この関係式が単なる「微分の分数のような記号の便宜上の性質」ではなく、数学的にどのように導かれるのか、合成関数の微分を用いた証明手順を確認しましょう。

合成関数の微分法則を用いた公式の導出ステップ

関数 $y = f(x)$ の逆関数を $x = g(y)$ と置きます。逆関数の定義より、両者を合成すると恒等的に元の変数に戻るため、次の関係が成立します。

$$g(f(x)) = x$$

この等式の両辺を $x$ について微分します。左辺に合成関数の微分公式を適用すると、

$$g'(f(x)) \cdot f'(x) = 1$$

ここで $y = f(x)$ であるため、$g'(y) \cdot f'(x) = 1$ と書き換えられます。$f'(x) \neq 0$ の条件のもとで両辺を $f'(x)$ で割ると、

$$g'(y) = \frac{1}{f'(x)}$$

ライプニッツの記法で表せば、$g'(y) = \frac{dx}{dy}$、$f'(x) = \frac{dy}{dx}$ ですので、直ちに $\frac{dx}{dy} = \frac{1}{\frac{dy}{dx}}$(すなわち $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$)が導かれます。形式的な文字の掛け算・割り算ではなく、合成関数の連鎖律(チェインルール)の帰結であることが明確に分かります。

当時のメディア報道・掲載写真
【検証資料 1】当時のメディア報道・掲載写真(出典:hiraocafe.com)

幾何学的アプローチ|グラフの対称性(y=x)から直感的に理解する仕組み

数式による証明と並んで重要なのが、グラフの幾何学的性質からのアプローチです。

ある関数 $y = f(x)$ とその逆関数 $y = f^{-1}(x)$ のグラフは、座標平面上において直線 $y = x$ に関して線対称の関係にあります。元の曲線 $y = f(x)$ 上の点 $(a, b)$ における接線の傾きを $m$ と置くと、対称移動した逆関数上の点 $(b, a)$ における接線の傾きは必ず $\frac{1}{m}$ に変化します。

直感的な幾何理解は以下の通りです。 接線の傾きとは「$x$ の変化量に対する $y$ の変化量の割合($\frac{\Delta y}{\Delta x}$)」です。直線 $y = x$ で折り返すと、$x$ 軸と $y$ 軸の役割が入れ替わるため、変化量の比率は $\frac{\Delta x}{\Delta y}$ へと反転します。極限をとることで、接線の傾きが互いに逆数になるという物理的・視覚的な整合性が得られます。

【徹底比較】高校数IIIから大学数学まで!頻出関数の微分法一覧

逆関数の微分法が力を発揮する代表的な関数と、大学数学(微分積分学)への発展内容を比較表に整理しました。

対象関数計算アプローチ(dx/dyの利用)導出される結果編集部の着眼点・難易度
累乗根関数
($y = \sqrt[n]{x}$)
$x = y^n$ と変形し、$\frac{dx}{dy} = n y^{n-1}$ を計算$\frac{dy}{dx} = \frac{1}{n} x^{\frac{1}{n}-1}$【基本】数IIIの導入で頻出。有理数乗の微分公式の基礎付けとなる。
逆正接関数
($y = \arctan x$)
$x = \tan y$ と変形し、$\frac{dx}{dy} = \frac{1}{\cos^2 y} = 1 + \tan^2 y$$\frac{dy}{dx} = \frac{1}{1 + x^2}$【頻出】大学入試・理工系初年次の必須項目。三角関数の相互関係を活用。
逆正弦関数
($y = \arcsin x$)
$x = \sin y$ と変形し、$\frac{dx}{dy} = \cos y = \sqrt{1 - \sin^2 y}$$\frac{dy}{dx} = \frac{1}{\sqrt{1 - x^2}}$【重要】$-\frac{\pi}{2} < y < \frac{\pi}{2}$ の値域設定による符号の決定が鍵。
多変数への拡張
(大学数学・逆写像定理)
ヤコビ行列(Jacobian)の逆行列を求める幾何解析$J_{f^{-1}}(\mathbf{y}) = (J_f(\mathbf{x}))^{-1}$【発展】1変数の逆数関係が行列の逆行列関係へと自然に拡張される。
活動歴および当時の関連ビジュアル記録
【検証資料 2】活動歴および当時の関連ビジュアル記録(出典:examist.jp)

実践マスター|arctanやルートを含む頻出例題の計算ステップ

実際の問題演習を通して、逆関数の微分法の具体的なやり方(計算手順)を定着させましょう。

例題1:逆三角関数 $y = \arctan x$ の導関数

【問題】 $y = \arctan x$ ($-\frac{\pi}{2} < y < \frac{\pi}{2}$)の導関数 $\frac{dy}{dx}$ を求めよ。

【解答手順】

  1. $y = \arctan x$ の定義から、$x = \tan y$ と表す。
  2. 両辺を $y$ で微分して $\frac{dx}{dy}$ を求める。
    $$\frac{dx}{dy} = \frac{1}{\cos^2 y} = 1 + \tan^2 y$$
  3. $x = \tan y$ を代入して $x$ の式に整える。
    $$\frac{dx}{dy} = 1 + x^2$$
  4. 逆関数の微分公式 $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$ に代入する。
    $$\frac{dy}{dx} = \frac{1}{1 + x^2}$$

例題2:累乗根関数 $y = \sqrt[3]{x}$ の導関数

【問題】 $y = \sqrt[3]{x}$ ($x > 0$)の導関数 $\frac{dy}{dx}$ を逆関数の微分法を用いて求めよ。

【解答手順】

  1. 式を $x$ について解き、$x = y^3$ とする。
  2. $y$ で微分する。
    $$\frac{dx}{dy} = 3y^2$$
  3. 逆数を取る。
    $$\frac{dy}{dx} = \frac{1}{3y^2}$$
  4. $y = x^{\frac{1}{3}}$ を代入して戻す。
    $$\frac{dy}{dx} = \frac{1}{3(x^{\frac{1}{3}})^2} = \frac{1}{3} x^{-\frac{2}{3}}$$

一般に知られていない盲点|2階微分の落とし穴とネット上の誤解を是正

逆関数の微分において、多くの受験生や初学者が陥る最大の落とし穴が「2階微分」です。ネット上の掲示板や知恵袋でも頻繁に質問が寄せられる典型的な誤謬が存在します。

誤謬:$\frac{d^2 y}{dx^2} = \frac{1}{\frac{d^2 x}{dy^2}}$ は完全に間違い

1階微分において $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$ が成り立ったため、「2階微分も単に逆数を取ればよい」と誤認してしまうケースが後を絶ちません。しかし、2階微分の逆数関係は一般に成り立ちません。

正しい2階微分の導出過程は以下の通りです。

$$\frac{d^2 y}{dx^2} = \frac{d}{dx}\left(\frac{dy}{dx}\right) = \frac{d}{dx}\left(\frac{1}{\frac{dx}{dy}}\right)$$

ここで、括弧の中身は「$y$ の関数」であるため、$x$ で直接微分することはできません。合成関数の微分法を使い、$y$ で微分した上で $\frac{dy}{dx}$ を掛け合わせます。

$$\frac{d^2 y}{dx^2} = \frac{d}{dy}\left(\frac{1}{\frac{dx}{dy}}\right) \cdot \frac{dy}{dx} = -\frac{\frac{d^2 x}{dy^2}}{\left(\frac{dx}{dy}\right)^2} \cdot \frac{1}{\frac{dx}{dy}} = -\frac{\frac{d^2 x}{dy^2}}{\left(\frac{dx}{dy}\right)^3}$$

このように、2階導関数は分子に「$x$ の $y$ による2階微分」、分母に「$\frac{dx}{dy}$ の3乗」が現れ、マイナス符号が付く複雑な形になります。この構造の把握こそが、計算ミスを防ぐ決定打となります。

【プロの結論】逆関数の微分法を使うべき場面と避けるべき場面の判断基準

実戦の試験問題や研究計算において、この手法をどのような基準で選択すべきかをまとめました。

  • 積極的に使うべき場面:
    • $y = \arcsin x$ や $y = \arctan x$ などの逆三角関数、あるいは対数関数 $y = \ln x$ の定義に基づく導出。
    • $x = y^5 + y^3 + y$ のように、「$x$ は $y$ の初等関数で綺麗に書けるが、$y$ を $x$ の陽関数として表すことが極めて困難な関数」の接線の傾きを求める場合。
  • あえて使う必要がない場面:
    • すでに $y = x^r$ のべき乗微分公式が既知である場合の通常の多項式・分数関数計算(直接微分した方が計算ステップが少なくミスを低減できる)。
公の場での発言・インタビュー報道記録
【検証資料 3】公の場での発言・インタビュー報道記録(出典:headboost.jp)

【逆関数の微分】に関するよくある質問(FAQ)

Q1:なぜ $\frac{dy}{dx}$ は分数のように扱えるのですか?
A1:ライプニッツ記法 $\frac{dy}{dx}$ は厳密には微小変化量の極限比ですが、1変数関数の1階微分においては合成関数の微分法則(連鎖律)や逆関数の定理により、あたかも分数のように打ち消し合ったり逆数を取ったりする演算が数学的に正当化されているためです。

Q2:逆関数の微分を使うとき、$f'(x) = 0$ の点ではどうなりますか?
A2:元の関数で $f'(x) = 0$ となる点(接線が水平な点)では、逆関数の微分公式の分母が $0$ になるため微分係数は定義されません。幾何学的には、逆関数のグラフにおいて接線が垂直($y$ 軸と平行)になる特異点に対応します。

Q3:逆関数が存在するための必要十分条件は何ですか?
A3:定義域全体で関数が「単射(1対1対応)」であることです。実数上の連続関数であれば、定義域内で「広義の単調増加」または「広義の単調減少」を維持している区間において逆関数が存在し、微分可能となります。

まとめ:逆関数の微分をマスターする決定打

逆関数の微分公式 $\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}$ は、一見すると単なる文字の逆数操作に見えますが、その背景には合成関数の微分法則という確固たる論理と、直線 $y=x$ に関する鮮やかな幾何学的対称性が存在します。

特に逆三角関数($\arctan, \arcsin$)の導出プロセスの習得や、2階微分で頻発する誤謬の回避は、数IIIおよび大学数学の微分積分を攻略する上で避けては通れない重要課題です。「$x$ を $y$ で微分してから逆数を取る」という基本手順を忠実に再現できるよう、反復演習を通じて計算力を確固たるものにしていきましょう。 (出典: 逆 関数 の 微分(Yahoo!ニュース))

逆 関数 の 微分
逆 関数 の 微分
逆 関数 の 微分