連鎖律とは

連鎖律 (英chain rule) とは、合成関数を微分するとき、合成関数の導関数がそれぞれの導関数の積で与えられるという関係式のこと。$f,g$ を微分可能な関数とするとき、合成関数 $f\circ g$ の導関数に対して次の関係式が成り立つ。

$(f\circ g)^\prime(x) = (f(g(x)))^\prime = f^\prime(g(x))g^\prime(x)$

ライプニッツの記法では、次式のように記述する。

$\frac{df}{dx} = \frac{df}{dg}\cdot\frac{dg}{dx}$

連鎖律の証明：

合成関数 $(f\circ g)^\prime(x)$ を導関数の定義にしたがって微分する。

$\begin{aligned} (f\circ g)^\prime(x) &= (f(g(x)))^\prime \cr &= \lim_{\varDelta x\to 0}\left[\frac{f(g(x+\varDelta x))-f(g(\varDelta x))}{\varDelta x}\right] \cr &= \lim_{\varDelta x\to 0}\left[\frac{f(g(x+\varDelta x))-f(g(x))}{g(x+\varDelta x)-g(x)}\cdot\frac{g(x+\varDelta x)-g(x)}{\varDelta x}\right] \end{aligned}$

$g(x+\varDelta x)-g(x)=\varDelta g$ とおくと、

$\begin{aligned} g(x+\varDelta x) &= g(x) + (g(x+\varDelta x)-g(x)) \cr &= g(x) + \varDelta g \end{aligned}$

となる。また $\varDelta x\to 0$ ならば $\varDelta g\to 0$ となることから、

$\begin{aligned} (f\circ g)^\prime(x) &= \lim_{\varDelta x\to 0}\left[\frac{f(g(x+\varDelta x))-f(g(x))}{g(x+\varDelta x)-g(x)}\cdot\frac{g(x+\varDelta x)-g(x)}{\varDelta x}\right] \cr &= \lim_{\varDelta g\to 0}\left[\frac{f(g(x)+\varDelta g)-f(g(x))}{\varDelta g}\right]\cdot\lim_{\varDelta x\to 0}\left[\frac{g(x+\varDelta x)-g(x)}{\varDelta x}\right] \cr &= f^\prime(g(x))g^\prime(x) \cr &= \frac{df}{dg}\cdot\frac{dg}{dx} \end{aligned}$