高校数学や大学初級の微積分を学んでいると、「導関数を積分すると原始関数が得られるのはなぜなのか」「これは定義なのか、それとも定理なのか」という疑問を持つことがあります。実はこの関係は微分と積分が互いに逆の操作であることを示す重要な結果であり、微積分学の基本定理によって説明されます。この記事では、その理由を直感的なイメージから数学的な考え方まで順を追って解説します。
まずは原始関数と導関数の意味を整理する
関数F(x)を微分してf(x)になるとき、F'(x)=f(x)と書きます。このときF(x)をf(x)の原始関数と呼びます。
例えばF(x)=x²なら、その導関数はf(x)=2xです。逆に言えば、2xの原始関数はx²+Cとなります。
ここでCは任意定数です。なぜなら定数を微分すると0になるため、x²でもx²+5でも導関数は同じ2xだからです。
不定積分は原始関数を求める操作
数学では、f(x)の原始関数全体を求める操作を不定積分と定義します。
つまり次の関係があります。
∫f(x)dx=F(x)+C
ここでF'(x)=f(x)です。したがって、導関数を積分すると元の関数（正確には定数分を含めた関数族）が得られます。
この意味では「不定積分は原始関数を求める操作」として定義されています。
なぜ微分と積分は逆の操作になるのか
より本質的な理由は、積分が変化量を足し合わせる操作だからです。
微分は関数の変化率を求めます。一方で積分は、その変化率を区間全体で積み上げて総変化量を求めます。
例えば時速60kmで1時間進めば60km移動します。速度が微分に相当し、移動距離が積分に相当します。
変化率を積み上げれば元の量に戻るため、微分と積分は互いに逆の関係になるのです。
微積分学の基本定理が示していること
この関係を数学的に保証しているのが微積分学の基本定理です。
ある連続関数f(x)に対して、
F(x)=∫[aからxまで]f(t)dt
と定めると、F'(x)=f(x)が成り立ちます。
つまり積分によって作られた関数を微分すると元の関数に戻ります。逆に導関数を積分すると元の関数との差は定数だけになります。
これは単なる計算上の偶然ではなく、微積分学の中心となる重要な定理です。
具体例で確認してみよう
F(x)=x³とします。
まず微分すると、F'(x)=3x²です。
次に3x²を積分すると、
∫3x²dx=x³+C
となります。
元の関数F(x)=x³が定数分の違いを除いて再び現れました。
この例からも、積分が微分の逆操作として機能していることが分かります。
「定義」と「定理」の違い
よく混同されますが、「不定積分を原始関数として定義すること」と、「微分と積分が逆演算であることを証明すること」は別の話です。
不定積分そのものは原始関数を求める操作として定義されます。
一方で、定積分と微分が逆の関係になることは微積分学の基本定理によって証明される内容です。
そのため「導関数を積分すると原始関数になる」の一部は定義に基づき、一部は重要な定理によって支えられていると考えるのが正確です。
まとめ
導関数を積分すると原始関数が得られるのは、微分と積分が本質的に逆の操作だからです。
不定積分は原始関数を求める操作として定義されており、さらに微積分学の基本定理によって微分と積分の逆関係が数学的に保証されています。
そのため「導関数を積分すると元の関数に戻る」という性質は単なる計算ルールではなく、微積分学全体を支える重要な原理なのです。
コメント