定積分を微分する公式とその証明

公式

\(f(t)\) を \(t\) に関する１変数関数、\(p(x), q(x)\) をそれぞれ \(x\) に関する１変数関数とすると

$$\frac{d}{dx}\int_{p(x)}^{q(x)}f(t)dt=f(q(x))q'(x)-f(p(x))p'(x)\tag{1}$$

この特殊な場合として、\(a\) を \(x\) に依存しない定数とすると

$$\frac{d}{dx}\int_{a}^{x}f(t)dt=f(x)\tag{2}$$

証明

特殊な例の証明（式（２））

先に式 \((2)\) から証明する。

定積分は、\(f(x)\) の原始関数の１つを \(F(x)\) とおく（ \(F'(x)=f(x)\) ）と

で定義される。これに従って式 \((2)\) の左辺を変形すると

が証明された。

一般的な場合の証明（式（１））

同様に、定義式 \((3)\) に基づいて式 \((1)\) の左辺を変形する。

原始関数の中身も \(x\) の関数になっているので、合成関数の微分公式

を用いると

を得る。