定積分の定義

関数 $y=f(x)$ において、$f(x)$ の $a$ から $b$ までの定積分 $\displaystyle\int_{a}^{b}f(x)dx$ を次のように定義する。

STEP1：区間を $\boldsymbol{n}$ 等分する

下図のように、$y=f(x)$ の区間 $a\leqq{x}\leqq{b}$ を $n$ 等分し、細かい区間に分ける。

このとき細かい区間の幅 $\Delta{x}$ は、$a$ から $b$ までの長さ $b-a$ を $n$ 等分したものなので、$\Delta{x}=\dfrac{b-a}{n}$ となる。

STEP2：区間の境界の座標を求める

まず、$a=x_0$ とおき、左から順に各区間の境界の $x$ 座標を $x_1$、$x_2$、$\cdots$ とおいていく。

このようにおくと、$x_0=a$、$x_1=a+\Delta{x}$、$x_2=a+2\Delta{x}$、$\cdots$ となるので、境界 $x_k$ の値は \[x_k=a+k\Delta{x}\] となる。

STEP3：境界ごとに長方形を作りその面積を足し合わせる

各区間の右側の境界から左側の境界に向かって、下図のように $x$ 軸に平行な線分を書き、全部で $n$ 個の長方形を作る。左から $k$ 番目の長方形の面積は、幅が $\Delta{x}$、高さが $f(x_k)$ なので、$f(x_k)\Delta{x}$ であるから、すべての長方形の面積は \begin{align} &f(x_1)\Delta{x}+f(x_2)\Delta{x}+f(x_3)\Delta{x}\\ &\qquad+\cdots+f(x_{n})\Delta{x}\\ =&\sum_{k=1}^{n}f(x_{k})\Delta{x} \end{align} と表される。

STEP4：極限をとる

最後にSTPE3で得られた長方形の面積の総和 $\displaystyle\sum_{k=1}^{n}f(x_k)\Delta{x}$ に対して極限 $\displaystyle\lim_{n\to\infty}$ をとり、この値を $\displaystyle\int_{a}^{b}f(x)dx$ と書く。つまり \[\int_{a}^{b}f(x)dx=\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)\Delta{x}\] と定義する。

吹き出し定積分の定義について

この式は丸暗記するようなものではない。『定積分の定義』からSTEPを追って学んできたことを考え、少々時間がかかっても意味を考え自力で導き出せる ようになるのが大切である。

分割を細かくしていくことによって、長方形の様子は下図のように変化していく。だんだんと曲線で囲まれた部分の面積を表すようになるのがわかるだろう。

定積分 $\displaystyle\int_{a}^{b}f(x)dx$ の中の文字 $x$ が「$x$」であることに意味は無く、使う文字は何でもよい。すなわち \[\int_{a}^{b}f(x)dx=\int_{a}^{b}f(\square)d\square\] であり、$\square$ には同じ文字ならどんな文字を入れてもよい。

特に積分区間の端に $x$ を含む場合、混乱をさけるため文字 $t$ などを使うことが多い。つまり \[\int_{a}^{x}f(x)dxではなく\int_{a}^{x}f(t)dt\] とする。