導関数の定義と差商の基本演習
mathcalculusexercisederivative
data/lecture/math/calculus/derivative-definition-and-difference-quotients.lecture.n.md
1問題 1
定義から f(x)=x^3 の導関数を求めよ。
1.1解答例
f:\mathbb{R}\to\mathbb{R}、f(x)=x^3 とする。
h\ne0 の範囲で
\frac{(x+h)^3-x^3}{h}=3x^2+3xh+h^2
である。したがって h\to0 として f'(x)=3x^2 を得る。
1.2解説
h で割るため、先に h\ne0 で整理し、最後に極限を取る。
1.3よくある誤り
h=0 を途中で代入する誤りがある。
2問題 2
f(x)=1/x について、定義から f'(a) を求めよ。ただし a\ne0 とする。
2.1解答例
f:\mathbb{R}\setminus\{0\}\to\mathbb{R} とする。a\ne0、h\ne0、a+h\ne0 の範囲で
\frac{\frac{1}{a+h}-\frac{1}{a}}{h}
=
\frac{-1}{a(a+h)}
である。したがって
f'(a)=\lim_{h\to0}\frac{-1}{a(a+h)}=-\frac{1}{a^2}
である。
2.2解説
文字式の分母が現れるため、a\ne0、h\ne0、a+h\ne0 の3条件を確認する。
2.3よくある誤り
1/(a+h)-1/a の通分で符号を誤る場合が多い。
3問題 3
f(x)=|x| が 0 で微分可能でないことを示せ。
3.1解答例
差商は
\frac{|0+h|-|0|}{h}=\frac{|h|}{h}
である。h>0 では 1、h<0 では -1 であるため、
\lim_{h\to0+}\frac{|h|}{h}=1,
\qquad
\lim_{h\to0-}\frac{|h|}{h}=-1
である。左右の極限が一致しないため、f'(0) は存在せず、f は 0 で微分可能ではない。
3.2解説
連続でも微分可能とは限らない。定義域の内点で微分可能であるためには、有限な両側差商極限が存在する必要がある。
4関連リンク
data/lecture/math/calculus/derivative-definition-and-difference-quotients.lecture.n.md
data/lecture/math/calculus/limits-and-continuity.lecture.n.md
data/lecture/math/calculus/local-linear-approximation-and-differentiability.lecture.n.md