定積分の性質について

定積分に関して次のような式が成り立つ。

定積分の性質

  1. \[\int_{a}^{a}f(x)dx=0\]
  2. \[\int_{a}^{b}f(x)dx=-\int_{b}^{a}f(x)dx\]
  3. \[\int_{a}^{c}f(x)dx=\int_{a}^{b}f(x)dx+\int_{b}^{c}f(x)dx\]
  4. \begin{align} &\int_{a}^{b}\left\{f(x)+tg(x)\right\}dx\\ =&\int_{a}^{b}f(x)dx+t\int_{a}^{b}g(x)dx \end{align} ただし、$t$ は定数とする。

(注)

【証明】

  1. 定義に戻って考えると \begin{align} \int_{a}^{a}f(x)&=\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &=\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)\times0\\ &=0 \end{align}
  2. 定義に戻って考えると \begin{align} \int_{a}^{b}f(x)dx&=\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &=-\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)(-\Delta{x})\\ &=-\int_{b}^{a}f(x)dx \end{align}
  3. 左辺は
    iiiの図
    右辺は
    iiiの図
    であり等しい面積を表していると考えられる。
  4. 定義に戻って考えると \begin{align} &\int_{a}^{b}\left\{f(x)+tg(x)\right\}dx\\ &=\lim_{n\to\infty}\sum_{k=1}^{n}\left\{f(x_k)+tg(x_k)\right\}\Delta{x}\\ &=\lim_{n\to\infty}\bigg\{\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &\qquad+t\sum_{k=1}^{n}g(x_k)\Delta{x}\bigg\}\\ &=\lim_{n\to\infty}\sum_{k=1}^{n}f(x_k)\Delta{x}\\ &\qquad+t\lim_{n\to\infty}\sum_{k=1}^{n}g(x_k)\Delta{x}\\ &=\int_{a}^{b}f(x)dx+t\int_{a}^{b}g(x)dx \end{align}