博士！
前回、微分は「傾き」で、積分は「その巻き戻し（不定積分）」って学んだよね。
でも、傾きを巻き戻す計算が、なんで曲線の「面積」を求めることにつながるの？全然イメージが湧かないよ！
ふむ、実に本質的な疑問じゃな。
一見すると「曲線の傾き」と「囲まれた面積」は全く別物に見えるからの。
そうなんだよ！
傾きと面積なんて、全然関係ないじゃん？
実は「面積の足し算の構造」を順番に観察していくと、最後に微分が架け橋として繋がるカラクリが見えてくるのじゃよ。
今回は「定積分」の仕組みと、教科書に出てくる「負の面積」の謎について順番に紐解いていくとしよう。
積分の本質は「細かく分けた長方形の足し算」
そもそも、曲線の面積ってどうやって計算するの？
三角形や長方形みたいに公式がないよね。
古代の数学者たちは、曲線の面積を求めるために「細かく切った長方形を並べて足し合わせる」というアプローチを考えたのじゃ。
長方形の足し算？
そうじゃ。
横幅のごく薄い長方形を隙間なく並べて、その面積を全部足すのじゃよ。
長方形の幅を極限まで薄くしていけば、曲線の形にぴったり重なって正確な面積になるという考え方じゃな。
あ！
積分の記号 \int（インテグラル）って、もしかして「足し算（Sum）」の S を引き伸ばした記号なの？
見事な着眼点じゃな、すくぞう！
\int は合計を意味する Sum の頭文字 S を縦に伸ばした記号で、dx は「ごく薄い横幅」を表しておる。
つまり「高さ f(x) × 薄い横幅 dx」という長方形の面積を、指定した範囲まで全部足し合わせるという意味なのじゃ。
長方形1個の面積は「全体面積の引き算」である
長方形を足し合わせる意味は分かったよ。
でも、無数にある長方形を1個ずつ足し算するのって、ものすごく大変じゃない？
その通りじゃ。
そこで、長方形1個の面積の表し方を少し工夫してみるのじゃ。
基準となる左端から x までの「全体面積を表す関数」を、仮に S(x) と置いてみよう。
全体面積の関数 S(x) だね。
右側にほんの少しだけ幅 \Delta x だけ進んだとき、新しく付け足される長方形1個の面積はどう表せるかの？
横幅が \Delta x で、高さが f(x) だから、長方形の面積は「高さ f(x) × 幅 \Delta x」だね。
そうじゃ。
そして同時に、この長方形の面積は「少し進んだ全体面積 S(x + \Delta x)」から「手前の全体面積 S(x)」をくり抜いた引き算としても表せるじゃろう？
S(x + \Delta x) - S(x) \approx f(x) \Delta x
あ、式の真ん中にある \approx って、教科書でよく見る「≒（ニアリーイコール）」のこと？
その通りじゃ。
\approx は「およそ等しい（≒）」を意味する世界共通の記号じゃよ。
曲線の屋根と平らな長方形の間にわずかなスキマがあるからの。じゃが、「長方形1個の面積」は、見方を変えると「全体面積の引き算」で表せるという本質が見えてくるじゃろう？
なるほど！
幅があるうちは屋根にわずかなスキマがあるから「およそ等しい」なんだね。
でも見方を変えると「長方形1個の面積＝全体面積の微小な引き算」そのものなんだ！
長方形を無数に足すと「ドミノ倒し」で消える
では、x = a から x = b までの区間を細かく x_0, x_1, x_2, \dots, x_n と分けて、長方形を左から右へ順番に全部足してみるぞ。
さっきの「引き算の形」で長方形を並べて足すんだね！
そうじゃ。各区間の長方形の面積を並べて足し合わせると、次のようになるのじゃよ。
(S(x_1) - S(a)) + (S(x_2) - S(x_1)) + (S(x_3) - S(x_2)) + \dots + (S(b) - S(x_{n-1}))
あっ！式をよく見ると、1番目のカッコの左側にある S(x_1) と、2番目のカッコの右側にある - S(x_1) がプラスマイナスで消える！
S(x_2) と - S(x_2) も消える！
途中の境界線が全部ドミノ倒しみたいに相殺されて消えちゃう！
その通りじゃ！
途中に並んだ無数の長方形たちの境界はすべて打ち消し合って消滅し、最後に残るのは一番お尻の S(b) と一番頭の S(a) の引き算だけになるのじゃよ。
\text{無数の長方形の足し算} = S(b) - S(a)
すごい！
無数の長方形を1個ずつ足し算しなくても、最初と最後の引き算 S(b) - S(a) を計算するだけで、すべての長方形を足したことと完全に同じになっちゃうんだ！
なぜ「微分の逆計算」で面積の式が手に入るのか？
でも博士！一番大事な疑問があるよ。
私たちが問題文から最初から知っているのは「曲線の高さ f(x)」の式だけであって、そもそも「全体面積の関数 S(x)」の正体なんて最初は分からないじゃん！
S(x) の式が手に入らなければ、S(b) - S(a) の引き算も計算できないよ！
ハハハ！実に素晴らしい核心じゃ、すくぞう！
手元にあるのは高さ f(x) だけで、知りたい面積関数 S(x) は未知。
ここで初めて「微分」が両者を結ぶ架け橋になるのじゃよ。
微分が架け橋？
さっきのステップで確認した、長方形1個の面積の式を思い出してみるのじゃ。
S(x + \Delta x) - S(x) \approx f(x) \Delta x
この式の両辺を幅 \Delta x で割ってみるぞ。
\dfrac{S(x + \Delta x) - S(x)}{\Delta x} \approx f(x)
あ！左辺は微分の定義の形だ！
幅 \Delta x を 0 に極限まで近づけると、左辺は面積関数 S(x) の微分 S'(x) になる！
その通りじゃ！
幅 \Delta x を 0 に近づけると等式が厳密に成り立ち、S'(x) = f(x) になる。つまり「面積 S(x) を微分すると、曲線の高さ f(x) になる」という関係が成り立つ設定なのじゃよ。
面積を微分すると高さになる……
ということは！
うむ！
手元にある「曲線の高さ f(x)」から、未知の「面積関数 S(x)」を復元するにはどうすればよいかの？
「微分したら f(x) になる元の式」を探せばいいんだ！
それって、前回学んだ「微分の逆計算（原始関数 F(x) を求める操作）」そのものじゃん！
見事じゃ！
私たちが知っている高さ f(x) を微分の逆計算で巻き戻して原始関数 F(x) を作れば、知りたかった面積の式が手に入る。
そして、その F(x) に端の値を代入して F(b) - F(a) と引き算すれば、途中の無数の長方形を足し合わせた面積が直接求まるのじゃよ！
なるほどー！
- 長方形1個は面積の引き算である。
- 無数の長方形を足すと、ドミノ倒しで端っこの引き算 F(b) - F(a) だけが残る。
- 未知の面積関数 F(x) は、手元にある高さ f(x) を微分の逆計算で巻き戻せば復元できる。
この順番で考えると、微分と積分が頭の中で完全に一本の線で繋がったよ！
定積分の計算方法と「負の面積」の正体
じゃあ博士、その「ドミノ倒しの末に残った最初と最後の引き算」を行う実際の計算作法はどう書くの？
その作法こそが「定積分」なのじゃ。
x = a から x = b までの範囲で面積を求める計算を、このように書くのじゃよ。
\int_{a}^{b} f(x) dx = [F(x)]_{a}^{b} = F(b) - F(a)
あ！
さっきドミノ倒しで残った F(b) - F(a) の引き算だ！
原始関数 F(x) に上の数字 b を代入した値から、下の数字 a を代入した値を引き算するんだね。
あ、引き算するから不定積分の「+ C」も相殺されて消えちゃうんだ！
その通りじゃ。
(F(b) + C) - (F(a) + C) = F(b) - F(a) となるため、定積分では + C を書く必要がないのじゃよ。
ところで博士、教科書に「定積分の値がマイナスになることがある」って書いてあったんだけど、面積がマイナスになるってどういうこと？
定積分の計算は「高さ f(x) × 幅 dx」の足し算じゃから、グラフが x 軸より下側にあるとき、高さ f(x) 自体がマイナスの値になってしまうのじゃよ。
あーっ！
高さがマイナスだから、計算結果もマイナスになっちゃうんだね！
そうじゃ。
定積分そのものは正負を持つ値を出力するが、実際の「図形の面積 S」を求めたいときは、マイナスを反転させてプラスにしてあげる必要があるのじゃな。
演習問題：定積分の計算と面積の算出
問題 1 の解答・解説
まず、3x^2 - 2x の不定積分（原始関数 F(x)）を求める。
\int (3x^2 - 2x) dx = x^3 - x^2
定積分の記号構文に従い、上端 x = 3 と下端 x = 1 を代入して引き算を行う。
\int_{1}^{3} (3x^2 - 2x) dx = [x^3 - x^2]_{1}^{3}
= (3^3 - 3^2) - (1^3 - 1^2)
= (27 - 9) - (1 - 1)
= 18 - 0 = 18
答：18
問題 2 の解答・解説
まず、放物線と x 軸（y = 0）の交点の x 座標を求める。
x^2 - 4 = 0 より (x+2)(x-2) = 0 となり、x = -2, 2 である。
区間 -2 \leqq x \leqq 2 において、グラフは x 軸の下側（y \leqq 0）にあるため、定積分の値は負となる。面積 S を求めるには全体にマイナスを掛けて符号を反転させる。
S = -\int_{-2}^{2} (x^2 - 4) dx
不定積分を行って上端 x = 2 と下端 x = -2 を代入して計算する。
S = - \left[ \dfrac{1}{3}x^3 - 4x \right]_{-2}^{2}
= - \left\{ \left( \dfrac{1}{3} \cdot 2^3 - 4 \cdot 2 \right) - \left( \dfrac{1}{3} \cdot (-2)^3 - 4 \cdot (-2) \right) \right\}
= - \left\{ \left( \dfrac{8}{3} - 8 \right) - \left( -\dfrac{8}{3} + 8 \right) \right\}
= - \left( -\dfrac{16}{3} - \dfrac{16}{3} \right)
= - \left( -\dfrac{32}{3} \right) = \dfrac{32}{3}
答：\dfrac{32}{3}
まとめ：長方形の相殺と微分の逆計算が導く面積の真理
無数の長方形を足し合わせる計算がドミノ倒しで端っこの引き算になり、その式を復元するために微分の逆計算を使うんだね！
x 軸より下の部分は高さがマイナスになるから定積分もマイナスになるという理由もよく納得できたよ！
うむ、足し算の相殺構造と微分の逆計算が組み合わさることで、面積という全体量がたった1回の引き算で求まるこの仕組みこそが、微積分学の真骨頂なのじゃ。
でも博士、毎回こうやって定積分の計算でカッコの引き算や分数計算を長々とやるのって、結構計算ミスしやすいよね。
その通りじゃ。
特に「2次関数と直線（または2次関数同士）で囲まれた面積」を計算するときは、計算量が非常に多くなりミスが起きやすいのじゃ。
何か手短に計算を整理できる公式や構造はないの？
実に良い問いかけじゃな。
次回は、受験生や高校生がよく使う「1/6公式」がなぜ成り立つのか、単なる暗記技ではなく「引き算の構造」から紐解いていくとしよう。
1/6公式の構造！
次回も楽しみにしてるね、博士！
次回は最終ステップ「1/6公式は暗記技か？『積分の引き算』が表す面積の構造」に進むとしよう。
コメント