定積分の公式の証明
ここでは、定積分の公式の1つである
の証明を行います。
証明
f(x)を積分したものの1つをF(x)とします。
このときf(x)とF(x)は、
F'(x)=f(x)
という関係です。
このときF(x)を実数kでk倍した、"kF(x)"を微分すると、
kF'(x)=kf(x)
となるのは、
導関数の公式で学習した通りです。この関係をaからbの範囲において積分の式に表すと、
となります。この式をさらに解いていくと
\right]_{a}^{b} = k F(b) - k F(a) =k \left{F(b) - F(a) \right} )
ー①
一方で、f(x)とF(x)の関係をaからbの範囲において積分の式に表すと、
= \left[F(x)\right]_{a}^{b} = F(b) -F(a))
ー②
①と②式から、
つまり
が成り立つことがわかります。