積の微分公式とその証明の味わい

更新 2021/03/07

積の微分公式

$f(x),\:g(x)$ が（考えている区間で）微分可能なとき

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

積の微分法則，ライプニッツルールなどとも呼ばれる重要な公式です。

積の微分公式を使う例題

2つの関数 $f(x),g(x)$ の積 $f(x)g(x)$ の微分は $f'(x)g(x)+f(x)g'(x)$ で計算できる，というのが積の微分公式です。

例題

$x^2\sin x$ を微分せよ。

解答

2つの関数 $f(x)=x^2$ と $g(x)=\sin x$ の積の微分を計算したい。

よって，積の微分公式

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

より求める微分は

$f'(x)g(x)+f(x)g'(x)\\ =2x\sin x+x^2\cos x$

積の微分公式の証明は味わい深いのでぜひ覚えましょう。

証明

$f(x)g(x)$ の導関数は定義より，

$\{f(x)g(x)\}'=\displaystyle\lim_{h\to 0}\dfrac{f(x+h)g(x+h)-f(x)g(x)}{h}$

ここで， $f(x+h)g(x+h)-f(x)g(x)$ は扱いにくいので以下のように2つの和に分解する：

$f(x+h)g(x+h)-f(x+h)g(x)\\ +f(x+h)g(x)-f(x)g(x)$

以上より

$\{f(x)g(x)\}'\\ =\displaystyle\lim_{h\to 0}\dfrac{g(x+h)-g(x)}{h}f(x+h)\\\displaystyle +\lim_{h\to 0}\dfrac{f(x+h)-f(x)}{h}g(x)$

ここで，右辺第2項は $f'(x)g(x)$ になる。また，右辺第1項は $g'(x)f(x)$ になる（ $f(x)$ が微分可能なので $f(x)$ は連続であり， $\displaystyle\lim_{h\to 0}f(x+h)=f(x)$ となるため）。

よって，結局 $\{f(x)g(x)\}'=g'(x)f(x)+f'(x)g(x)$ となり積の微分公式を得る。

「導関数の定義」「微分可能なら連続」という二つの重要な基礎知識を使うよい例です。
$A-B$ を評価したいが，そのままでは難しいので $(A-C)+(C-B)$ と変形することで評価するという手法は大学数学でもときどき使う重要なテクニックです。
証明で一度 $f(x)$ と $g(x)$ の対称性を崩しました。当然ですが， $f(x)$ と $g(x)$ の役割を入れ替えても証明できます。すなわち $f(x+h)g(x+h)-f(x)g(x)$ を $f(x+h)g(x+h)-f(x)g(x+h)\\ +f(x)g(x+h)-f(x)g(x)$ と分解しても証明できます（図において，仲介役を緑丸ではなく青丸にしてもOKということ）。

「微分係数」＝「一次近似したときの傾き」という考え方も重要です（一次近似の意味とよく使う近似公式一覧）。この考え方に基づくと少々荒っぽいですが以下のように説明することもできます。

説明

一次近似

$h$ が十分小さいとき（ $h^2$ 以下の項を無視すると）， $f(x+h)\fallingdotseq f(x)+hf'(x)$ $g(x+h)\fallingdotseq g(x)+hg'(x)$

よって，辺々掛けあわせて再び $h^2$ の項を無視すると，

$f(x+h)g(x+h)\\ \fallingdotseq f(x)g(x)+h\{f'(x)g(x)+f(x)g'(x)\}$

これは， $f(x)g(x)$ の微分が $f'(x)g(x)+f(x)g'(x)$ であることを表している。