$\gdef\bun#1#2{\dfrac{#1}{#2}}$ $\gdef\Bun#1#2{\bun{#1}{#2}}$ $\gdef\punit#1{\ [\mathrm{#1}]\,}$ $\gdef\d{\mathop{d}{}}$ $\gdef\dx{dx}$ $\gdef\dy{dy}$ $\gdef\dt{dt}$ $\gdef\dv{dv}$ $\gdef\dr{dr}$ $\gdef\dV{dV}$ $\gdef\dP{dP}$ $\gdef\dT{dT}$ $\gdef\dU{dU}$ $\gdef\dI{dI}$ $\gdef\boldrm#1{\mathrm{#1}}$ $\gdef\rmA{\boldrm{A}}$ $\gdef\rmB{\boldrm{B}}$ $\gdef\rmC{\boldrm{C}}$ $\gdef\rmD{\boldrm{D}}$ $\gdef\rmE{\boldrm{E}}$ $\gdef\rmF{\boldrm{F}}$ $\gdef\rmG{\boldrm{G}}$ $\gdef\rmH{\boldrm{H}}$ $\gdef\rmI{\boldrm{I}}$ $\gdef\rmJ{\boldrm{J}}$ $\gdef\rmK{\boldrm{K}}$ $\gdef\rmL{\boldrm{L}}$ $\gdef\rmM{\boldrm{M}}$ $\gdef\rmN{\boldrm{N}}$ $\gdef\rmO{\boldrm{O}}$ $\gdef\rmP{\boldrm{P}}$ $\gdef\rmQ{\boldrm{Q}}$ $\gdef\rmR{\boldrm{R}}$ $\gdef\rmS{\boldrm{S}}$ $\gdef\rmT{\boldrm{T}}$ $\gdef\rmU{\boldrm{U}}$ $\gdef\rmV{\boldrm{V}}$ $\gdef\rmW{\boldrm{W}}$ $\gdef\rmX{\boldrm{X}}$ $\gdef\rmY{\boldrm{Y}}$ $\gdef\rmZ{\boldrm{Z}}$ $\gdef\Deg{^{\circ}}\!$ $\gdef\DegC{\,{}^{\scriptsize\circ\!}\rmC}$ $\gdef\punitDegC{\punit{{}^{\scriptsize\circ\!}\rmC}}$ $\gdef\neareq{\fallingdotseq}$ $\gdef\mss{\punit{m/s^2\,}}$ $\gdef\ms{\punit{m/s}}$ $\gdef\s{\punit{s}}$ $\gdef\m{\punit{m}}$ $\gdef\mm{\punit{m^2}}$ $\gdef\mmm{\punit{m^3}}$ $\gdef\rad{\punit{rad}}$ $\gdef\N{\punit{N}}$ $\gdef\J{\punit{J}}$ $\gdef\cal{\punit{cal}}$ $\gdef\W{\punit{W}}$ $\gdef\g{\punit{g}}$ $\gdef\kg{\punit{kg}}$ $\gdef\K{\punit{K}}$ $\gdef\Hz{\punit{Hz}}$ $\gdef\C{\punit{C}}$ $\gdef\A{\punit{A}}$ $\gdef\V{\punit{V}}$ $\gdef\mol{\punit{mol}}$ $\gdef\NA{N_{\rmA}}$ $\gdef\CV{C_{\rmV}}$ $\gdef\CP{C_{\rmP}}$ $\gdef\Pa{\punit{Pa}}$ $\gdef\SUB#1{_{\mathrm{#1}}}$ $\gdef\vec#1{\overrightarrow{#1}}$ $\gdef\dvec#1{\overrightarrow{#1}}$ $\gdef\stext#1{\text{\small #1}}$ $\gdef\sinh{\sin\theta}$ $\gdef\sinx{\sin x}$ $\gdef\siny{\sin y}$ $\gdef\cosh{\cos\theta}$ $\gdef\cosx{\cos x}$ $\gdef\cosy{\cos y}$ $\gdef\tanh{\tan\theta}$ $\gdef\tanx{\tan x}$ $\gdef\tany{\tan y}$ $\gdef\in{^{\,\mathrm{in}}}$ $\gdef\out{^{\,\mathrm{out}}}$ $\gdef\net{^{\,\mathrm{net}}}$ $\gdef\max{_{\mathrm{max}}}$ $\gdef\min{_{\mathrm{min}}}$ $\gdef\mat#1#2{\begin{pmatrix}#1\\#2\end{pmatrix}}$

微分・積分 数学

積分法

羽白 いむ

東京大学医学部医学科卒 現役医師
数学のトリセツ共著者
東大指導専門塾鉄緑会 物理・数学科元講師

不定積分

原始関数と積分定数

関数 $f(x)$ に対して,微分すると $f(x)$ になる関数を $F(x)$ とします。すなわち,関数 $F(x)$ は,$F'(x)=f(x)$ を満たします。この関数 $F(x)$ を,$f(x)$ の原始関数といいます。

$f(x)=3x^2$ とするとき,$f(x)$ の原始関数 $F(x)$ を求めてみましょう。

微分して $3x^2$ となる関数は,実はたくさんあります。

$$(x^3)'=3x^2,\ (x^3+5)'=3x^2,\ (x^3-10)'=3x^2$$となることから,$x^3$,$x^3+5$,$x^3-10$ などはすべて $F(x)$ となります。

これらは,定数$C$ を用いることで,$F(x)=x^3+C$ とかけることがわかります。定数 $C$ は微分した際に $0$ になりますので,${F(x)+C}'=F'(x)=f(x)$ となります。

この定数 $C$ のことを積分定数といいます。

以上をまとめると,

$$\int f(x)\dx=F(x)+C\quad \stext{($C$ は積分定数)}$$となります。

このように,不定積分を求めることを積分するといいます。

公式と性質

関数を積分するには,微分法の逆計算をすればよいことになります。

ポイント

自然数 $n$ について, $x^n$ は次の通りに積分できる。

$$\int x^n\dx=\bun{1}{n+1}x^{n+1}+C\ \stext{($n$ は $0$ または正の整数)}$$

不定積分は,微分法の逆計算ですから,以下の性質も成り立ちます。

不定積分の性質

$k,\,l$ を定数とする。

$$\begin{aligned}&\stext{①}\ \int kf(x)\dx=k\int f(x)\dx\\&\stext{②}\int {f(x)+g(x)}\dx=\int f(x)\dx+\int g(x)\dx\end{aligned}$$

①,② より,

$$\stext{③}\int {kf(x)+lg(x)}\dx=k\int f(x)\dx+l\int g(x)\dx$$

定積分

定積分の計算

羽白

ここからは,厳密な証明を省略して「定積分」という概念について考えていきます。

$f(x)$ の不定積分を $F(x)$ とし,$F(b)-F(a)$ を $\Bigl[F(x)\Bigr]_a^b$ とします。このとき,

$$\int_a^b f(x)\dx=\Bigl[F(x)\Bigr]_a^b=F(b)-F(a)$$と定義します。これを,$f(x)$ の $a$ から $b$ までの定積分といいます。

たとえば,

$$\begin{aligned}\int_1^3(3x^2-2x)\dx&=\Bigl[x^3-x^2\Bigr]_1^3\\&=(3^3-3^2)-(1^3-1^2)\\&=18\end{aligned}$$となります。

また,$\int_a^bf(x)\dx$ において,$a$ を定積分の下端,$b$ を上端といいます。この定積分を求めることを,$f(x)$ を $a$ から $b$ まで積分するといいます。

定積分の性質

羽白

この計算が何を意味しているかはさておき,定積分の性質を押さえ,計算の練習をしていくことにしましょう。

定積分の計算においても,不定積分と同様に以下の性質が成り立ちます。

定積分の性質 その1

$k,\,l$ を定数とする。

$$\begin{aligned}&\stext{①}\ \int_a^b kf(x)\dx=k\int_a^b f(x)\dx\\&\stext{②}\ \int_a^b {f(x)+g(x)}\dx=\int_a^b f(x)\dx+\int_a^b g(x)\dx\end{aligned}$$

①,② より,

$$\stext{③}\ \int_a^b {kf(x)+lg(x)}\dx=k\int_a^b f(x)\dx+l\int_a^b g(x)\dx$$

-微分・積分, 数学