微分 = 局所的な線形近似

$$f'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h}$$

この定義式、実は前のレッスンでやった「極限」の応用問題そのものです。 何が 0 に向かい、何がその行き先なのかは、図をドラッグすると見えてきます。

触ってみる

曲線上に2つの点があります。2点を通る直線を割線といいます。 青い点をドラッグして、赤い点にじわじわ近づけてください。

点aのx座標

$a$

点bのx座標

$b$

点aは(-2.00, 2.40)、点bは(1.50, 1.44)。割線の傾きは-0.275、点aでの接線の傾きは0.600です。

割線の傾きは $\dfrac{f(b) - f(a)}{b - a}$、つまり「2点間の平均変化率」です。 青い点を赤い点に近づける = $h = b - a$ を 0 に近づけると、割線はある1本の直線、接線(赤い破線)に向かって収束します。

$$\underbrace{\frac{f(a+h) - f(a)}{h}}_{\text{割線の傾き}} \;\xrightarrow{\;h \to 0\;}\; \underbrace{f'(a)}_{\text{接線の傾き}}$$

微分係数 $f'(a)$ とは、割線の傾きの極限です。定義式は、いまあなたが指でやった操作をそのまま数式にしたものです。

なぜ「線形近似」と呼ぶのか

もうひとつの見方があります。曲線を拡大してみましょう。左は $y = x^2$、右は $y = |x|$ です。

$y = x^2$ を点 $(1, 1)$ で拡大

$y = |x|$ を点 $(0, 0)$ で拡大

拡大率×1.0

なめらかな曲線は、拡大すればするほど直線に見えてきます。その直線こそ接線です。 つまり「$x = a$ の近くでは $f(x) \approx f(a) + f'(a)(x - a)$ という1次関数で代用できる」ということです。 これが微分可能という性質です。機械学習の勾配降下法も、この1次近似によって関数の変化する向きが分かることの上に成り立っています。

一方、右の $y = |x|$ は原点をどれだけ拡大しても尖ったまま。どの直線でも近似できないので、$x = 0$ で微分不可能です。

試してみよう

• 1つ目の図で、赤い点自体を曲線の別の場所へ動かしてください。場所ごとに接線の傾きが変わります。これが「傾きを返す関数」= 導関数 $f'(x)$ の感覚です
• 赤い点を曲線の谷のあたりに置くと、接線の傾きがほぼ 0 になります。極小点の予告編です

理解チェック

$f(x) = x^2$ の $x = 3$ での微分係数を、定義式 $\lim_{h \to 0} \frac{(3+h)^2 - 3^2}{h}$ から計算してください。

答えを見る

$\dfrac{(3+h)^2 - 9}{h} = \dfrac{6h + h^2}{h} = 6 + h \xrightarrow{h \to 0} 6$。

分子を展開して $h$ で約分してから $h \to 0$ とします。「$\frac{0}{0}$ を約分で回避してから極限を取る」流れは、前レッスンの穴あき関数と同じです。

もう1問: f′(a) = 0 ならば x = a は必ず極値でしょうか?

答えを見る

いいえ。$y = x^3$ の $x = 0$ では傾き0ですが、山でも谷でもなく通過するだけです。傾き0は「候補」にすぎません。前後の増減まで見るのが第14章の増減表です。

式で確かめる

動かして掴んだ感覚を、式と言葉で確かめます。間違えても、ヒントと解説で戻れます。

確認 1 / 3

$f(x) = x^2$ の $x = 3$ での微分係数を、定義式 $\lim_{h \to 0} \dfrac{(3+h)^2 - 3^2}{h}$ から求めるといくつですか?

答え

±√π

確認

ヒントを見る

確認 2 / 3

$y = |x|$ が $x = 0$ で微分不可能なのはなぜですか?

値が定義されていないから傾きが 0 になるから原点をいくら拡大しても尖ったままで、1本の直線で近似できないから連続でないから

ヒントを見る

確認 3 / 3

$f'(a) = 0$ ならば $x = a$ は必ず極値(極大か極小)になりますか?

必ず極小になる必ず極値になるならない(前後の増減しだい)必ず極大になる

ヒントを見る