高等学校数学III/微分法

高等学校の学習 > 高等学校数学 > 高等学校数学III > 高等学校数学III/微分法

ここでは、微分・積分の考えで学んだ微分の性質についてより詳しく扱う。特に、関数の和、差、積、商、更に合成関数や、逆関数の導関数について詳しく扱う。また、三角関数などの複雑な関数の微分についてもここでまとめる。

数学C「ベクトル」「二次曲線」の先行履修を必須とする。

様々な導関数

関数の導関数

関数$f(x)$が任意の点xで極限値

$f'(x):=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}$

を持つとき、関数$f(x)$は微分可能と言い、関数 f' を、関数fの導関数と呼ぶ。

微分可能な関数は連続関数

関数$f(x)$が微分可能ならば、連続関数である。

（証明） fが微分可能とすると、

$\lim _{h\to 0}(f(x+h)-f(x))=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}h=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}\lim _{h\to 0}h=f'(x)\times 0=0$

なので、fは連続である。

ここでは、関数の和、差、積、商の微分について扱う。これらの方法は以降の計算で常に用いられる内容であるので、十分に習熟しておく必要がある。

和・差の導関数

f,gを微分可能な関数とする。このとき、fとgの和について次が成り立つ。

$\{f(x)\pm g(x)\}'=f'(x)\pm g'(x)$

これは、関数の和を微分して得られる導関数は、それぞれの関数の和を足し合わせたものに等しいことを表している。

導出

$\{f(x)\pm g(x)\}'$	$=\lim _{h\rightarrow 0}{\frac {f(x+h)\pm g(x+h)-(f(x)\pm g(x))}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)\pm g(x+h)\mp g(x)}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}\pm {\frac {g(x+h)-g(x)}{h}}$
	$=f'(x)\pm g'(x)$

実数倍の導関数

次に、関数の実数倍の導関数について考える。関数の実数倍をしたものを微分したものは、実数倍する前の関数に対する導関数を実数倍したものになる。具体的には次の式が成り立つ。$(af)'=af'$ (aは定数)

導出

$(af)'$	$=\lim _{h\rightarrow 0}{\frac {af(x+h)-af(x)}{h}}$
	$=\lim _{h\rightarrow 0}a{\frac {f(x+h)-f(x)}{h}}$
	$=a\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}$
	$=af'$

積の導関数

積に関しては、和や実数倍と比べて計算結果がより複雑になる。具体的には次が成り立つ。

$(fg)'=f'g+fg'$

これは、それぞれの関数の微分とそれ以外の関数との積が得られるということを表している。これは導出を見ないとなぜこうなるかがわからないかも知れないが、よく導出を検討することが重要である。

導出

$\{f(x)g(x)\}'$	$=\lim _{h\rightarrow 0}{\frac {f(x+h)g(x+h)-(f(x)g(x))}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {f(x+h)g(x+h)-f(x+h)g(x)+f(x+h)g(x)-f(x)g(x)}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {f(x+h)(g(x+h)-g(x))+g(x)(f(x+h)-f(x))}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {f(x+h)(g(x+h)-g(x))}{h}}+{\frac {g(x)(f(x+h)-f(x))}{h}}$

ここで、$\lim _{h\rightarrow 0}f(x+h)=f(x)$に注意すると、

$(fg)'$

$=f'g+fg'$

冪関数の導関数 I

関数$f(x)=x^{a}$を冪関数という。

数学Ⅱで習ったように、nを自然数とするとき、

${\frac {d}{dx}}x^{n}=nx^{n-1}$

である。

ここでは、数学Ⅱでは扱わなかった上式の導出を行う。

（導出その1）

${\frac {d}{dx}}x^{n}=\lim _{h\to 0}{\frac {(x+h)^{n}-x^{n}}{h}}\qquad (1)$

ここで、二項定理により

$(x+h)^{n}=\sum _{k=0}^{n}{}_{n}C_{k}x^{n-k}h^{k}$

ただし

${}_{n}C_{k}:={\frac {n!}{(n-k)!k!}}\qquad 0!:=1$

なので、

$(x+h)^{n}=x^{n}+nx^{n-1}h+\sum _{k=2}^{n}{}_{n}C_{k}x^{n-k}h^{k}$

この式を、式（１）の右辺に代入すると

${\frac {d}{dx}}x^{n}=\lim _{h\to 0}\left(nx^{n-1}+\sum _{k=2}^{n}{}_{n}C_{k}x^{n-k}h^{k-1}\right)=nx^{n-1}$

である。

（導出その2）

$(x^{n})'=nx^{n-1}$を①とする。

[1] $n=1$のとき 左辺は

$(x^{1})'=1$

であり、右辺は

$1\cdot x^{0}=1$

なので、$n=1$のとき①は成り立つ。

[2] $n=k$のとき$(x^{k})'=kx^{k-1}$が成り立つと仮定する。 $n=k+1$のとき、積の導関数の式より

$(x^{k+1})'=(x^{k}\cdot x)'=(x^{k})'\cdot x+x^{k}\cdot (x)'=(kx^{k-1})\cdot x+x^{k}\cdot 1=kx^{k}+x^{k}=(k+1)x^{k}$

よって、$n=k+1$のときも①が成り立つ。

[1] [2]より、すべての自然数$n$について①が成り立つ。

商の導関数

商の導関数については次式が成り立つ。

$\left({\frac {1}{f}}\right)'=-{\frac {f'}{(f)^{2}}}$

この式についても、よく導出を検討することが必要である。

導出

$\left({\frac {1}{f}}\right)'$	$=\lim _{h\rightarrow 0}{\frac {{\frac {1}{f(x+h)}}-{\frac {1}{f(x)}}}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {\frac {f(x)-f(x+h)}{f(x+h)f(x)}}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {1}{f(x+h)f(x)}}{\frac {f(x)-f(x+h)}{h}}$
	$=\lim _{h\rightarrow 0}-{\frac {1}{f(x+h)f(x)}}{\frac {f(x+h)-f(x)}{h}}$
	$=-{\frac {f'}{(f)^{2}}}$

また、商の導関数の式と、積の導関数の式より、次の公式が導かれる。

$\left({\frac {g}{f}}\right)'={\frac {g'f-gf'}{(f)^{2}}}$

この式は、積の式と商の式から直接従う式だが、よく現れる形であるので、覚えておくと便利なことがある。

導出

$\left({\frac {g}{f}}\right)'$	$=\left(g{\frac {1}{f}}\right)'$
	$=g'{\frac {1}{f}}+g\left({\frac {1}{f}}\right)'$
	$={\frac {g'}{f}}-g{\frac {f'}{f^{2}}}$
	$={\frac {g'f}{f^{2}}}-{\frac {gf'}{f^{2}}}$
	$={\frac {g'f-gf'}{(f)^{2}}}$

冪関数の導関数 II

$x^{a}$の指数が自然数$n$であるとき、$(x^{n})'=nx^{n-1}$であるのは既に証明した。 ここでは、指数が整数の場合を考える。

[1] $m$が負の整数のとき$n=-m$とおく。

このとき$n$は正の整数で、商の導関数の式より

$(x^{m})'=(x^{-n})'=({\frac {1}{x^{n}}})'=-{\frac {(x^{n})'}{(x^{n})^{2}}}=-{\frac {nx^{n-1}}{x^{2n}}}=-nx^{n-2n-1}=-nx^{-n-1}=mx^{m-1}$

が成り立つ。

[2] $m=0$のとき、

$(x^{m})'=(1)'=0,mx^{m-1}=0$

なので

$(x^{m})'=mx^{m-1}$

が成り立つ。

よって、整数$m$について$(x^{m})'=mx^{m-1}$が成り立つ。

合成関数の導関数

合成関数とは、2つの関数$f,g$を用いて、$h(x)=f(g(x))$という形で書くことができる関数のことである。合成関数は、与えられた変数に対する関数と見ることができ、導関数を取ることも可能である。具体的には、

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

が成り立つ。

導出

$(f(g(x)))'$	$=\lim _{h\rightarrow 0}{\frac {f(g(x+h))-f(g(x))}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {f(g(x+h))-f(g(x))}{g(x+h)-g(x)}}\cdot {\frac {g(x+h)-g(x)}{h}}$
	$g(x+h)-g(x)=u,g(x)=j$とすると、$g(x+h)=u+j$、$x\rightarrow 0$のとき$u\rightarrow 0$なので、
	$=\lim _{u\rightarrow 0}{\frac {f(u+j)-f(j)}{u}}\cdot \lim _{h\rightarrow 0}{\frac {g(x+h)-g(x)}{h}}$
$=f'(g(x))g'(x)$

となる。

例

$f(x)={\sqrt {x}}$、$g(x)=x^{2}+x+1$とする。この合成関数は、$f(g(x))={\sqrt {x^{2}+x+1}}$である。

この合成関数の導関数を求めてみよう。

$f'(x)={\frac {1}{2{\sqrt {x}}}}$

$g'(x)=2x+1$

なので、${f(g(x))}'=f'(g(x))g'(x)={\frac {2x+1}{2{\sqrt {x^{2}+x+1}}}}$

である。

※関数$f,g$の合成関数を$(f\circ g)(x)=f(g(x))$と書くことがある。

合成関数の微分はライプニッツの記法を用いて、$y=f(u),u=g(x)$のとき、${\frac {dy}{dx}}=f(g(x))'$、$f'(u)={\frac {dy}{du}}$、$g'(x)={\frac {du}{dx}}$なので、

${\frac {dy}{dx}}={\frac {dy}{du}}{\frac {du}{dx}}$

と書くことができる。

また、以下の公式が成り立つ。

${\frac {d}{dx}}f(ax+b)=af'(ax+b)$

${\frac {d}{dx}}\{g(x)\}^{n}=n\{g(x)\}^{n-1}g'(x)$

逆関数の導関数

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

導出

$y=f(x)$と置くと、$x=f^{-1}(y)$で、 $y\to y_{0}$のとき$x\to x_{0}$であるから、

$(f^{-1}(y))'$	$=\lim _{y\to y_{0}}{\frac {f^{-1}(y)-f^{-1}(y_{0})}{y-y_{0}}}$
	$=\lim _{x\to x_{0}}{\frac {x-x_{0}}{f(x)-f(x_{0})}}$
	$=\lim _{x\to x_{0}}{\frac {1}{\frac {f(x)-f(x_{0})}{x-x_{0}}}}$
	$={\frac {1}{(f(x))'}}$

また、

$(f(x))'$	$=\lim _{x\to x_{0}}{\frac {f(x)-f(x_{0})}{x-x_{0}}}$
	$=\lim _{y\to y_{0}}{\frac {y-y_{0}}{f^{-1}(y)-f^{-1}(y_{0})}}$
	$=\lim _{y\to y_{0}}{\frac {1}{\frac {f^{-1}(y)-f^{-1}(y_{0})}{y-y_{0}}}}$
	$={\frac {1}{(f^{-1}(y))'}}$

冪関数の導関数 III

$x^{a}$の指数が整数$m$のとき、$(x^{m})'=mx^{m-1}$が成り立つのは既に証明した。 次は、$x>0$として指数が有理数のときを考える。

[1] $n$を自然数とすると、$y=x^{\frac {1}{n}}$のとき、$x=y^{n}$が成り立つので、逆関数の導関数の式より

${\frac {dy}{dx}}={\frac {1}{\frac {dx}{dy}}}={\frac {1}{ny^{n-1}}}={\frac {1}{n}}\cdot {\frac {1}{(x^{\frac {1}{n}})^{n-1}}}={\frac {1}{n}}x^{{\frac {1}{n}}-1}$

[2] $m$を整数とすると、有理数$p$について

$p={\frac {m}{n}}$

より、

$x^{p}=x^{\frac {m}{n}}=(x^{\frac {1}{n}})^{m}$

なので、[1]と合成関数の導関数の式より

${\frac {d}{dx}}x^{p}={\frac {d}{dx}}(x^{\frac {1}{n}})^{m}=m(x^{\frac {1}{n}})^{m-1}\cdot (x^{\frac {1}{n}})'=mx^{{\frac {m}{n}}-{\frac {1}{n}}}\cdot {\frac {1}{n}}x^{{\frac {1}{n}}-1}={\frac {m}{n}}x^{{\frac {m}{n}}-1}=px^{p-1}$

が成り立つ。

よって、有理数$p$について$(x^{p})'=px^{p-1}$が成り立つ。

三角関数の導関数

• $(\sin x)'=\cos x$
• $(\cos x)'=-\sin x$
• $(\tan x)'={\frac {1}{\cos ^{2}x}}$

となる。

導出

• $\lim _{h\rightarrow 0}{\frac {\sin({\frac {h}{2}})}{({\frac {h}{2}})}}=1$
• 加法定理$\sin(a+b)=\sin a\cos b+\cos a\sin b$と$\sin(a-b)=\sin a\cos b-\cos a\sin b$より$\sin(a+b)-\sin(a-b)=2\cos a\sin b\qquad (\mathrm {where} \quad a=x+h/2,b=h/2)$

に注意すると、

$(\sin x)'$	$=\lim _{h\rightarrow 0}{\frac {\sin(x+h)-\sin(x)}{h}}$
	$=\lim _{h\rightarrow 0}{\frac {2\cos(x+{\frac {h}{2}})\sin({\frac {h}{2}})}{h}}$
	$=\lim _{h\rightarrow 0}\cos(x+{\frac {h}{2}}){\frac {\sin({\frac {h}{2}})}{\frac {h}{2}}}$
	$=\cos x$

となり、結果が得られた。

$(\cos x)'$	$=\left\{\sin \left(x+{\frac {\pi }{2}}\right)\right\}'$
	$=\cos \left(x+{\frac {\pi }{2}}\right)*\left(x+{\frac {\pi }{2}}\right)'$
	$=\cos \left(x+{\frac {\pi }{2}}\right)$
	$=-\sin x$

$\tan x$については、

$(\tan x)'$	$=\left({\frac {\sin x}{\cos x}}\right)'$
	$={\frac {\cos x\cos x-\sin x(-\sin x)}{\cos ^{2}x}}$
	$={\frac {\sin ^{2}x+\cos ^{2}x}{\cos ^{2}x}}$
	$={\frac {1}{\cos ^{2}x}}(=\sec ^{2}x)$

なお、${\frac {1}{\tan x}}\left(=\cot x\right)$について、

$\left({\frac {1}{\tan x}}\right)'$	$=\left({\frac {\cos x}{\sin x}}\right)'$
	$={\frac {\sin x(-\sin x)-\cos x\cos x}{\sin ^{2}x}}$
	$=-{\frac {\sin ^{2}x+\cos ^{2}x}{\sin ^{2}x}}$
	$=-{\frac {1}{\sin ^{2}x}}$

対数関数の導関数

$(\log _{a}x)'$	$=\lim _{h\to 0}{\frac {\log _{a}(x+h)-\log _{a}x}{h}}$
	$=\lim _{h\to 0}{\frac {\log _{a}{\frac {x+h}{x}}}{h}}$
	$=\lim _{h\to 0}{\frac {\log _{a}\left(1+{\frac {h}{x}}\right)}{h}}$

ここで$k={\frac {h}{x}}$と置くと、

$\lim _{h\to 0}{\frac {\log _{a}\left(1+{\frac {h}{x}}\right)}{h}}$	$=\lim _{k\to 0}{\frac {\log _{a}(1+k)}{xk}}$
	$=\lim _{k\to 0}{\frac {1}{xk}}\log _{a}(1+k)$
	$=\lim _{k\to 0}{\frac {1}{x}}\log _{a}(1+k)^{\frac {1}{k}}$
	$={\frac {1}{x}}\log _{a}\left(\lim _{k\to 0}(1+k)^{\frac {1}{k}}\right)$

kを0に近づけていくと、$(1+k)^{\frac {1}{k}}$は、

$1.1^{\frac {1}{0.1}}=2.5937424601$

$1.01^{\frac {1}{0.01}}=2.7048138294215260932671947108075$

$1.001^{\frac {1}{0.001}}=2.7169239322358924573830881219476$

$1.0001^{\frac {1}{0.0001}}=2.7181459268252248640376646749131$

$0.9^{\frac {1}{-0.1}}=2.8679719907924413133222572312408$

$0.99^{\frac {1}{-0.01}}=2.7319990264290260038466717212578$

$0.999^{\frac {1}{-0.001}}=2.719642216442850365397553464404$

$0.9999^{\frac {1}{-0.0001}}=2.7184177550104492651837311208356$

(計算：Windows付属電卓)

となり、一定の値に近づいていく（証明は数学IIIの範囲ではできない）。 この一定の値、すなわち

$\lim _{k\to 0}(1+k)^{\frac {1}{k}}=2.718281828...$

をeで表す。すると、 $\lim _{k\to 0}(1+k)^{\frac {1}{k}}=e$

これを、上の式に代入すると、

$(\log _{a}x)'$
	$={\frac {1}{x}}\log _{a}\left(\lim _{k\to 0}(1+k)^{\frac {1}{k}}\right)$
	$={\frac {1}{x}}\log _{a}e$

特に$a=e$のとき、

$(\log _{e}x)'={\frac {1}{x}}$

eを底とする対数を自然対数という。
eは自然対数の底またはネイピア数と呼ばれることが多い。
数学では、$\log _{e}x$のeを省略して$\log x$と書く。
数学以外の分野では、常用対数と区別するために、$\ln x$が用いられることもある。

また、$\log |x|$の微分は、

x＞0のとき

$(\log |x|)'$	$=(\log x)'$
	$={\frac {1}{x}}$

x＜0のとき

$(\log |x|)'$	$=\{\log(-x)\}'$
	$={\frac {1}{-x}}*(-1)$
	$={\frac {1}{x}}$

よって、$(\log |x|)'={\frac {1}{x}}$

また、合成関数の微分法より、$\{\log |f(x)|\}'={\frac {f'(x)}{f(x)}}$が成り立つことがわかる。

ネイピア数eの絡む極限

$\lim _{k\to 0}(1+k)^{\frac {1}{k}}=e$と先ほど定義したが、この定義式は以下のように書き換えられる。

$\lim _{x\to \infty }(1+{\frac {1}{x}})^{x}=e$

$\lim _{x\to -\infty }(1+{\frac {1}{x}})^{x}=e$

上の二つの式は$k={\frac {1}{x}}$と置き換えると、それぞれ$e$の定義式の片側極限の場合を表していることがわかる。

これらの式を利用することで、今まで解けなかったパターンの極限を求められるようになる。

例題）$\lim _{x\to 0}{\frac {\log(1-x)}{x}}$の極限を求めよ

解答）

$\lim _{x\to 0}{\frac {\log(1-x)}{x}}=\lim _{x\to 0}\log(1-x)^{\frac {1}{x}}$

$-x=k$とおくと$x\rightarrow 0$のとき$k\rightarrow 0$なので、

（上式）$=\lim _{k\to 0}v\log(1+k)^{-{\frac {1}{k}}}=\lim _{k\to 0}-\log(1+k)^{\frac {1}{k}}$

ここで、対数関数は連続関数なので、logとlimを入れ替えても良い。

（上式）$=-\log\{\lim _{k\to 0}(1+k)^{\frac {1}{k}}\}=-\log e=-1$

よって、収束して極限値は-1である。

指数関数の導関数

$y=a^{x}(a>0)$

両辺の自然対数をとると、

$\log y=x\log a$

両辺をxで微分すると、

${\frac {y'}{y}}=\log a$

$y'=y\log a$

$y'=a^{x}\log a$

特にa=eの場合

$(e^{x})'=e^{x}$

$e^{x}$のxが煩雑な場合、$e^{x}=\mathrm {exp} (x)$のように表す場合がある。
また、両辺の自然対数をとってから微分する操作を対数微分法と呼ぶ。

微分係数と極限

微分係数の定義式を用いて極限を求めることもできる。

例題）$\lim _{x\to 0}{\frac {e^{x}-1}{x}}$を求めよ

解答）

$\lim _{x\to 0}{\frac {e^{x}-1}{x}}=\lim _{x\to 0}{\frac {e^{x}-e^{0}}{x-0}}$

ここで、微分係数の定義式$f'(a)=\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}$より、$f(x)=e^{x}$とおくと$f'(x)=e^{x}$で

（上式）$=f'(0)=e^{0}=1$

よって、収束して極限値は1である。

冪関数の導関数 IⅤ

$x^{a}$の指数が有理数$p$のとき、$(x^{p})'=px^{p-1}$が成り立つのは既に証明した。 最後に、$x>0$として指数が実数のときを考える。

$y=x^{a}$の$a$は実数であるとする。 両辺の絶対値の自然対数をとって

$\log |y|=a\log |x|$

両辺をxで微分して、

${\frac {y'}{y}}=a\cdot {\frac {1}{x}}$

よって

$y'=a\cdot {\frac {1}{x}}\cdot x^{a}=ax^{a-1}$

が成り立つ。

最初は指数が自然数の場合のみだったのに比べ、より一般の範囲で上式が成り立つことがわかった。このようにある式をより一般に言えるようにするのが、数学の発展性であり醍醐味である。

（補足）

$(u^{\alpha }v^{\beta }w^{\gamma })'=u^{\alpha }v^{\beta }w^{\gamma }\left(\alpha {\frac {u'}{u}}+\beta {\frac {v'}{v}}+\gamma {\frac {w'}{w}}\right)$

が成り立つことは冪関数の微分と積の微分から容易にわかる。この公式は関数 $u,v,w$ の冪の積の微分を計算するときに役に立つ。また、関数が4以上のときにも同様の式が成り立つ。

（補足ここまで）

• 問題例
  • 問題
    1. ${\frac {d}{dx}}x\,\sin x$
    2. ${\frac {d}{dx}}e^{x}\,\cos x^{2}$
    3. ${\frac {d}{dx}}\sin(\cos x)$
    4. ${\frac {d}{dx}}x\,\log x-x$
    5. ${\frac {d}{dx}}{{1} \over {\cos ^{2}x}}$
    6. ${\frac {d}{dx}}{\frac {e^{x}-e^{-x}}{e^{x}+e^{-x}}}$
    7. ${\frac {d}{dx}}x^{x}\,(x>0)$
    8. ${\frac {d}{d\theta }}\cos ^{\frac {5}{7}}\theta$
    9. ${\frac {d}{dt}}t^{e+\pi }$
    10. $\lim _{x\to \infty }(1+{\frac {3}{x}})^{x}$
    11. $\lim _{x\to \infty }({\frac {x}{x+1}})^{x}$
    12. $\lim _{x\to 1}{\frac {\log x}{x-1}}$

    を求めよ

  • 解答

    それぞれ

    1. $\sin x+x\,\cos x$
    2. $e^{x}\,\cos x^{2}-2\,x\,e^{x}\,\sin x^{2}$
    3. $-\sin x\,\cos(\cos x)$
    4. $\log x$
    5. ${{2\,\sin x} \over {\cos ^{3}x}}$
    6. ${\frac {4}{e^{x}+e^{-x}}}$
    7. $x^{x}\,(\log x+1)$
    8. $-{\frac {5\sin \theta }{7{\sqrt[{7}]{\cos ^{2}\theta }}}}$
    9. $(e+\pi )t^{e+\pi -1}$
    10. $e^{3}$
    11. ${\frac {1}{e}}$
    12. $0$

    が得られる。

高次導関数

導関数f'(x)をf(x)の第1次導関数という。

導関数の導関数を第2次導関数という。

導関数の導関数の導関数を第3次導関数という。

一般に、関数f(x)をn回微分して得られる関数を第n次導関数といい、

$y^{(n)},f^{(n)},{\frac {d^{n}y}{dx^{n}}},{\frac {d^{n}}{dx^{n}}}f(x)$

のいずれかで表す。 また、nが1,2,3の時はそれぞれ$y',y'',y'''$や$f'(x),f''(x),f'''(x)$と表す。

2次以上の導関数を高次導関数という。

第n次導関数を求める操作をn階微分という場合がある。

(例)$f(x)=x^{5}$の第3次導関数は

$f'(x)=5x^{4}$

$f''(x)=20x^{3}$

$f'''(x)=60x^{2}$

なので$60x^{2}$である。

第n次導関数を求めるとき、具体的な値で実験して一般式を推測してからの数学的帰納法が有効である。

• 問題
  • 関数$y=x^{n}$について、$y^{(n)}$を求めよ。
  • n階微分可能な2つの関数$f(x),g(x)$について、$\{f(x)g(x)\}^{(n)}=\sum _{k=1}^{n}{}_{n}\mathrm {C} _{k}f^{(n-k)}(x)g^{(k)}(x)$であることを証明せよ。（ライプニッツの定理）

陰関数の導関数

$y=f(x)$の形で表された関数を陽関数と呼ぶ。

それに対し$F(x,y)=0$の形で表された関数を陰関数と呼ぶ。

例えば、円の方程式は陰関数表示された関数である。

陽関数と陰関数は互いに互いの形へと変形できるが、変形すると式が煩雑になる場合がある。そこで、$F(x,y)$を合成関数と見做して微分することを考える。

(例)円の方程式$x^{2}+y^{2}=4$について、${\frac {d}{dx}}y$を求める。

この式をyについて解くと$y=\pm {\sqrt {4-x^{2}}}$であるが、この式を微分しようとすると式が煩雑で厄介である。

上のyについての等式から元の方程式のyは「xの式を別の文字で置換したもの」と考えられるので、合成関数の微分法を利用すると元の形のまま微分ができる。 元の方程式の両辺をxで微分すると、

${\frac {d}{dx}}x^{2}+{\frac {d}{dx}}y^{2}={\frac {d}{dx}}4$

より

$2x+2y\cdot {\frac {d}{dx}}y=0$

なので、

$2y\cdot {\frac {d}{dx}}y=-2x$

すなわち

${\frac {d}{dx}}y=-{\frac {x}{y}}$

である。

なお、煩雑になるのでyをxの式に直す必要はない。

媒介変数曲線の導関数

ベクトルで習ったように、点$(x_{1},y_{1})$を通り${\vec {d}}={\begin{pmatrix}a\\b\end{pmatrix}}$に平行な直線の方程式は媒介変数tを用いて一次関数${\begin{cases}x=x_{1}+at\\y=y_{1}+bt\end{cases}}$で表され、これを「媒介変数表示」と呼んだ。

二次曲線で習ったように、一般に媒介変数表示${\begin{cases}x=f(t)\\y=g(t)\end{cases}}$は曲線を表す。ここでいう「曲線」は単に曲がった線のことではなく、直線を含む一般的な線のことである。

${\begin{cases}x=f(t)\\y=g(t)\end{cases}}$をxで微分したい。 関数f,gが三角関数の場合等、高校範囲ではtを消去できないことがあるので、媒介変数表示のまま微分することを考える。 $y=g(t)\iff t=g^{-1}(y)$より、tをyの式と考えると$x=f(t)$は合成関数と見做せる。

よって、合成関数の微分法より

${\frac {dy}{dx}}={\frac {dy}{dt}}\cdot {\frac {dt}{dx}}$

である。

ここで、逆関数の微分法から

${\frac {dt}{dx}}={\frac {1}{\frac {dx}{dt}}}$

であるので、

${\frac {dy}{dx}}={\frac {\frac {dy}{dt}}{\frac {dx}{dt}}}={\frac {g'(t)}{f'(t)}}$

が成り立つ。

なお、${\frac {d^{2}}{dx^{2}}}y$は${\frac {dy}{dx}}$に再び媒介変数曲線の微分法を用いることで、${\frac {{\frac {d}{dt}}({\frac {dy}{dx}})}{\frac {dx}{dt}}}$のように計算できる。

• 問題
  • 次の式で表された曲線について、${\frac {d}{dx}}y$及び${\frac {d^{2}}{dx^{2}}}y$を求めよ。
    1. $x^{2}+y^{2}+6x-2=0$
    2. ${\frac {x^{2}}{25}}+{\frac {y^{2}}{36}}=1$
    3. $16x^{2}-9y^{2}=-4$
    4. $x^{\frac {3}{5}}+y^{\frac {3}{5}}=1$
    5. ${\begin{cases}x=3t-2\\y=t^{2}+5\end{cases}}$
    6. ${\begin{cases}x=9\cos \theta \\y=6\sin \theta \end{cases}}$
    7. ${\begin{cases}x={\frac {4}{\cos \theta }}\\y=7\tan \theta \end{cases}}$
    8. ${\begin{cases}x=t-\sin t\\y=1-\cos t\end{cases}}$

導関数の応用

接線と法線

関数$f(x)$上の点$(a,f(a))$における接線の傾きは$f'(a)$であるので、接線の方程式は

$y-f(a)=f'(a)(x-a)$

となる。

また、接点を通り接線に垂直な直線を法線（ほうせん）という。 垂直な直線同士は傾きの符号が逆であり、傾きの絶対値が逆数であるので、法線の方程式は

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

となる。

ただし、$f'(a)=0$の場合、法線の方程式は$x=a$である。

• 問題
  • 以下の曲線について、点$(x_{1},y_{1})$における接線の方程式と法線の方程式を求めよ。
    1. $y^{2}=4px$
    2. ${\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1$
    3. ${\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1$

2つの曲線に共通する接線（共通接線）の求め方について簡潔に記述する。

①一般の場合

任意の点における2曲線の接線をそれぞれ求め、それが一致する（恒等式である）条件から定数の値を求める

②2曲線が共有点で接する場合

y座標が一致、微分係数が一致の2つの条件を式で表して連立させて定数の値を求める。

• 問題
  • 1. 2曲線$y=x^{2}-1,y={\frac {1}{x}}+2$の共通接線の方程式を求めよ。
    2. 2曲線$y=ax^{2},y=\log x$が接するという。このとき、aの値, 共有点の座標, 共通接線の方程式をそれぞれ求めよ。

発展：因数定理の拡張

cが高次方程式$f(x)=0$の2重解である$\iff f(c)=f'(c)=0$

・証明

$f(x)=(x-c)^{2}h(x)+dx+e$（①）とおくと$f'(x)=2(x-c)h(x)+(x^{c})^{2}h'(x)+d$（②）。

このとき、$f(x)=0$が2重解cを持つならば$d=e=0$である。

逆に、$f(c)=f'(c)=0$とすると①から$dc+e=0$、②から$e=0$。

よって$d=e=0$なので$f(x)=(x-c)^{2}h(x)$であり、このときcは方程式の2重解である。

Q.E.D.

一般に、cが高次方程式$f(x)=0$のn重解であるための必要十分条件は、$f^{(n-1)}(c)=f^{(n-2)}(c)=\cdots =f'(c)=f(c)=0$である。

• 問題

$f(x)$を2次以上の多項式とする。曲線$y=f(x)$が点$(c,f(c))$において直線$y=ax+b$と接するための必要十分条件が「方程式$f(x)-ax-b=0$の解がc」であることを証明せよ。

関数値の増減

極値

$f'(a)$は$f(x)$の点$(a,f(a))$での傾きを表す。

よって、

• $f'(a)>0$の時$f(a)$は増加し続ける（単調増加）
• $f'(a)<0$の時$f(a)$は減少し続ける（単調減少）
• $f'(a)=0$の時$f(a)$は一定

である。

また、$f'(a)=0$で、$a$の前後で$f'(x)$の符号が$+$から$-$に変わるならば、$f(x)$は点$(a,f(a))$で増加から減少に転じる。このときの$f(a)$を極大値（きょくだいち）という。 また、$-$から$+$に変わるならば、$f(x)$は点$(a,f(a))$で減少から増加に転じるので、このときの$f(a)$を極小値（きょくしょうち）という。 極大値と極小値をまとめて極値（きょくち）という。 $f'(a)=0$であっても、前後で符号が変わらなければ$f(a)$は極値ではない。

変曲点

第二次導関数の図形的な意味を考えてみよう。導関数は各点での接線の傾きを表している。第二次導関数は導関数の導関数だから、接線の傾きの変化率、すなわちグラフの曲がり具合を表していることになる。第二次導関数が正のときは傾きが増加しているのだからグラフは下に凸、負のときは上に凸となる。

グラフの曲がり具合が変わる点のことを変曲点（へんきょくてん）という。上の考察から、変曲点は第二次導関数の符号が変わる点であることがわかる。極値の場合と同様に、たとえ$f''(a)=0$であっても、符号が変わらなければ変曲点ではない。

関数のグラフを書くときには、変曲点の情報は極値と同様に重要なので、増減表にも第二次導関数の欄をつくり、変曲点を記入するとよい。

速度と加速度

（力学も参照。）

数直線上を運動する物体が時刻 $t$ のとき位置 $x(t)$ にあるとする。この物体の速度を求める。 時刻が $t$ から $t+h$ に移動するとき、物体は $x(t)$ から $x(t+h)$ の位置に移動する。このときの平均の速度は ${\frac {\Delta x}{\Delta t}}={\frac {x(t+h)-x(t)}{(t+h)-t}}={\frac {x(t+h)-x(t)}{h}}$ ここで、$\Delta t=h$ なので、 $h$ を限りなく 0 に近づければ、この物体の瞬間の速度が求められる。時刻 $t$ のときの物体の瞬間の速度を $v(t)$ とすれば、 $v(t)=\lim _{h\to 0}{\frac {x(t+h)-x(t)}{h}}=x'(t)={\frac {dx}{dt}}$ である。

同様に、加速度についても、時刻 $t$ のときの物体の加速度を $a(t)$ とすれば

$a(t)=\lim _{\Delta t\to 0}{\frac {\Delta v}{\Delta t}}=\lim _{\Delta h\to 0}{\frac {x'(t+h)-x'(t)}{h}}=x''(t)={\frac {d^{2}x}{dt^{2}}}$

これは、平面上を運動する物体にも拡張できる。時刻 $t$ のときの物体の位置ベクトルが ${\vec {x}}(t)=(x(t),y(t))$ で与えられるとき、この物体の速度ベクトル ${\vec {v}}$ は ${\vec {v}}=\lim _{\Delta t\to 0}{\frac {\Delta {\vec {x}}}{\Delta t}}={\frac {d{\vec {x}}}{dt}}=\left({\frac {dx}{dt}},{\frac {dy}{dt}}\right)$ である。同様に加速度ベクトル ${\vec {a}}$ についても、 ${\vec {a}}=\left({\frac {d^{2}x}{dt^{2}}},{\frac {d^{2}x}{dt^{2}}}\right)$。

例えば、角速度 $\omega$ で原点を中心に半径 $r$ の円運動する物体が $t=0$ で ${\vec {x}}(0)=(r,0)$ にあるとき、この物体の時刻 $t$ のときの位置ベクトル ${\vec {x}}(t)$ は ${\vec {x}}(t)=r\left({\begin{aligned}\cos \omega t\\\sin \omega t\end{aligned}}\right)$ である。速度ベクトルは、${\vec {v}}={\frac {d{\vec {x}}}{dt}}=r\omega \left({\begin{aligned}-\sin \omega t\\\cos \omega t\end{aligned}}\right)$。加速度ベクトルは${\vec {a}}={\frac {d^{2}{\vec {x}}}{d^{2}t}}=-r\omega ^{2}\left({\begin{aligned}\cos \omega t\\\sin \omega t\end{aligned}}\right)=-\omega ^{2}{\vec {x}}(t)$。ここから、位置ベクトル ${\vec {x}}(t)$ と速度ベクトル ${\vec {v}}(t)$ は直行し、位置ベクトル ${\vec {x}}(t)$ と加速度ベクトル ${\vec {a}}(t)$ は逆向きであり、$|{\vec {v}}(t)|=r\omega$ 、 $|{\vec {a}}(t)|=r\omega ^{2}$ が成立することが分かる。

また、円運動の $x$ 成分 または $y$ 成分だけに注目すれば、それは単振動である。

（範囲外）

加速度をさらに時間で微分したものを躍度という。躍度が大きいと生物に不快感を与えたり機械の損傷を引き起こしたりする。そのため、機械工学の中でも特に乗り物を扱う分野では非常に重要な概念となっている。

（範囲外ここまで）

近似式

微分係数$f'(a)$は$\lim _{h\to 0}{\frac {f(a+h)-f(a)}{h}}=f'(a)$なので、$|h|$が十分小さいとき、${\frac {f(a+b)-f(a)}{h}}\fallingdotseq f'(a)$である。すなわち、$f(a+h)\fallingdotseq f(a)+f'(a)h$が成り立つ。これを一次近似式と呼ぶ。

また、$a=0,h=x$とすると、$|x|$が小さいとき$f(x)\fallingdotseq f(0)+f'(0)x$である。

$g(x)=px^{2}+qx+r$とおき、$f(a+h)\fallingdotseq g(a+h)$と見做すことにより、$f(a+h)\fallingdotseq f(a)+f'(a)h+{\frac {f''(a)}{2}}h^{2}$が得られる。これを二次近似式と呼ぶ。

一次近似式と二次近似式を見比べると、n次近似式はn項目までの有限級数になることが予想できる。ここで、近似式の次数を無限に大きくしていくと、近似値ではなく真に正確な値が得られる。逆に言うと、真に正確な値を求める無限級数をある項で打ち切ることで、近似式として機能する。この無限級数については以下の「テイラー級数」を参照。

参考事項

ロルの定理

関数 $f(x)$ は $[a,b]$ で連続、 $(a,b)$ で微分可能とする。

$f(a)=f(b)$ ならば $f'(c)=0$ となる点 $a<c<b$ が存在する。

証明

関数 $f(x)$ には最大値または最小値が $a<x<b$ の範囲に一つ以上存在する。最大値または最小値では関数の導関数は 0 なので、その点を選び $c$とすると、 $f'(c)=0$ となる。

平均値の定理

関数 $f(x)$ は $[a,b]$ で連続、 $(a,b)$ で微分可能とする。このとき、 ${\frac {f(b)-f(a)}{b-a}}=f'(c)$ となる $a<c<b$ が存在する。

証明

$g(x)=f(x)-Ax$ とする。定数 $A$ を $g(a)=g(b)$ を満たすように定める。

したがって、 $f(a)-Aa=f(b)-Ab$ より、 $A={\frac {f(b)-f(a)}{b-a}}$ である。

ここで、関数 $g(x)$ に対して、ロルの定理を用いることにより、 $g'(c)=0$ となる $a<c<b$ が存在する。$g'(x)=f'(x)-A$であるから、$f'(c)=A={\frac {f(b)-f(a)}{b-a}}$ となる $a<c<b$ が存在することがいえる。

• 問題
  • 平均値の定理を用いて以下を証明せよ。
    1. $f'(a)>0$の時$f(a)$は単調増加
    2. $f'(a)<0$の時$f(a)$は単調減少
    3. $f'(a)=0$の時$f(a)$は一定

コーシーの平均値の定理

関数 $f(x),g(x)$ は $[a,b]$ で連続、 $(a,b)$ で微分可能とする。このとき、$\{g(b)-g(a)\}f'(c)=\{f(b)-f(a)\}g'(c)$ となる $c\in (a,b)$ が存在する。さらに、 $g'(c)\neq 0,\,g(a)\neq g(b)$ とすれば、 ${\frac {f(b)-f(a)}{g(b)-g(a)}}={\frac {f'(c)}{g'(c)}}$ となる $c\in (a,b)$ が存在する。

証明

$h(t)=\{f(b)-f(a)\}g(t)-\{g(b)-g(a)\}f(t)$ とする。ここで、 $h(t)$ は $[a,b]$ で連続、 $(a,b)$ で微分可能、 $h(a)=h(b)$ なので、ロルの定理より、$h'(c)=0$ となる $c\in (a,b)$ が存在する。$h'(c)=0$ を変形して $\{g(b)-g(a)\}f'(c)=\{f(b)-f(a)\}g'(c)$ を得る。さらに、 $g'(c)\neq 0,\,g(a)\neq g(b)$ ならば、 ${\frac {f(b)-f(a)}{g(b)-g(a)}}={\frac {f'(c)}{g'(c)}}$である。

ロピタルの定理(一部発展)

w:ロピタルの定理は、関数 $f(x),g(x)$ がある条件を満たせば、$\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$が成り立つことを主張する定理である。ロピタルの定理を高校数学の範囲で証明することはできないが、ロピタルの定理に類似した定理ならば高校数学の範囲で証明することができるから、これを紹介する。便宜上、それらをロピタルの定理I、ロピタルの定理IIと名付けたが、これらはロピタルの定理ではないことに注意。

ロピタルの定理I

$a$ を実数とする。$f(x),g(x)$ が $x=a$ で微分可能かつ、$g'(a)\neq 0$ ならば、$f(a)=g(a)=0$ のとき、

$\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {\frac {f(x)-f(a)}{x-a}}{\frac {g(x)-g(a)}{x-a}}}={\frac {\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}}{\lim _{x\to a}{\frac {g(x)-g(a)}{x-a}}}}={\frac {f'(a)}{g'(a)}}.$

ロピタルの定理II

$a$ を実数とする。$f(x),g(x)$ が $x=a$ を含む開区間 $I$ で微分可能かつ、$I\setminus \{a\}$ で $g'(x)\neq 0$ とする。$f(a)=g(a)=0$ のとき、$\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$ が存在するなら、

$\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$

証明

コーシーの平均値の定理より、実数 $h$ が $a+h\in I$ を満たせば、 $0<\theta <1$ が存在して、

${\frac {f(a+h)-f(a)}{g(a+h)-g(a)}}={\frac {f'(a+\theta h)}{g'(a+\theta h)}}$

となる。$f(a)=g(a)=0$ だから、

${\frac {f(a+h)}{g(a+h)}}={\frac {f'(a+\theta h)}{g'(a+\theta h)}}$

両辺の極限をとって、

$\lim _{h\to 0}{\frac {f(a+h)}{g(a+h)}}=\lim _{h\to 0}{\frac {f'(a+\theta h)}{g'(a+\theta h)}}$

となる。ここで、

$\lim _{h\to 0}{\frac {f(a+h)}{g(a+h)}}=\lim _{x\to a}{\frac {f(x)}{g(x)}}$ , $\lim _{h\to 0}{\frac {f'(a+\theta h)}{g'(a+\theta h)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$

だから、

$\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$

を得る。

解説

ロピタルの定理Iでは、$g'(a)\neq 0$ でなくてはならないが、ロピタルの定理IIでは、$g'(a)=0$ であっても、$I\setminus \{a\}$ で $g'(x)\neq 0$ であればよい。つまり、$g'(a)=0$ で、 $\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$ が不定形となっても、もう一度ロピタルの定理IIを使うことができる。 $\lim _{x\to a}{\frac {f''(x)}{g''(x)}}$ が存在するなら、

$\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}=\lim _{x\to a}{\frac {f''(x)}{g''(x)}}$

となる。このように、ロピタルの定理IIの仮定を満たす限り、何回でも適応することができる。

本来のロピタルの定理は極限が∞/∞となる場合も含むが、高校数学で証明できるロピタルの定理IIは0/0の不定形かつ $x\to a$ が実数の場合のみ扱うことができる。

例題

$\lim _{x\to 0}{\frac {e^{x}+e^{-x}-2}{x^{2}}}$ を求めよ。

ロピタルの定理IIを使って、

$\lim _{x\to 0}{\frac {e^{x}+e^{-x}-2}{x^{2}}}=\lim _{x\to 0}{\frac {e^{x}-e^{-x}}{2x}}=\lim _{x\to 0}{\frac {e^{x}+e^{-x}}{2}}=1.$

テイラーの定理（発展）

$f(x)$ を区間 $I$ で $n$ 回微分可能な関数とする。任意の $a,x\in I$ に対して、$\xi$ が $a,x$ の中間に存在して、

$f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n-1)}(a)}{(n-1)!}}(x-a)^{n-1}+{\frac {f^{(n)}(\xi )}{n!}}(x-a)^{n}.$

証明

$F(x)=f(x)-\left[f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n-1)}(a)}{(n-1)!}}(x-a)^{n-1}\right]$ とする。$F(x)$ と関数 $(x-a)^{n}$ に対して、コーシーの平均値の定理を適用すると、$F(a)=0$ より、${\frac {F(x)}{(x-a)^{n}}}={\frac {F(x)-F(a)}{(x-a)^{n}-(a-a)^{n}}}={\frac {F'(x_{1})}{n(x_{1}-a)^{n-1}}}$ となる $x_{1}$ が $a,x$ の中間に存在する。$F'(a)=F''(a)=\cdots =F^{(n-1)}(a)=0$ であるから、右辺にも同様にコーシーの平均値の定理を適用することで、 ${\frac {F(x)}{(x-a)^{n}}}={\frac {F'(x_{1})}{n(x_{1}-a)^{n-1}}}={\frac {F''(x_{2})}{n(n-1)(x_{2}-a)^{n-2}}}=\cdots ={\frac {F^{(n)}(\xi )}{n!}}$ となる $x_{1},x_{2},\cdots ,\xi$ が $a,x$ の中間に存在する。$F^{(n)}(x)=f^{(n)}(x)$ だから、 $F(x)={\frac {f^{(n)}(\xi )}{n!}}(x-a)^{n}$ を得る。

ランダウの記号

関数 $g(x)$ に対して、 $\lim _{x\to a}{\frac {f(x)}{g(x)}}=0$ となるような関数 $f(x)$ を一般に $og$ と表す。

ランダウ記号について次が成り立つ。

1. $oh+oh=oh$
2. $koh=oh$ ($k$ は定数)
3. $f=og,g=oh$ ならば、 $f=oh$

ランダウの記号は一般には違う関数を同じ記号で表しているので注意が必要である。例えば 1. は任意の$f=oh,\,g=oh$ である関数について、$\lim _{x\to a}{\frac {f+g}{h}}=0$ という意味である。

2. は $f=oh$ とすると、${\frac {kf}{h}}\to 0.$ 3. は ${\frac {f}{g}}\to 0,\,{\frac {g}{h}}\to 0$ ならば、${\frac {f}{h}}={\frac {f}{g}}{\frac {g}{h}}\to 0$ となるから、$f=oh.$

ランダウの記号について、$x$ がどこに近づいたときか（$x\to a$）ということは重要だが、文脈から明らかな場合は省略される。

漸近展開

テイラーの定理における右辺最後の項を剰余項といい、これを $R_{n}$ と書く。$f^{(n)}(x)$ が $x=a$ で連続ならば、$\lim _{x\to a}{\frac {R_{n}}{(x-a)^{n}}}=\lim _{\xi \to a}{\frac {f^{(n)}(\xi )}{n!}}={\frac {f^{(n)}(a)}{n!}}.$

これは、 $\lim _{x\to a}{\frac {R_{n}-{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}}{(x-a)^{n}}}=0$ と書けるから、 $R_{n}={\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+o{(x-a)^{n}}.$

すなわち、

$f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+o(x-a)^{n}$

漸近展開を用いると極限の問題を簡単に解くことが出来る。例えば、 $\lim _{x\to 0}{\frac {e^{x}-e^{-x}}{x}}=\lim _{x\to 0}{\frac {(1+x+ox)-(1-x+ox)}{x}}=\lim _{x\to 0}2+{\frac {ox}{x}}=2.$

例

$\alpha$ を実数とする。$f(x)=(1+x)^{\alpha }$ について、 $f^{(n)}(0)=\alpha (\alpha -1)\cdots (\alpha -n+1)$ なので、

$(1+x)^{\alpha }=\sum _{k=0}^{n}{\binom {\alpha }{k}}x^{k}+ox^{n}$

ただし、${\binom {\alpha }{k}}={\frac {\alpha (\alpha -1)\cdots (\alpha -k+1)}{k!}},\,{\binom {\alpha }{0}}=1$ は一般二項係数。

例えば、

${\sqrt {1+x}}=1+{\frac {1}{2}}x+ox$

${\frac {1}{\sqrt {1+x}}}=1-{\frac {1}{2}}x+ox$

など。これらは近似公式としてもよく使われる。

テイラー級数

テイラーの定理において、関数 $f(x)$ が区間 $I$ で無限回微分可能（任意の次数の導関数が存在すること）で剰余項が $\lim _{n\to \infty }R_{n}=0$ ならば、

$f(x)=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}.$

これをテイラー級数といい、特に $a=0$ のものをマクローリン級数という。

いくつかの関数のテイラー展開を求めよう。

$f(x)=e^{x}$とすると、$f^{(n)}(x)=e^{x},f^{(n)}(0)=1$ で、$|R_{n}|=\left|{\frac {e^{\xi }}{n!}}x^{n}\right|<{\frac {e^{|x|}}{n!}}|x|^{n}$ より、任意の $x$ に対して、 $\lim _{n\to \infty }R_{n}=0$ となる。すなわち、

$e^{x}=\sum _{n=0}^{\infty }{\frac {1}{n!}}x^{n}.$

$\sin x,\cos x$ についても同じように計算して、

$\sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1},\,\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}$

を得る。

また、対数関数 $f(x)=\ln(x+1)$ のテイラー展開は、

$f(0)=0,\,f^{(n)}(x)={\frac {(-1)^{n-1}(n-1)!}{(x+1)^{n}}}\quad (n=1,2,\dots )$

となるから、

$\ln(x+1)=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n}}x^{n}$

を得る。

オイラーの公式

指数関数のテイラー展開の式

$e^{x}=\sum _{n=0}^{\infty }{\frac {1}{n!}}x^{n}$

は $x$ が複素数であるときにも収束するから、これによって複素数に対する指数関数を定義することができる。

三角関数も同様に

$\sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1},\,\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}$

によって、複素数に拡張できる。

このとき、

${\begin{aligned}e^{i\theta }&=\sum _{n=0}^{\infty }{\frac {i^{n}}{n!}}\theta ^{n}\\&=\sum _{n=0}^{\infty }{\frac {i^{2n}}{(2n)!}}\theta ^{2n}+\sum _{n=0}^{\infty }{\frac {i^{2n+1}}{(2n+1)!}}\theta ^{2n+1}\\&=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}\theta ^{2n}+i\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}\theta ^{2n+1}\\&=\cos \theta +i\sin \theta \end{aligned}}$

を得る。これはオイラーの公式と呼ばれる。ここで、一行目の級数を $n$ が偶数の項と奇数の項に分割したが、これが可能なのは級数が絶対収束するからである。

特に、$\theta =\pi$ のときは、オイラーの等式

$e^{i\pi }=-1$

を得る。