積分が答える問い:この曲線の下の面積はどれだけか
∫ₐᵇ f(x) dxと書かれる定積分は、ある特定の幾何学的な問いに答えます:x = aからx = bまでの範囲で、fのグラフとx軸との間の符号付き正味の面積はどれだけか、という問いです。「符号付き正味」とは、f(x)が正である(曲線がx軸より上にある)領域の面積は正としてカウントされ、f(x)が負である(曲線がx軸より下にある)領域の面積は負としてカウントされ、合計から差し引かれることを意味します。
これは、1点における変化率を測る導関数を求めることとは異なる問いです。積分はむしろ、区間全体にわたってある量 — 面積 — を積み上げていくものであり、そのため、変化し続ける速度から総移動距離を求めたり、変化し続ける生産速度から累積総量を求めたりするように、連続的に変化する割合から総量が構築される場面には、必ず積分が自然に現れます。
リーマン和:長方形で面積を近似する
リーマン和は、区間[a, b]をn個のより小さな小区間に分割し、それぞれの小区間の上に、その小区間内のある点における関数の値に高さを合わせた長方形を描き、それらすべての長方形の面積を合計することで、曲線の下の面積を近似します。左リーマン和、右リーマン和、中点リーマン和という3つの一般的な変種は、それぞれの小区間の中のどの点を使って長方形の高さを設定するか — 左端、右端、あるいは中点 — によってのみ異なります。
小区間の数nが増えるにつれて、それぞれの長方形は幅が狭くなり、ぎざぎざした長方形による近似は真の曲線により密接に沿うようになるため、リーマン和の合計は厳密な面積に近づいていきます。定積分は、正式には、nが無限大に近づくとき(同じことですが、それぞれの長方形の幅が0に近づくとき)のリーマン和の極限として定義されます — この極限があるからこそ、積分は単なる近似ではなく、厳密に定義された数値になるのです。
| 小区間の数(n) | 左リーマン和 | 中点リーマン和 |
|---|---|---|
| 4 | 0.218750 | 0.328125 |
| 8 | 0.273438 | 0.332031 |
| 16 | 0.302734 | 0.333008 |
| 100 | 0.328350 | 0.333325 |
リーマン和からシンプソンの公式へ:この計算機が用いる手法
上の表は、f(x) = x²の[0, 1]における左リーマン和と中点リーマン和の両方が、小区間の数nが増えるにつれて厳密な値1/3 ≈ 0.33333333へと収束していく様子を示しています — この関数については中点による方法が左端による方法よりも明らかに速く収束しており、リーマン和のすべての変種が同じ速さで収束するわけではないことを示しています。
このサイトの積分計算機は長方形を一切使いません。代わりに適応型複合シンプソンの公式という数値積分の手法を用います。これは、隣り合う小区間の各ペアにわたって(平らな長方形の上辺ではなく)放物線の弧を当てはめ、それらの放物線の下の面積を合計するものです。放物線は平らな長方形の上辺よりもはるかに曲線の曲がり方に密接に沿うことができるため、シンプソンの公式はリーマン和よりもはるかに少ない小区間の数で一定の精度に到達します — この計算機は、連続する推定値が厳しい数値的許容誤差の範囲で一致するまで小区間の数を繰り返し倍にし、その収束した値を結果として報告します。
微積分学の基本定理を分かりやすく述べる
微積分学の基本定理は、一見まったく異なるものを測っているように見える2つの微積分の演算 — 導関数(瞬間変化率)と定積分(累積面積) — を結びつけ、それらが互いに逆の演算であることを示します。非公式に言えば:Fがfの任意の原始関数である場合(すなわちF'(x) = f(x)である場合)、aからbまでのfの定積分はF(b) − F(a)、つまり区間全体にわたるFの値の変化に等しくなります。
この定理があるからこそ、長方形や放物線を手で合計することなく、多くの積分を厳密に、記号的に評価することが可能になります:1つの原始関数の公式を見つければ、その関数のどんな定積分も単純な引き算で評価できるようになるのです。このサイトの積分計算機はこの経路を使いません — 原始関数の公式を先に見つけたり必要としたりすることなく、シンプソンの公式によって直接数値的に積分を計算します。これは、単純な閉じた形の原始関数を持たない関数も積分できる理由の一部です。
計算例:∫₀¹ x² dx = 1/3
関数f(x) = x²は原始関数F(x) = x³/3を持ちます。なぜならx³/3を微分するとべき乗則によりx²に戻るからです。微積分学の基本定理を適用すると:∫₀¹ x² dx = F(1) − F(0) = (1³/3) − (0³/3) = 1/3 − 0 = 1/3 ≈ 0.33333333となります。
この厳密な記号的答えは、長方形の数が増えるにつれて1/3に近づく上のリーマン和の表とも、同じ積分区間に対してこの計算機が返すであろう数値的なシンプソンの公式による結果とも一致します — 記号的な原始関数による方法、リーマン和の極限、適応型数値求積という3つの異なる経路が、すべて同じ符号付き正味の面積を計算しているために、同一の値1/3に収束するのです。
よくある質問
定積分は何を表しますか?
定積分∫ₐᵇ f(x) dxは、x = aからx = bまでの、関数のグラフとx軸との間の符号付き正味の面積を表します。x軸より上の面積(fが正の部分)は正としてカウントされ、x軸より下の面積(fが負の部分)は負としてカウントされ、合計から差し引かれます。
リーマン和とは何ですか?
リーマン和は、区間をより小さな小区間に分割し、それぞれの上に長方形を描き、その長方形の面積を合計することで曲線の下の面積を近似するものです。小区間の数が増えて各長方形が狭くなるにつれて、リーマン和の合計は厳密な面積に近づいていきます — 定積分は正式にはこの過程の極限として定義されます。
シンプソンの公式はリーマン和とどう違いますか?
リーマン和は平らな上辺を持つ長方形を使って面積を近似しますが、シンプソンの公式は代わりに小区間の各ペアにわたって放物線の弧を当てはめ、それらの放物線の下の面積を合計します。放物線は平らな長方形の上辺よりも曲線の曲がり方に密接に沿うことができるため、シンプソンの公式は一般に、同程度のリーマン和よりもはるかに少ない小区間の数で高い精度に到達します。
微積分学の基本定理は平たく言うと何を述べていますか?
定積分(累積面積)を求めることと導関数(瞬間変化率)を求めることが互いに逆の演算であることを述べています:Fがfの原始関数であれば、aからbまでのfの定積分はF(b) − F(a)に等しくなります。これにより、無限個の長方形を合計することなく、原始関数の公式が分かっていれば、多くの積分を単純な引き算で評価できるようになります。
∫₀¹ x² dxとは何であり、どのように計算されますか?
厳密に1/3(およそ0.33333333)に等しくなります。原始関数F(x) = x³/3を用いて微積分学の基本定理を適用すると:∫₀¹ x² dx = F(1) − F(0) = 1/3 − 0 = 1/3となります。リーマン和やシンプソンの公式といった数値的手法も、分割数を増やすにつれてこの同じ値へと収束します。
参考文献
- Stewart J. Calculus. Cengage Learning (Riemann sums, the definite integral, the Fundamental Theorem of Calculus, and Simpson's rule).
- Burden RL, Faires JD. Numerical Analysis. Cengage Learning (composite Simpson's rule and its error bounds).
- Atkinson KE. An Introduction to Numerical Analysis. Wiley (numerical integration methods).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods — quadrature. dlmf.nist.gov.