このページにある内容は,こちらのスライド でわかり易く説明しています.

PC環境なら全画面表示でより見やすく,よりわかりやすい!
全画面表示の仕方は こちら

高校数学[総目次]

数学Ⅲ 第2章 微分法

  スライド ノート 問題
1. 微分係数と導関数 [無料]    
2. 合成関数の導関数 [無料]    
3. 逆関数の微分法 [無料]   [会員] 
4. 三角関数の導関数 [会員]    
5. 対数関数・指数関数の導関数 [会員]    
6. 媒介変数表示と導関数 [会員]    
7. 陰関数の導関数 [会員]    
8. 平均値の定理 [会員]    
9. 関数の値の変化 [会員]    
10. 関数の極大・極小 [会員]    
11. 関数のグラフ [会員]    

3.逆関数の微分法

3.1 逆関数とは

 逆関数を論じる前に,「逆」の文字のない通常の「関数」とは何であったかを確認しておく.

「$\boldsymbol y$ は $\boldsymbol x$ の関数である」とは

$x$ の値に対して $y$ の値がただ1つ決まるとき, $\boldsymbol{y}$ は $\boldsymbol{x}$ の関数であるという

 例として $y=x+1$ を考える.この式から,

  $x=0$ のとき,$y=1$
  $x=1$ のとき,$y=2$
  $x=2$ のとき,$y=3$
      $\vdots$

のように,$x$ の値に対して $y$ の値がただ1つ対応しているから $y$ は $x$ の関数であるといえる.

 いま $x$ の方を先に決めて,それに応じて $y$ の値が1つ決まったが,逆に $y$ の方を先に決めてもそれに応じて $x$ の値がただ1つ決まる:

  $y=1$ のとき,$x=0$
  $y=2$ のとき,$x=1$
  $y=3$ のとき,$x=2$
      $\vdots$

 つまり, $x$ は $y$ の関数となっているのである.この逆対応は $x=y-1$ である.数学においてはしばしば先に決める方の文字を $x$,それに伴って決まる方の文字を $y$ とおくので,この逆対応を表す関数は $x$ と $y$ の文字を入れ替えて

\[x=y-1\ \ \to\ \ y=x-1\]

と表される.この関数 $y=x-1$ をもとの関数 $y=x+1$ の逆関数(inverse function)という.

逆関数とは

 関数 $y=f(x)$ について,$y$ の値を先に決めたときにもそれに応じて $x$ の値がただ1つ決まるとする.このとき,$x$ と $y$ を入れ替えた式 $x=f(y)$ を $y$ について解いたときの $x$ の式を関数 $f(x)$ の逆関数といい,$f^{-1}(x)$ で表す.

 「$f^{-1}(x)$」は「$f$ インバース $x$」と読まれることが多い.
 上の例では $f(x)=x+1$ とすると,$f^{-1}(x)=x-1$ である.

関数 $y=2x$ の逆関数
 $x=2y$ を $y$ について解いた $y=\dfrac12x$

関数 $y=e^x$ の逆関数
 $x=e^y$ を $y$ について解いた $y=\log x$

注意

 注意点として,ある関数に対してその逆関数は常に存在するとは限らない.例えば, 関数 $y=x^2$ は $x=2$ に対して $y=4$ が対応するが,逆に $y=4$ のとき, $x$ は $2$ と $-2$ の2つが対応しているため関数とはいえない.つまり関数 $y=x^2$ の逆関数は存在しない.$x$ と $y$ に1対1の対応づけができないからだ.

 尚,関数が連続の場合,逆関数が存在しているということは,つまりその関数に単調性があるということである.先ほど関数 $y=x^2$ には逆関数がないと言ったが,例えば定義域を $x\geqq0$ に制限してやれば,そこには単調性があるため逆関数 $y=\sqrt x$ を考えることができる.

 「$f(x)$ の逆関数 $f^{-1}(x)$」の逆関数は,元の関数 $f(x)$ である.これは $f(x)$ と $f^{-1}(x)$ がそれぞれの逆対応を与えているのだから当然である.$f(x)$ と $f^{-1}(x)$ は互いに逆関数の関係なのだ.

 すぐ上の例 からわかるように,ある関数の逆関数を得るには,元の関数の $x$ と $y$ を入れ替えればよい.この操作はグラフを直線 $y=x$ に関して対称移動する際に行う作業に他ならない.従って元の関数と逆関数のグラフは直線 $y=x$ に関して対称である.

$y=2x$ と $y=\dfrac12x$ のグラフは
直線 $y=x$ に関して対称

$y=e^x$ と $y=\log x$ のグラフは
直線 $y=x$ に関して対称

3.2 逆関数の微分法

 $y=\sin x$ という関数は,単調な関数ではないので逆関数は存在しないが,定義域を例えば $-\dfrac\pi2<x<\dfrac\pi2$ に制限すれば,この区間内では単調性をもつから逆関数を考えることができる.

区間$\left(-\dfrac\pi2,\ \dfrac\pi2\right)$ 内では単調性があるから
$x$ と $y$ の対応は1対1である.

逆関数は $x$ と $y$ を入れ替えた次に式

$x=\sin y$

を $y$ について解いたものである.

 さてこの逆関数について $y$ を $x$ で微分するにはどうしたらよいであろうか.この関数を $y$ について解いて $y=(x$ の式)という形にすることはできないし,かと言ってこの形のままではどうすることもできない.

 関数 $y=f(x)$ を微分するのに,この関数の逆関数を利用しようというのがここでの目的である.すぐ上の例でいうと,$x=\sin y$ という関数の $\dfrac{dy}{dx}$ を知るのに,この関数の逆関数,すなわち元の $y=\sin x$ の導関数である $\cos x$ を利用することができるというのである.

※この問題の解説は 演習問題 参照

逆関数の微分法

 それではいよいよ逆関数の導関数を利用した微分法を導出していく.

 関数 $y=f(x)$ について,

\[\begin{align*} y&=f(x)\\[5pt] \iff\hspace{2mm} f^{-1}(y)&=x\hspace{10mm} \cdots\mbox{①} \end{align*} \]

の関係が成り立つ.①の両辺を $x$ で微分すると,

\[\frac d{dx}f^{-1}(y)=1\hspace{10mm} \cdots\mbox{②}\]

 合成関数の導関数 により,

\[\begin{align*} \mbox{②の左辺}&=\frac d{dy}f^{-1}(y)\cdot\frac{dy}{dx}\\[5pt] &=\frac{dx}{dy}\cdot\frac{dy}{dx}\hspace{4mm} \ (\because\mbox{①}) \end{align*}\]

 よって,②は\[\frac{dx}{dy}\cdot\frac{dy}{dx}=1\] 両辺を $\dfrac{dx}{dy}$ で割って\[\frac{dy}{dx}=\frac1{\dfrac{dx}{dy}}\]

 この最後の $\dfrac{dx}{dy}$ というのが,$y=f(x)$ の逆関数 $x=f^{-1}(y)$ の導関数である.

逆関数の微分法

\[ \frac {dy}{dx}=\frac1{\dfrac{dx}{dy}} \]

コラム 「逆関数の微分法」とはどういう意味か?

 教科書にはこの公式に「逆関数の微分法」というタイトルが付されているのでここでも真似たが,その意味を考え始めてみるとなんだかわかりにくい.「ある関数の逆関数を微分する方法」という意味なのか,それとも「ある関数を微分するのにその逆関数を利用する微分法」つまり「逆関数を利用する微分法」という意味なのか,である.要するに逆関数の指す対象が異なるのである.

 前者の解釈だとタイトルとの親和性は高いが,定理の主張が「ある関数の逆関数を微分するには,その逆関数の逆関数である元の関数の微分が利用できる」となって表現がわかりにくい.

 一方,後者の解釈だと定理の主張もはっきりとしてわかりやすいが,タイトルの「逆関数『の』微分法」との親和性が低い.

\[ \frac {dy}{dx}=\frac1{\dfrac{dx}{dy}} \]

 この式を見る限り,定理の主張は後者の解釈に見えるのだが….

例題 $x>0$ とする.$y=x^{\frac1n}\ (\,n$ は自然数)のとき,$\dfrac{dy}{dx}$ を求めよ.

こたえ

 解答例を表示する

 この例題の結果を用いて,以下の公式が示される:

公式 $r$ が有理数のとき, \[ (x^r)’=rx^{r-1} \]

証明

 $r=\dfrac mn\ (\,m$ は整数,$n$ は自然数)とおくと, \[y=x^{\frac mn}=\left(x^{\frac1n}\right)^m\]  よって合成関数の導関数により, \[\begin{align*} \frac{dy}{dx}&=m\left(x^{\frac1n}\right)^{m-1}\cdot\left(x^{\frac1n}\right)’\\ &=mx^{\frac mn-\frac1n}\cdot \underline{\frac1n x^{\frac 1n-1}}\ \ (\because\mbox{上の例題})\\ &=\frac mn x^{\frac mn-1}\\ &=r\,x^{r-1} \end{align*}\]

このページで疑問は解決されましたか?

 こちら から数学に関するご質問・ご要望をお寄せください。


高校数学[総目次]

数学Ⅲ 第2章 微分法

  スライド ノート 問題
1. 微分係数と導関数 [無料]    
2. 合成関数の導関数 [無料]    
3. 逆関数の微分法 [無料]   [会員] 
4. 三角関数の導関数 [会員]    
5. 対数関数・指数関数の導関数 [会員]    
6. 媒介変数表示と導関数 [会員]    
7. 陰関数の導関数 [会員]    
8. 平均値の定理 [会員]    
9. 関数の値の変化 [会員]    
10. 関数の極大・極小 [会員]    
11. 関数のグラフ [会員]