定積分の定義について

関数 $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}$ となる。

$a$ から $b$ までの積分

$a$ から $b$ までの積分

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}\] となる。

$x_0$ から $x_n$ までの積分

$x_0$ から $x_n$ までの積分

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} と表される。

$x_0$ から $x_n$ までの積分

$x_0$ から $x_n$ までの積分

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}\] と定義する。

定積分の定義

(注)

関数 $f(x)$ に関して、定積分 $\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}\] と定義する。ただし、$x_k=a+k\Delta{x}$、$\Delta{x}=\dfrac{b-a}{n}$ である。

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

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

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

定積分の定義

定積分の定義