積分学の基本定理の証明
📂微分積分学積分学の基本定理の証明
定理
関数 f が閉区間 [a,b] で連続だとしよう。
(1) 関数 F(x)=∫axf(t)dt は [a,b] で連続で、(a,b) で微分可能で、dxdF(x)=f(x) を満たす。
(2) f の任意の不定積分 F について、∫abf(x)dx=F(b)−F(a)
説明
もちろん、微分、積分という言葉を使うからには、これらの関係を簡単に推測できる。しかし、英語では differential と integral で全く関係ない上に、概念も特に似ていない。
微積分学の基本定理は、この微分と積分が、実際には互いに逆の演算であることを示している。
証明
(1)
積分の平均値定理により、f(c)=h1∫xx+hf(t)dt を満たす c が x,x+h の間に存在する。
h→0 のとき、c→x になるので、
h→0limh1∫xx+hf(t)dt=h→0limf(c)=f(x)
一方、F(x+h)−F(x)=∫ax+hf(t)dt−∫axf(t)dt=∫xx+hf(t)dt ので、
h1∫xx+hf(t)dt=hF(x+h)−F(x)
従って、
h→0limhF(x+h)−F(x)=F′(x)=f(x)
■
(2)
F は f の不定積分なので ∫abf(t)dt=F(b)+C となり、
∫aaf(t)dt=F(a)+C
両辺を引くと、
∫abf(x)dx=F(b)−F(a)
■
参照