定積分と面積の関係について
今まで見てきたように、$\displaystyle\int_{a}^{b}f(x)dx$ の値は、基本的には $a\leqq{x}\leqq{b}$ において $y=f(x)$ のグラフと $x$ 軸の囲む面積を表すのだが、$a\leqq{x}\leqq{b}$ において $f(x)$ の値が負の値をとるときには、この表現は正しいとはいえない。以下ではこの点についてまとめておこう。
- $\boldsymbol{a\leqq{x}\leqq{b}}$ で $\boldsymbol{f(x)\geqq0}$ のとき(基本形) 右図のように $a\leqq{x}\leqq{b}$ で $y=f(x)$ と $x$ 軸の囲む面積を $S$ とすると \[S=\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)\Delta{x}=\int_{a}^{b}f(x)dx\] である。
- $\boldsymbol{a\leqq{x}\leqq{b}}$ で $\boldsymbol{f(x)\leqq0}$ のとき 右図のように $a\leqq{x}\leqq{b}$ で $y=f(x)$ と $x$ 軸の囲む面積を $S$ とする。$f(x)\leqq{0}$ なので、$n$ 等分したときの長方形の面積を $0$ 以上にするため、$-f(x)$ を高さとして計算していく。 \begin{align} S&=\lim_{n\to\infty}\sum_{k=1}^{n}\left\{-f(x_k)\right\}\Delta{x}\\ &=-\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &=-\int_{a}^{b}f(x)dx \end{align} である。$\int_{a}^{b}f(x)dx$ は $S$ ではなく $-S$、いわば「負の面積」を表すといえる。
- $\boldsymbol{a\leqq{x}\leqq{b}}$ で $\boldsymbol{f(x)\geqq0}$、$\boldsymbol{b\leqq{x}\leqq{c}}$ で $\boldsymbol{f(x)\leqq0}$ のとき 右図のように $a\leqq{x}\leqq{b}$ で $y=f(x)$ と $x$ 軸の囲む面積を $S_1$、$b\leqq{x}\leqq{c}$ で $y=f(x)$ と $x$ 軸の囲む面積を $S_2$ とすると、それぞれの面積は積分区間を分割して考えることにより \begin{align} S_1+S_2 &=\int_{a}^{b}f(x)dx\\ &\qquad+\left(-\int_{b}^{c}f(x)dx\right) \end{align} である。
定義を利用した定積分の計算
次の値を求めよ。
- $\displaystyle\int_{0}^{1}xdx$
- $\displaystyle\int_{0}^{1}x^2dx$
- $\displaystyle\int_{1}^{2}x^2dx$
- $\displaystyle\int_{0}^{1}x^3dx$
- $f(x)=x$ とおき、積分区間 $0\leqq{x}\leqq1$ を $n$ 等分して幅 $\Delta{x}=\dfrac{1}{n}$ の区間に分け、各区間の境界の $x$ 座標をを左から $x_0,~x_1,~\cdots,~x_{n}$ とおく。座標 $x_k$ は、$x_k=k\cdot\dfrac{1}{n}$ となるので \begin{align} &\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &=\sum_{k=1}^{n}x_k\cdot\dfrac{1}{n}\\ &=\sum_{k=1}^{n}\left(k\cdot\dfrac{1}{n}\right)\cdot\dfrac{1}{n}\\ &=\dfrac{1}{n^2}\sum_{k=1}^{n}k\\ &=\dfrac{1}{n^2}\cdot\dfrac{n(n+1)}{2}\\ &=\dfrac{1}{2}\left(1+\dfrac{1}{n}\right)\\ &\to\boldsymbol{\dfrac{1}{2}}~~(n\to\infty) \end{align}
- $f(x)=x^2$ とおき、積分区間 $0\leqq{x}\leqq1$ を $n$ 等分して幅 $\Delta{x}=\dfrac{1}{n}$ の区間に分け、各区間の境界の $x$ 座標を左から $x_0,~x_1,~\cdots,~x_{n}$ とおく。座標 $x_k$ は、$x_k=k\cdot\dfrac{1}{n}$ となるので \begin{align} &\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &=\sum_{k=1}^{n}{x_k}^2\cdot\dfrac{1}{n}\\ &=\sum_{k=1}^{n}\dfrac{k^2}{n^2}\cdot\dfrac{1}{n}\\ &=\dfrac{1}{n^3}\sum_{k=1}^{n}k^2\\ &=\dfrac{1}{n^3}\cdot\dfrac{n(n+1)(2n+1)}{6}\\ &=\dfrac{1}{6}\left(1+\dfrac{1}{n}\right)\left(2+\dfrac{1}{n}\right)\\ &\to\boldsymbol{\dfrac{1}{3}}~~(n\to\infty) \end{align}
- $f(x)=x^2$ とおき、積分区間 $1\leqq{x}\leqq2$ を $n$ 等分して幅 $\Delta{x}=\dfrac{1}{n}$ の区間に分け、各区間の境界の $x$ 座標を左から $x_0,~x_1,~\cdots,~x_{n}$ とおく。座標 $x_k$ は、$x_k=1+k\cdot\dfrac{1}{n}$ となるので
\begin{align}
&\sum_{k=1}^{n}f(x_k)\Delta{x}\\
&=\sum_{k=1}^{n}\left(1+k\cdot\dfrac{1}{n}\right)^2\cdot\dfrac{1}{n}\\
&=\sum_{k=1}^{n}\left(1+\dfrac{2k}{n}+\dfrac{k^2}{n^2}\right)\cdot\dfrac{1}{n}\\
&=\dfrac{1}{n}\sum_{k=1}^{n}+\dfrac{2}{n^2}\sum_{k=1}^{n}k+\dfrac{1}{n^3}\sum_{k=1}^{n}k^2\\
&=\dfrac{1}{n}\cdot{n}+\dfrac{2}{n^2}\cdot\dfrac{n(n+1)}{2}\\
&\qquad+\dfrac{1}{n^3}\cdot\dfrac{n(n+1)(2n+1)}{6}\\
&=1+\left(1+\dfrac{1}{n}\right)\\
&\qquad+\dfrac{1}{6}\left(1+\dfrac{1}{n}\right)\left(2+\dfrac{1}{n}\right)\\
&\to1+1+\dfrac{1}{6}\cdot2~~(n\to\infty)\\
&=\boldsymbol{\dfrac{7}{3}}
\end{align}
【別解:2を利用する方法】
$\displaystyle\int_{1}^{2}x^2{dx}=\displaystyle\int_{0}^{2}x^2{dx}-\overbrace{\int_{0}^{1}x^2{dx}}^{2の結果}$ の利用を考える。
$f(x)=x^2$ とおき、積分区間 $0\leqq{x}\leqq2$ を $n$ 等分して幅 $\Delta{x}=\dfrac{2}{n}$ の区間に分け、各区間の境界の $x$ 座標を左から $x_0,~x_1,~\cdots,~x_{n}$ とおく。座標 $x_k$ は、$x_k=k\cdot\dfrac{2}{n}$ となるので \begin{align} &\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &=\sum_{k=1}^{n}{x_k}^2\cdot\dfrac{2}{n}\\ &=\sum_{k=1}^{n}\dfrac{4k^2}{n^2}\cdot\dfrac{2}{n}\\ &=\dfrac{8}{n^3}\sum_{k=1}^{n}k^2\\ &=\dfrac{8}{n^3}\cdot\dfrac{n(n+1)(2n+1)}{6}\\ &=\dfrac{4}{3}\left(1+\dfrac{1}{n}\right)\left(2+\dfrac{1}{n}\right)\\ &\to\dfrac{8}{3}~~(n\to\infty) \end{align} よって、$\displaystyle\int_{1}^{2}x^2dx=\dfrac{8}{3}-\dfrac{1}{3}=\boldsymbol{\dfrac{7}{3}}$。
- $f(x)=x^3$ とおき、積分区間 $0\leqq{x}\leqq1$ を $n$ 等分して幅 $\Delta{x}=\dfrac{1}{n}$ の区間に分け、各区間の境界の $x$ 座標を左から $x_0,~x_1,~\cdots,~x_{n}$ とおく。座標 $x_k$ は、$x_k=k\cdot\dfrac{1}{n}$ となるので \begin{align} &\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &=\sum_{k=1}^{n}{x_k}^3\cdot\dfrac{1}{n}\\ &=\sum_{k=1}^{n}\dfrac{k^3}{n^3}\cdot\dfrac{1}{n}\\ &=\dfrac{1}{n^4}\sum_{k=1}^{n}k^3\\ &=\dfrac{1}{n^4}\cdot\left\{\dfrac{n(n+1)}{2}\right\}^2\\ &=\dfrac{1}{4}\left(1+\dfrac{1}{n}\right)^2\\ &\to\boldsymbol{\dfrac{1}{4}}~~(n\to\infty) \end{align}