微積分学の基本定理

微積分学の基本定理

微積分は、変化と蓄積を説明するための「言語」として理解されることが多い。一方では、関数の変化率を測定するために導関数を研究する。他方では、曲線下の面積や量の「連続和」といった蓄積を計算するために積分を研究する。微積分学の基本定理（FTC）は、これら二つの概念を結びつける重要な架け橋となる。微分と積分は二つの別々の概念ではなく、互いに逆演算の関係にあることが明らかになる。この定理こそが、微積分を科学、工学、経済学、その他多くの分野で非常に強力なものにしているのである。

概要：変化と蓄積

道路を走る車を想像してみてください。車の速度は時間に対する位置の変化率であり、移動距離は時間に対する「速度」の累積です。数学的に言えば、速度を \(v(t)\) とすると、時刻 \(a\) から \(b\) までの移動距離は、次の積分で表すことができます。
\[
\int_a^bv(t)\, dt.
\]
一方、\(s(t)\)が位置である場合、速度は次の導関数になります。
\[
v(t) = s'(t)。
\]
微積分学の基本定理によれば、これら二つの演算は密接に関連しています。すなわち、導関数の積分は関数の正味の変化を返し、定積分の導関数は元の関数を返します。この関係性により、面積、距離、質量、エネルギーなど、多くのものの計算がはるかに体系的になります。

簡単な前提知識：定積分と定微分とは何か？

定理の記述に入る前に、重要な概念が2つあります。

1. 導関数 \(f'(x)\): \(x\) がわずかに変化したときのグラフの傾き、つまり \(f(x)\) の変化率を測定します。直感的に言えば、\(f(x)\) が位置を表すとすれば、\(f'(x)\) は速度を表します。

2. 定積分 \(\int_a^bf(x)\,dx\): 区間 \([a,b]\) における \(f\) の累積を測定します。幾何学的には、曲線 \(y=f(x)\) の下の \(x=a\) から \(x=b\) までの符号付き面積 (\(x\) 軸より上の正の面積、\(x\) 軸より下の負の面積) として定義されることがよくあります。

定積分は、リーマン和の極限によって正式に定義される。すなわち、面積を小さな長方形で近似し、長方形の幅がゼロに近づくときの極限をとることによって定義される。

微積分学の基本定理の記述（パート1）

TFK パート 1 では、\(f\) が \([a,b]\) 上で連続である場合、新しい関数を定義します。
\[
F(x)=\int_a^xf(t)\,dt,
\]
すると、\(F\)は\((a,b)\)上で導出でき、
\[
F'(x)=f(x)。
\]

その意味は非常に重要です。\(f\)から「構築された」積分は、\(f\)の原始関数を与えます。言い換えれば、点\(x\)までの積分過程を微分すると、その点における積分率に戻ります。

直感パート1
\(x\)をわずかな量\(\Delta x\)だけ増加させたときの\(F(x)\)の変化が小さいことに注目してください。
\[
F(x+\Delta x)-F(x)=\int_a^{x+\Delta x} f(t)\,dt – \int_a^xf(t)\,dt = \int_x^{x+\Delta x} f(t)\,dt.
\]
\(\Delta x\) が小さい場合、この積分はほぼ \(f(x)\Delta x\) に等しくなります。したがって、
\[
\frac{F(x+\Delta x)-F(x)}{\Delta x}\approx f(x).
\]
\(\Delta x\to 0\) のとき、近似は正確になり、\(F'(x)=f(x)\) となります。

簡単な例
\(f(t)=2t\)と仮定する。
\[
F(x)=\int_0^x 2t\,dt.
\]
\(\int 2t\,dt = t^2\) であることがわかっているので、\(F(x)=x^2\) となります。導関数は \(F'(x)=2x\) で、これは \(f(x)\) に戻ります。これはパート 1 を具体的に示しています。

微積分学の基本定理の記述（パート2）

TFK パート 2 では、\(f\) が \([a,b]\) 上で連続であり、\(F\) が \(f\) の原始関数 (すなわち \(F'(x)=f(x)\)) である場合、
\[
\int_a^bf(x)\,dx = F(b)-F(a).
\]

これは、積分計算において最も頻繁に用いられる定理の形式です。この定理によれば、定積分を計算するには、リーマン和の極限を直接適用する必要はなく、単に\(F\)の原始関数を求め、それを上限と下限で評価すればよいのです。

計算例
カウント：
\[
\int_1^3 (x^2+1)\,dx.
\]
原始関数は
\[
F(x)=\frac{x^3}{3}+x.
\]
それで：
\[
\int_1^3 (x^2+1)\,dx = \left(\frac{3^3}{3}+3\right)-\left(\frac{1^3}{3}+1\right)
= \left(9+3\right)-\left(\frac{1}{3}+1\right)
=12-\frac{4}{3}=\frac{32}{3}.
\]
TFKがなければ、積分を長方形の面積の合計の極限として定義し、その極限を計算する必要があり、はるかに時間がかかるだろう。

なぜ「基本的」と呼ばれるのか？

この定理が基本的な理由は以下のとおりです。

1. 微積分における2つの主要な概念、すなわち微分（変化）と積分（累積）を統合する。
2. 実用的な方法を提供する：定積分は原始関数を用いて計算できる。
3. 多くの応用分野の基礎となっている：物理学（仕事とエネルギー）、統計学（分布と機会）、経済学（総費用と限界費用）、生物学（人口増加）など。

概念的には、微積分は首尾一貫したツールとなる。つまり、「割合」モデルと「合計」モデルを容易に切り替えることができる。

頻繁に登場するアプリケーション

1. 速度からの距離
\(v(t)\)が速度である場合、正味変位は次のようになります。
\[
s(b)-s(a)=\int_a^bv(t)\,dt.
\]
これは、\(v(t)=s'(t)\) の場合の TFK パート 2 からの抜粋です。\(v(t)\) が負になる場合、積分によって正味の変位が得られます。総距離は通常、\(\int_a^b |v(t)|\,dt\) として計算されます。

2. 変化率の累積
タンクが毎分 \(r(t)\) リットルの速度で満たされる場合、区間 \([a,b]\) の間に流入する体積は \(\int_a^br(t)\, dt\) となります。流入速度と流出速度の両方がある場合、体積の正味の変化は (流入 − 流出) の積分となります。

3. 積分の平均値の定理
TFKからは、関数の平均値など、さまざまな結果が生じる。
\[
f_{\text{avg}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
これはデータ分析とモデリングにおいて重要です。

重要な注意事項：利用規約

TFKは一般的に、関数fの表現が滑らかであるためには、対象となる区間において関数fが連続であることを要求します。今後の研究では、この定理を必ずしも連続ではない関数（例えば、特定の条件下でリーマン積分またはルベーグ積分可能な関数）にも拡張できますが、初等微積分においては、連続性の仮定は標準的なものです。

さらに、定積分は符号付きの面積を生成し、必ずしも「純粋な幾何学的面積」になるとは限りません。グラフがx軸の下にある場合、積分は負の値になります。幾何学的面積を表すには、通常、絶対値または区間分割が用いられます。

閉鎖

微積分学の基本定理は、微分と積分を統合する核心となる定理です。第1部では、連続関数を微分すると、その積分値が元の関数に戻ることを示しました。第2部では、定積分を素早く計算する方法、すなわち原始関数を求め、その差分を極限で評価する方法を示しました。この定理によって、微積分学は単なる数学的手法の集合体ではなく、世界を理解するための洗練された枠組みとなります。つまり、物事が時間とともにどのように変化し、それらの変化がどのように積み重なって最終的な値になるのかを理解するための枠組みとなるのです。

後々、積分法、微分方程式、あるいは物理モデルなどを研究する際には、TFKが舞台裏で働き続けていることに気づくでしょう。TFKは、微積分をこれほど強力なツールにしている「架け橋」なのです。