なぜ定積分で面積が求まるのか
面積は「微分の逆の操作」を用いて求めることができる。
一見面積とは無縁な微分という操作の逆を考えることで面積が求められるというのは驚きです。
積分の2通りの定義
定積分で面積が求まる理由
微分積分学の基本定理
積分の2通りの定義
積分には2通りの定義の仕方があります。
1:「微分の逆の操作を使って定積分を定義」
ただし,
つまり,「微分の逆の操作」を積分と定義する流儀です。
2:「定積分は面積」
と 軸で囲まれた部分の面積( 軸の下側にある部分の面積はマイナスとする)を と定義する流儀です。
注:本当は「面積」というより「リーマン和の極限」と言ったほうが正しい。
多くの高校の教科書では分かりやすさを重視して定義1を採用しています。1を定義として採用すれば,2は性質として導けます。つまり,微分の逆の操作によって面積が求まるのです!
これは非常におもしろい事実です。はじめて知ったときは感動したものです。
以下では1を定積分の定義として,それが面積を表すことを解説します。
定積分で面積が求まる理由
1を定義として2が成立することを証明します。つまり,面積が で表せることを証明します。
と 軸で囲まれた部分の(符号付き)面積を とおく。
を少し大きくして としたときに がどれくらい変化するか考えると,図より,
ただし, は から 内の の最小値で は最大値。
各辺を で割る:
ここで,各辺 の極限を取る。左辺と右辺は に収束し,中辺は微分の定義より 。
よって,はさみ打ちの原理より,
本質的な部分はここまでです。遂に微分と面積が結びつきました。
あとは,積分定数の部分を調整して証明を完遂します。
上式の両辺を積分して,
ただし, は積分定数。
また, なので を代入して が分かる。
求める面積は の場合なので
注:図は である場合ですが, が負になるような場合も上記の議論は崩れません。
微分積分学の基本定理
ちなみに,高校の教科書とは逆に,大学の教科書では2を定義とすることが多いです(より厳密にはリーマン和というものを考える)。2を定義として採用すれば,1は性質として導けます。これを 微分積分学の基本定理と呼びます。
面積が定積分(=微分の逆演算)で求まるというのは驚くべき事実です。