2.1 原始関数

原始関数を微分の逆操作の結果として，以下のように定義する．

Definition 2.1 (原始関数) 関数$f(x)$の原始関数とは

$$\begin{align} F'(x) = f(x) \end{align}$$

となるような関数$F(x)$のことである．

微分においては，定数項の微分が$0$になることから，$F'(x) + C$と$F'(x)$という二つの関数の微分はどちらも$f(x)$となる． すなわち，原始関数$F'(x)$は定数項を考慮すれば無数に存在する．この微分操作によって無視できる定数項を積分定数（constant of integration）と呼ぶ． ゆえに，積分の結果を原始関数として表現する場合は原則として積分定数を明示する．慣習的にはConstantの頭文字をとって$C$として

$$F'(x) + C, (C \text{ は積分定数})$$ などと表す．

微分の性質から直ちに原始関数について次の定理を得る．

Theorem 2.1 (原始関数の性質) 関数$f(x), g(x)$について，次が成り立つ．

1. $\int af(x)dx = a \int f(x)dx, (aは定数)$
2. $\int (f(x) \pm g(x))dx = \int f(x)dx \pm \int g(x)dx$

一般的な関数の微分の結果をまとめた表の対応として，原始関数をまとめた表を以下に示す（見やすさのため，ここでは積分定数は無視する）．

$$\begin{array}{l|ccccc} \hline f(x) & x^k (k \neq 1) & e^x & 1/x & a^x & {1 \over x \log a} \\ \hline \int f(x) dx & {1 \over k+1} x^{k+1} & e^x & \log x & {1 \over \log a} a^x & \log_a x \\ \hline \end{array}$$ $$\begin{array}{l|cccccc} \hline f(x) & \sin x & \cos x & 1/\cos^2 x & {1 \over \sqrt{1-x^2}} & {-1 \over \sqrt{1-x^2}} & {1 \over 1+x^2}\\ \hline \int f(x) dx & -\cos x & \sin x & \tan x & \sin^{-1} x & \cos x^{-1} & \tan x^{-1} \\ \hline \end{array}$$

Exercise 2.1 (不定積分) 以下の積分を計算せよ．

1. $\int 4 dx$
   
2. $\int (3x^3 + 2x)dx$
3. $\int (\sin x + \sqrt{3} \cos x + e^x)dx$