真理の森の数学セミナー～積分編Last～

→積分編⑨

「…積分の定義について、まとめましょう。
まず、区間を分割して、区間内の最大値と最小値を高さとする長方形を考える。
その長方形を足していくと、最小値をとった長方形の面積の和はグラフの面積より小さく、最大値の方はグラフの面積より大きい。
そして、この二つの面積が区間を細かく分割するほど一つの値に近づくとき、これを積分ということにする。
もっと大雑把にいうと、大事なのは”グラフを長方形に分割して、それを限りなく細かくしていくこと”よ」

「それが、積分の定義ってわけだな」

ディーが真理の説明を聞いてひとまず納得していました。

「”細かい長方形を足し合わせる”というのが積分の本質よ」

「うん、だいぶ分かってきた！」

アキも元気そうに返事をしました。
そのとき、真理はどことなく”何かを企んでいる”笑みを浮かべつつ続けました。

「…言い換えると、”細かく分割するとグラフに囲まれた図形に近づくよう長方形で囲め”ば良いのよね」

「…た、確かにそうだね」

その様子を見ながら、若干まごつくアキ。

「…真理、いったい何を考えているんだ？」

数正もこの後の展開が分からず、戸惑っていました。
最も、このセミナーでは”真理の予想外の話”はよくあることなのですが。

「…おそらく、普通だったら”区間求積法”の定義通りに長方形の面積の和を計算して、その極限を確かめるのが筋でしょうね。
だけど、それだと複雑すぎて私の伝えたいことが分かりにくいわ。
それに…」

そこで一旦区切り、真理は皆を見ながらこう言いました。

「流石に時間が掛かりすぎね。そろそろ話をまとめた方が、お互いのためでしょう？」

「…まぁ、な」

その言葉に思わず同調したディー。
実際、真理が自分の発見について説明をしてから数十分が経過していました。
アキもディーも、新しい概念を理解するためにかなり頭を使って疲れてます。

「大丈夫。この後の話は簡単だから」

それを分かってか、真理は微笑みながらそう話しました。

「さて、これから”1/6公式”の”積分の定義”を使った証明を始めましょう。
さっきも話したように、”積分の定義”とは”グラフで囲まれた図形を細かく分割する”ことであり、細かく分割した図形を長方形で近似すること。
“区間求積法”では分割した区間での最小値、最大値を高さとした長方形で近似したのだけど…」

そういって、真理は一つの図形を黒板に書きました。

「今から計算するのは、次のような近似の仕方よ」

「これは…」

「区間の端っこを高さにしている？」

3人は真理が書いた図を見ながらびっくりしていました。

「その通りよ。今から考えるのは”各区間の端点の値を高さとした長方形”の和の極限」

「…え、これって大丈夫なの？」

「それについて、細かくは後で話すとして…。
結論から話すとこの図形は最終的にはグラフの面積と一致するわ」

「…どうしてなのか、聞いてもいい？」

「そうね…。この図形を見ると左半分が””、右半分が””に分かれているのが分かるかしら？」

「あ、確かにそうなってるね」

「放物線は軸より左では単調減少、軸より右では単調増加となるから、軸より左は区間の左端が最小、右は区間の左端が最大になるわけ」

「そうなると、さっき計算したみたいに…」

と、ディーはさっき計算したときのことを思い出していました。

「そう、直感的には”細かく分割するほどグラフに近づいていく”となるわけ。
まぁ、これはあくまで直感に過ぎないのだけど…」

「う～ん…なんとなくは分かったような…」

「ひとまず、計算してみましょう。
区間の長さはで、これを等分するから…」

「長方形一つの横の長さは？」

「ええ、それで合ってるわ。
そして、分割した番目の区間はとなるわね」

「うーん…これは…」

アキは数式を見ながらしばし悩んでいました。

「を具体的な値で考えてみると良いわ」

「、つまり”1番目の区間”は…最初がで、終わりは区間の幅がだから、か。
さっきの式にを代入してみると…お、確かに一致してるぜ」

「あとは、を加えていけば良いから…番目のときはになって、確かによさそうだ！」

具体的に計算していって、2人は納得できたようです。

「今は各区間の始点、左端の値を高さとして考えているから高さは…」

   

「となるわね。ちょっと難しかったかしら…」

「…いや、なんとかついていけてるぜ」

少し自信なさそうですが、ディーはそう話しました。

「以上から、一つの長方形の面積は」

   

「となるわ」

「…そっか、は区間の長さで、それが三乗されるのは長方形の面積から来ているんだね」

公式と見比べながらアキがつぶやきました。

「今の場合長方形の高さが2次関数の値だから、横の区間の長さと合わせて三乗になるのよ」

「ふーん…こう考えると、数式一つ一つに意味があるんだね」

「そこを分かるのが数学の楽しみだって、私は思うわ」

そう、真理は答えて…続きの式を書きました。

「これで、以外の部分の意味は見えてきたわね。残るは…」

   

「今出た長方形の面積を全て足していくことで現れるわ」

「いよいよ、最後の計算ってわけだな」

真理の話を聞きながら、ディーは少し楽しみそうに話しました。

「まず、が出ているのは少し見にくいから、の下の変数を少し変えるわね。
具体的にはと置くわ」

「そうすると…」

と言いながら、アキが一つ一つ置き換えました。

「のときはで、のときにはだから」

   

「こうだね！」

「ええ、その通り。これで少し見やすくなったわね。
それから、の部分は…」

「確か、が変わっても、変わらずに出てくるんだったか？」

   

「そう。だから、この部分を括るようにして、の前に出せるわ」

   

「だから…」

   

「この部分を計算すればいいの。あとは…」

   

「と、このように計算できるわ」

「なぁ、途中のこの辺りなんだが…」

とディーが計算について真理に尋ねている間、数正は…

「そうか…この部分でが出ているんだな。さらに、残りの部分は…」

一人、計算の続きをしながら感嘆していました。

「…だから、通分するときに分子にもを掛けている。
の部分は共通しているから括れて、残りがというわけ」

「おお、少し分かった気がするぜ」

「じゃあ、締めくくりましょう。
今の計算で…」

   

「となるわね。最後に分割を細かくするから、区間の数を大きくするのよ。
つまり、…を限りなく大きくしたときの極限を計算する」

   

「ちょうど分母にが3つ出ているから、とと、一つ一つをで割ってあげましょう」

「をで割るとになるね！」

   

「を限りなく大きくしたとき、はに限りなく近づくから、はそれぞれに収束するから」

   

「…おぉ！！”1/6公式”が出てきた！」

「ふ～…やっと終わったぜ」

「これで証明終了ね」

アキが感激し、ディーが一息ついている姿を見ながら、真理は締めくくりました。

「『数学ガール』という話を聞いて、私はとが対応していることを思い出してね。
そうしたら、次関数と、まさに対応がぴったり合っていたのよ！
さらに乗和の公式にも1/6が出てくる…だから」

「区分求積法を使って計算してみた、というわけか」

と数正が拾いました。

「そう！つまりは本質的には”離散”の世界から出ているのよ！」

「離散？」

「ええ、Grothendieckも離散と連続の関係については重要なテーマの一つとして考えていたわ…」

真理が名前を出したGrothendieckは多くの革新的な理論を創造した20世紀の数学者。
彼女はGrothendieckの数学、特にその哲学に強い興味を持っていました。

「Grothendieckは進の世界と実数の世界、この2つに着目していた。今回の話はそれとは違うけど…」

と真理がかなり興奮しながら話をしていましたが、もはや皆追いつけない状態です。

「…なぁ」

「？どうしたの？」

「これってさ、次関数だと1/6公式があるけど、次関数だとこういうのあるのか？」

「ふむ…」

「…それは面白そうね」

ディーの質問に、Grothendieckの話をしていた真理も、数正も反応しました。
そこにあるのは、新しい問題に対する興味。

「そういえば、さっきディーが話していた微分との関係性も話したいところね」

「お、その話か…難しくならないよな？」

「それは、どうかしら？」

「次関数か…それはあまりやったことがないな。だが、計算すればできそうだ」

「うーん、私は次関数あまり慣れていないからなぁ…」

「一つ一つ考えていこう」

そうして、新しい問題を考えるべく、彼ら4人はまた計算を始めるのでした。

→まとめへ戻る