1/6公式はなぜ成り立つ?裏ワザではなく『積分の引き算』が表す面積の構造を解説

スポンサーリンク
すくぞう
すくぞう

博士!

前回、定積分の計算で曲線の面積が求まる理由はよく分かったよ。でも正直、代入して計算するのが結構大変だったな……。

x = 2x = -2 を代入してカッコ同士を引き算して通分して……
ってやってると、計算ミスしそうで怖かったよ!

博士
博士

うむ、実に率直で良い実感じゃな。

定積分の計算は「代入」と「通分」が入り組むため、高校数学の計算の中でもミスの起きやすい難所の一つなのじゃ。

すくぞう
すくぞう

やっぱりそうだよね!

教科書や参考書を見たら「1/6公式を使えば一式で求まる」みたいに書いてあったんだけど、あれって怪しい裏ワザなの?

博士
博士

ハハハ、決して怪しい裏ワザなどではないぞ。

1/6公式とは、毎回行う面倒な引き算と通分のプロセスを、あらかじめ数学的に計算して整理しておいた「積分の引き算の構造そのもの」なのじゃ。

今回は、なぜ 1/6 や 3乗という数字が出てくるのか、そのカラクリを紐解いていくとしよう。

2次関数と直線の面積計算はなぜあんなに大変なのか?

すくぞう
すくぞう

そもそも、なんで2次関数の面積計算ってあんなに計算が長くなっちゃうの?

博士
博士

具体例で考えてみよう。y = x^2 - 3x + 2x 軸で囲まれた面積を普通に定積分で計算しようとすると、交点は x = 1, 2 じゃから、このような計算になるのじゃ。

S = -\int_{1}^{2} (x^2 - 3x + 2) dx = -\left[ \dfrac{1}{3}x^3 - \dfrac{3}{2}x^2 + 2x \right]_{1}^{2}

すくぞう
すくぞう

うわぁ……上端の 2 を代入したカッコから、下端の 1 を代入したカッコを引き算するから、\dfrac{1}{3} とか \dfrac{3}{2} の通分を何回もやらないといけないんだね。

博士
博士

そうじゃ。

x^3x^2 の項にそれぞれ数字を代入して引き算するため、分数の計算が何重にも重なってミスが誘発されるのじゃよ。

すくぞう
すくぞう

この「毎回発生する面倒な引き算」を、綺麗にまとめたのが 1/6公式なんだね!

1/6公式の正体と「交点の引き算 (x-α)(x-β)」の構造

すくぞう
すくぞう

じゃあ、その 1/6公式ってどんな形なの?

博士
博士

2次方程式の交点を x = \alpha, \beta (ただし \alpha < \beta)とするとき、定積分の結果は必ず次の公式にまとまるのじゃ。

\int_{\alpha}^{\beta} (x-\alpha)(x-\beta) dx = -\dfrac{1}{6}(\beta - \alpha)^3

すくぞう
すくぞう

(\beta - \alpha)^3-\dfrac{1}{6} を掛けるだけ!?
なんでこんな形になるの?

博士
博士

関数 (x-\alpha)(x-\beta) の形を、少し工夫して変形してみるのじゃ。(x-\beta) の部分を (x-\alpha) - (\beta-\alpha) と書き直してみよう。

\begin{aligned} (x-\alpha)(x-\beta) &= (x-\alpha)\{(x-\alpha) - (\beta-\alpha)\} \\ &= (x-\alpha)^2 - (\beta-\alpha)(x-\alpha) \end{aligned}

すくぞう
すくぞう

あ!全体系を (x-\alpha) のまとまりで展開したんだね!

博士
博士

そうじゃ。この式を \alpha から \beta まで積分すると、こうなるのじゃよ。

\left[ \dfrac{1}{3}(x-\alpha)^3 - \dfrac{1}{2}(\beta-\alpha)(x-\alpha)^2 \right]_{\alpha}^{\beta}

すくぞう
すくぞう

あっ!!下端の x = \alpha を代入すると、(x-\alpha) の部分が全部 (\alpha-\alpha) = 0 になって消えちゃう!

博士
博士

見事な着眼点じゃ!x = \alpha の代入結果が完全に 0 になるため、引き算の後ろ側が消滅するのじゃ。そして上端 x = \beta を代入すると、前側の項はこうなる。

\begin{aligned} \dfrac{1}{3}(\beta-\alpha)^3 - \dfrac{1}{2}(\beta-\alpha)(\beta-\alpha)^2 &= \left( \dfrac{1}{3} - \dfrac{1}{2} \right) (\beta-\alpha)^3 \\ &= -\dfrac{1}{6}(\beta-\alpha)^3 \end{aligned}

すくぞう
すくぞう

すごーい!

\dfrac{1}{3} - \dfrac{1}{2} = -\dfrac{1}{6} の計算から、あの 1/6 が出てきたんだね!丸暗記じゃなくて、代入の工夫から生まれた綺麗な構造なんだ!

博士
博士

その通りじゃ。

囲まれた面積 S を求めるときは、全体の符号を反転させて絶対値を用いるため、放物線の2次の係数を a とすると、面積 S はこのように書けるのじゃよ。

S = \dfrac{|a|}{6}(\beta - \alpha)^3

1/6公式が使える条件とパターンの整理

すくぞう
すくぞう

この 1/6公式って、どんな問題でも使っていいの?

博士
博士

ここが重要じゃ。

何でもかんでも使って良いわけではないぞ。1/6公式が使えるのは「積分区間の端っこ(\alpha\beta)が、グラフ同士の交点の x 座標と完全に一致しているとき」だけなのじゃ。

すくぞう
すくぞう

交点が積分の上下についている時だけなんだね。
具体的にはどんな図形パターンがあるの?

博士
博士

主に次の3つのパターンじゃ。

  1. 2次関数 y = ax^2 + bx + cx 軸で囲まれた面積
  2. 2次関数 y = ax^2 + bx + c と 直線 y = mx + n で囲まれた面積
  3. 2つの2次関数 y = a_1 x^2 + \dotsy = a_2 x^2 + \dots で囲まれた面積(この場合の係数は |a_1 - a_2| となる)
すくぞう
すくぞう

どれも「2次式の交点から交点までの面積」を求める形になっているんだね!

演習問題:1/6公式を活用した面積計算

問題 1 の解答・解説

まず、放物線と x 軸(y = 0)の交点の x 座標を求める。

x^2 - 3x + 2 = 0 より (x-1)(x-2) = 0 となり、x = 1, 2 である。

求める面積 S は、2次係数 a = 1 であり、交点が積分の上下端 \alpha = 1, \beta = 2 に一致するため、1/6公式を適用する。

S = \dfrac{|1|}{6}(2 - 1)^3 = \dfrac{1}{6} \cdot 1^3 = \dfrac{1}{6}

答:\dfrac{1}{6}

問題 2 の解答・解説

まず、放物線と直線の交点の x 座標を求めるため、連立方程式を立てる。

x^2 = x + 2 より x^2 - x - 2 = 0 となる。

(x+1)(x-2) = 0 より、交点の x 座標は x = -1, 2 である。

区間 -1 \leqq x \leqq 2 において、直線が放物線の上側にあるため、求める面積の式は (x+2) - x^2 = -(x^2 - x - 2) = -(x+1)(x-2) と表される。

交点が積分の上下端 \alpha = -1, \beta = 2 に一致し、2次係数が a = -1 であるため、1/6公式を適用する。

\begin{aligned} S &= \int_{-1}^{2} \{ (x+2) - x^2 \} dx \\ &= \dfrac{|-1|}{6} \{ 2 - (-1) \}^3 \\ &= \dfrac{1}{6} (3)^3 \\ &= \dfrac{9}{2} \end{aligned}

答:\dfrac{9}{2}

まとめ:微分・積分分野の総くくり

すくぞう
すくぞう

1/6公式って、単なる暗記の抜け道じゃなくて、積分の代入計算をあらかじめ構造として整理した結果だったんだね!

代入の手間が省けて、構造の意味も分かって納得できたよ!

博士
博士

うむ。

微分とは「ある瞬間のミクロな変化(接線の傾き)」を捉える技術であり、積分とは「その変化を積み重ねてマクロな全体量(面積)」を復元する技術であった。

すくぞう
すくぞう

最初は「極限(lim)」とか「dy/dx」とか「定数C」とか、難しい記号ばかりで身構えてたけど、ひとつひとつの記号の意味と因果関係を解き明かしていくと、全部一つのストーリーとしてつながっていたんだね!

博士
博士

素晴らしい気づきじゃ、すくぞう!

これで「微分・積分編」全8ステップはすべて完結じゃ!

基礎の概念から計算の構造まで、実に見事な探求であったぞ。

すくぞう
すくぞう

ありがとう博士!

微分と積分の本質が分かって、数学がもっと面白くなったよ!

博士
博士

次回からはまた新たな数学のテーマへと進むとしよう。

探求の旅はまだまだ続くのじゃよ!

コメント