第136回 シーズン14 エピソード6

初めてのインテグラル（後編）

図書室にて

僕「……だから《接線の傾き》をそのような《瞬間の変化率》として考えると、 《面積を求めること》と《接線の傾きを求めること》が逆だ、という主張がしっくりくるかもしれないよ」

テトラ「ははあ……」

僕「すごくいいかげんな言い方になるけど…… 《面積を求めること》は、細かい変化をぜんぶ累積して全体を足し合わせたもので、それが積分。 《接線の傾きを求めること》は、累積して足し合わせた全体の、ある一点での細かい変化を見ようとしていて、それが微分。 そう考えると逆になるのが納得するね。僕は最初、そんな感じのイメージを持ったんだよ」

テトラ「へ、へえ……」

微分積分学の基本定理

ミルカ「今日は、どんな問題？」

テトラ「あ、ミルカさん！」

ミルカ「ふうん……微分積分学の基本定理の話か」

テトラ「微分積分学の、き、基本定理……？　それは何でしょうか？」

ミルカ「いまやっていたこと」

僕「名前が付いているのか！　そりゃそうだね」

テトラ「ど、どういうことでしょう」

ミルカ「$F'(x) = f(x)$ のことだよ」

僕「これだね」

ミルカ「そう。概念としてはこれでいいのだけれど、 左端は $a$ である必要はないし、 $f(x) \geqq 0$ という条件も特にいらない……」

僕「《面積》と表現して定義したから」

ミルカ「ああ、そうだな」

テトラ「あ、あの……どういうことでしょう」

僕「ほら、さっきも言った話だよ。 面積と言ってしまうと、必ず $0$ 以上になるから、 $f(x) \geqq 0$ という条件を入れなきゃいけなくなる。 でも、実は、 $f(x)$ の符号はあまり関係がなくて、 $x$ 軸より下に来た場合には面積に $-1$ を掛けて $F(x)$ を考えるということだよ」

テトラ「ははあ……」

ミルカ「そして、左端は $a$ である必要はない。区間 $a \leqq x \leqq b$ で考えているなら、 この中のどの点 $c$ も左端にしてかまわない」

僕「うんうん、それはそうだね。いくらでも考えられる。 $c$ として、 $c_1,c_2,c_3,\ldots$ を適当に選んで、 $F_1(x), F_2(x), F_3(x), \ldots$ って」

テトラ「ちょ、ちょっと待ってください。わからなくなってしまいました。 左端を変えてしまったら、面積も変わりますよね？　つ、つまり、 $F_1(x)$ と $F_2(x)$ と $F_3(x)$ はどれも違う関数……ですよね？」

ミルカ「もちろん」

僕「でも、どれを微分しても $f(x)$ に戻るんだよ、テトラちゃん」

テトラ「へ、へえ……そうなるんですか」

ミルカ「納得していないテトラに対して、君が解説する」

僕「ほらほら、区分求積法を使って $F'(x) = f(x)$ を説明したときを思い出せば《あたりまえ》だよ。 だって、あのとき短冊一個分で考えたよね。最前線……つまり $x$ と $x+h$ の細い短冊で考えた。 左端が何かなんて無関係だったじゃないか」

テトラ「あ！　確かに！」

ミルカ「ところで、なぜさっきからインテグラルを使わない？」

テトラ「インテグラル……」

ミルカ「彼が $F(x)$ と呼んだり、 $F_1(x), F_2(x), F_3(x)$ のように書いたりしている関数は、 インテグラルを使えば、左端と右端を明示的に表現できる。《定積分》だよ」

ミルカ「そして、定積分 $\int_c^{x} f(t)dt$ を $x$ の関数だと考えれば、 《微分積分学の基本定理》はこう書ける。 $\int_c^{x} f(t)dt$ を $x$ で微分すると、 $f(x)$ に等しくなると」

僕「なるほど。これでいいのか……」

テトラ「えっ……えっと？　これ、先ほどと同じお話なんでしょうか？」

ミルカ「困惑しているテトラに対して、君が解説する」

僕「ええとね、テトラちゃん。そうだよ。さっき僕が書いた $F'(x) = f(x)$ と同じことを言ってるんだよ、これ」

テトラ「すみません、あたしにはまだ難しかったようです」

僕「そんなことないよ！　難しそうな記号が出てるけど、 テトラちゃんは、区分求積法がわかっていて、極限もわかるんだから、 この数式が表している概念はもうわかっているはず」

テトラ「でも……」

僕「一度に全部理解しなくていいんだよ。ひとつひとつ説明するから」

テトラ「すみません……」

インテグラルと定積分

僕「さっきミルカさんが《定積分》といったのがこの部分だよね」

テトラ「あ、はい」

僕「これは $t = c$ から $t = x$ まで、 $f(t)$ が作るグラフの面積を表していると考えればいいよ。 $x$ 軸より下になった部分の面積は負として考えることにするんだけど」

ミルカ「$t$ の説明が要る」

テトラ「あ、そうです。そこをお尋ねしようと思っていました。 $t$ が何なのかわかりません」

僕「ほらほら、関数を考えているときは変数は何で表してもいいって話、したよね。 $t$ でも $\heartsuit$ でもいいということ。 普通は関数を考えるとき $f(x)$ のように変数を $x$ で表すことが多いけど、 べつに $x$ でなくちゃいけないってわけじゃない。 たとえば $t$ でも $\heartsuit$ でも何でもいいよね」

テトラ「$\heartsuit$」

ミルカ「$\heartsuit$」

僕「$\heartsuit$ ……って、何やってるんだろう。 ともかく、変数が何なのかはっきりしてるなら、どんな文字を使ってもいい。 いまは、 $c$ から $x$ までの定積分を考えたいので、 $f(x)$ を使っちゃうと、話が混乱する。なので、 $f(t)$ にしたんだね」

テトラ「だったら、 $\heartsuit$ でもいいんですよね？　こんなふうに」