\usepackageamsmath\usepackageamsfonts\usepackageamssymb\usepackagefancybox\usepackagechemfig\usepackagepgfplots\pgfplotssetcompat=newest\usetikzlibraryintersections,calc,arrows

微分法2
微分係数から導関数へ!導関数の考え方をマスター

微分法
微分法

前回の記事で説明したように,関数fの点aでの微分係数f(a)

    \begin{align*}f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}\bra{=\lim_{b\to a}\frac{f(b)-f(a)}{b-a}}\end{align*}

と定義され,y=f(x)x=aの接線の傾きを表すのでした.

しかし,毎回この定義式に従って微分係数f(a)を求めるのは少々面倒です.

そこで,微分係数より扱いやすい導関数というものがあります.

この記事では,

  • 微分係数の復習
  • 導関数の定義
  • 導関数の具体例

を順に説明します.

微分係数から導関数へ

導関数の考え方を理解するために,まずは前回の記事で扱った微分係数を少し観察するところから始めましょう.

微分係数の復習

微分係数は以下のように定義されるのでした.

関数f(x)と実数aに対して,

    \begin{align*}\lim\limits_{h\to 0}\frac{f(a+h)-f(a)}{h}\bra{=\lim\limits_{b\to a}\frac{f(b)-f(a)}{b-a}}\end{align*}

が存在すれば,この値を関数f(x)x=aにおける微分係数といい,f(a)と表す.

limh0f(a+h)f(a)hh=baとおくとlimbaf(b)f(a)baになるので,これらはどちらも同じものなのでした.

これについて詳しくは以下の記事を参照してください.

ワンポイント数学5|2つの微分の定義式を図から理解しよう
関数fのaでの微分係数f'(a)はy=f(x)のグラフの接線の傾きをもとに定義されます.f'(a)の定義式は2通りで書かれることが多いのですが,どちらも本質的に同じでもちろん計算結果も等しくなります.

f(x)=x2に対して,2つの微分係数f(1), f(2)を求めよ.

微分係数の定義より,

    \begin{align*}f'(1) =&\lim_{h\to0}\frac{f(1+h)-f(1)}{h} \\=&\lim_{h\to0}\frac{(1+h)^2-1^2}{h} \\=&\lim_{h\to0}\frac{(1+2h+h^2)-1}{h} \\=&\lim_{h\to0}\frac{2h+h^2}{h} \\=&\lim_{h\to0}(2+h) =2\end{align*}

よりf(1)=2であり,

    \begin{align*}f'(-2) =&\lim_{h\to0}\frac{f(-2+h)-f(-2)}{h} \\=&\lim_{h\to0}\frac{(-2+h)^2-(-2)^2}{h} \\=&\lim_{h\to0}\frac{(4-4h+h^2)-4}{h} \\=&\lim_{h\to0}\frac{-4h+h^2}{h} \\=&\lim_{h\to0}(-4+h) =-4\end{align*}

よりf(2)=4である.

Rendered by QuickLaTeX.com

この解答例からf(1)f(2)も分母と分子を約分することがポイントであり,本質的にはどちらも同じ計算をしているということに気付きますね.

そこで「わざわざ導関数f(a)aを指定しなくても,変数xのままf(x)も同様に求められるのではないか」という考えができます.

導関数の定義

このように考えてできたものが導関数です.

関数f(x)に対して,定義域上の任意の実数aに対して,x=aで導関数が存在するとする.このとき,

    \begin{align*}f'(x)=\lim_{h\to0}\frac{f(x+h)-f(x)}{h}\bra{=\lim_{b\to x}\frac{f(b)-f(x)}{b-x}}\end{align*}

で定まる関数f(x)f(x)導関数といい,導関数を求めることを微分するという.

また,関数y=f(x)に対して,f(x)

    \begin{align*}y',\quad \frac{dy}{dx},\quad \frac{df}{dx}(x)\end{align*}

などとも表す.

具体的にf(x)=x2の導関数を求めると,

    \begin{align*}f'(x) =&\lim_{h\to0}\frac{f(x+h)-f(x)}{h} \\=&\lim_{h\to0}\frac{(x+h)^2-x^2}{h} \\=&\lim_{h\to0}\frac{(x^2+2xh+h^2)-x^2}{h} \\=&\lim_{h\to0}\frac{2xh+h^2}{h} \\=&\lim_{h\to0}(2x+h) =2x\end{align*}

となります.これより,

  • x=1を代入してf(1)=2
  • x=2を代入してf(2)=4

なので,先ほどの微分係数の定義から別々に求めたものと(当然ながら)同じ答えが得られていますね!

このようにxを固定せずにxのまま考えてできる関数を導関数というわけですね.

導関数の具体例

最後にもう少し具体例を考えてみましょう.

例1

関数f(x)=xを微分せよ.

導関数の定義より

    \begin{align*}f'(x) =&\lim_{h\to0}\frac{f(x+h)-f(x)}{h} \\=&\lim_{h\to0}\frac{(x+h)-x}{h} =\lim_{h\to0}1 =1\end{align*}

となって,f(x)=1を得る.

つまり,どのxでも(x=0でもx=1でもx=πでも)接線の傾きが1という結果になったわけですが,y=xのグラフはx軸に対して45をなす直線ですから,どこででも傾きが1で一定なのは当然ですね.

例2

関数f(x)=1を微分せよ.

導関数の定義より

    \begin{align*}f'(x) =&\lim_{h\to0}\frac{f(x+h)-f(x)}{h} \\=&\lim_{h\to0}\frac{1-1}{h} =\lim_{h\to0}0 =0\end{align*}

となって,f(x)=0を得る.

つまり,どのxでも(x=0でもx=1でもx=πでも)接線の傾きが0という結果になったわけですが,y=1のグラフはx軸に平行な直線ですから,どこででも傾きが0で一定なのは当然ですね.

例3

関数f(x)=2x3を微分せよ.

導関数の定義より

    \begin{align*}f'(x) =&\lim_{h\to0}\frac{f(x+h)-f(x)}{h} \\=&\lim_{h\to0}\frac{2(x+h)^{3}-2x^{3}}{h} \\=&\lim_{h\to0}\frac{2\{(x^3+3x^2h+3xh^2+h^3)-x^3\}}{h} \\=&\lim_{h\to0}\frac{2(3x^2h+3xh^2+h^3)}{h} \\=&\lim_{h\to0}2(3x^2+3xh+h^2) =6x^2\end{align*}

となって,f(x)=6x2を得る.

この結果より,例えばx=0,1,10πとすると

  • f(0)=0
  • f(1)=6×(1)2=6
  • f(10π)=6×(10π)2=600π2

となりますね.

このように導関数f(x)が分かっていれば,xに具体的に代入することで微分係数は瞬時に求まりますね.

コメント