logo

積分学の基本定理の証明 📂微分積分学

積分学の基本定理の証明

定理1

関数 ff が閉区間 [a,b][a,b] で連続だとしよう。

(1) 関数 F(x)=axf(t)dt\displaystyle F(x) = \int_{a}^{x} f(t) dt[a,b][a,b] で連続で、(a,b)(a,b)微分可能で、dF(x)dx=f(x)\displaystyle {{dF(x)} \over {dx}} = f(x) を満たす。

(2) ff の任意の不定積分 FF について、abf(x)dx=F(b)F(a)\displaystyle \int_{a}^{b} f(x) dx = F(b) - F(a)

説明

もちろん、微分、積分という言葉を使うからには、これらの関係を簡単に推測できる。しかし、英語では differential と integral で全く関係ない上に、概念も特に似ていない。

微積分学の基本定理は、この微分と積分が、実際には互いに逆の演算であることを示している。

証明

(1)

積分の平均値定理により、f(c)=1hxx+hf(t)dt\displaystyle f(c) = {{1} \over {h}} \int_{x}^{x+h} f(t) dt を満たす ccx,x+hx, x+h の間に存在する。

h0h \to 0 のとき、cxc \to x になるので、

limh01hxx+hf(t)dt=limh0f(c)=f(x) \lim_{h \to 0} {{1} \over {h}} \int_{x}^{x+h} f(t) dt = \lim_{h \to 0} f(c) = f(x)

一方、F(x+h)F(x)=ax+hf(t)dtaxf(t)dt=xx+hf(t)dt\displaystyle F(x+h) - F(x) = \int_{a}^{x+h} f(t) dt - \int_{a}^{x} f(t) dt = \int_{x}^{x+h} f(t) dt ので、

1hxx+hf(t)dt=F(x+h)F(x)h {{1} \over {h}} \int_{x}^{x+h} f(t) dt = { {F(x+h) - F(x)} \over {h} }

従って、

limh0F(x+h)F(x)h=F(x)=f(x) \lim_{h \to 0} { {F(x+h) - F(x)} \over {h} } = F ' (x) = f(x)

(2)

FFff の不定積分なので abf(t)dt=F(b)+C\displaystyle \int_{a}^{b} f(t) dt = F(b) + C となり、

aaf(t)dt=F(a)+C \int_{a}^{a} f(t) dt = F(a) + C

両辺を引くと、

abf(x)dx=F(b)F(a) \int_{a}^{b} f(x) dx = F(b) - F(a)

参照


  1. James Stewart, Daniel Clegg, and Saleem Watson, Calculus (early transcendentals, 9E), p399-405 ↩︎