数学II 第7章 積分法 — 微積分学の基本定理
微積分学の基本定理について
微積分学の基本定理とは
簡単のため以下では
- f(t)≧0
- a≦x
- h>0
として考えていくことにする。
STEP1:∫f(t)dt を x の関数 S(x) と考える
まず、定積分 ∫f(t)dt について考える。
この値は、右図のように a≦t≦x の区間で y=f(t) と t 軸が囲む面積を表すので、a を定数、x を変数と考えると、この値は x の関数となっている( x が決まれば面積が決まる)。
そこで
∫f(t)dt=S(x)
と表すことにする。
STEP2: S(x+h)-S(x) の図形的意味を考える
このような S(x) を導入すると
S(x+h)=∫f(t)dt =(右図の網掛け部の面積) S(x)=∫f(t)dx =(右図の斜線部の面積)
であるから、その差は
S(x+h)-S(x) =(太線で囲まれた部分の面積)
となる。
STEP3:面積で評価する
ここで、下図のように x≦t≦x+h における f(t) の最大値を M、最小値を m とすると(x を定数とみれば、m や M は h の関数である)、面積を比較することにより
m×h≦S(x+h)-S(x) ≦M×h ①
が成り立つ(下の図参照)。
STEP4: h→0 の極限を考える
① の辺々を h で割ると
m≦(S(x+h)-S(x))/h≦M ②
ここで h→0 という極限を考えると、区間 x≦t≦x+h の幅はどんどん狭くなっていき
となるので、はさまれた (S(x+h)-S(x))/h も (S(x+h)-S(x))/h→f(x) となる。つまり
limh→0(S(x+h)-S(x))/h=f(x) ③
となる。
いま、③ の左辺は関数 S(x) の導関数 d/dxS(x) の定義式そのものであるので、③ は d/dxS(x)=f(x)、つまり
d/dx∫f(t)dt=f(x)
を表している。
§
定理1微積分学の基本定理
関数 f(x) において
d/dx∫f(t)dt=f(x)
が成り立つ。ただし、a は定数とする。
定積分の基本公式
原始関数とは何か
微分すると f(x) になる関数を、f(x) の原始関数 (primitive function) という。つまり
F'(x)=f(x)
のとき、F(x) を f(x) の原始関数という。
原始関数は一通りには定まらない。たとえば、x³、 x³+2、 x³-√5 などは微分すると、どれも 3x² となるので、これらはすべて 3x² の原始関数である。任意の定数 A を x で微分すると 0 になるので、一般には x³+A で表されるものすべてが 3x² の原始関数となる。
これから、次のことがいえる。
§
定理2原始関数どうしの差は定数
f(x) の原始関数 F1(x)、F2(x) があったとき、各々の原始関数は定数項が違うだけなので
F1(x)=F2(x)+C
となるある定数 C が存在する。
また、原始関数について次のことがいえる。
§
定理3原始関数の性質
関数 f(x)、g(x) の原始関数をそれぞれ F(x)、G(x) とする。つまり F'(x)=f(x)、 G'(x)=g(x) とすると
- F(x)+G(x) は関数 f(x)+g(x) の原始関数である。
- kF(x) は関数 kf(x) の原始関数である。
が成り立つ。
証明
- F(x)+G(x) を微分すると
{F(x)+G(x)}'=F'(x)+G'(x) =f(x)+g(x)
となり、 F(x)+G(x) は確かに f(x)+g(x) の原始関数である。
- kF(x) を微分すると
{kF(x)}'=kF'(x) =kf(x)
となり、kF(x) は確かに kf(x) の原始関数である。
特に、多項式の関数の原始関数については次のようになる。
∎
§
定理4多項式の関数の原始関数
任意の定数を A として
- x^n の原始関数は 1/(n+1)x^n+1+A
- (ax+b)^n の原始関数は 1/a(n+1)(ax+b)^n+1+A
である。
証明
- 1/(n+1)x^n+1+A を x で微分すると
(1/(n+1)x^n+1+A)' =1/(n+1)・(n+1)x^n =x^n
となるので、確かに x^n の原始関数である。
- 1/a(n+1)(ax+b)^n+1+A を x で微分すると(←『微分の計算法則iv)』参照)
(1/a(n+1)(ax+b)^n+1+A)' =1/a(n+1)・a(n+1)(ax+b)^n =(ax+b)^n
となるので、確かに (ax+b)n の原始関数である。
∎
問題1原始関数を求める
次の関数 f(x) の原始関数 F(x) を求めよ。ただし、任意の定数を表すときには C とせよ。
- f(x)=x³
- f(x)=3x⁴
- f(x)=3x²+5x+2
- f(x)=2x⁵-3x²+6x-2
- f(x)=(x-1)(x+3)
- f(x)=x²(1-x)
- f(x)=(x-3)⁴
- f(x)=(3x-2)⁴
解答を見る
- F(x)=1/4x⁴+C
- F(x)=3・1/5x⁵+C =3/5x⁵+C
- F(x)=3・1/3x³+5・1/2x²+2・ x+C =x³+5/2x²+2x+C
- F(x)=2・1/6x⁶-3・1/3x³ +6・1/2x²-2・x+C =1/3x⁶-x³+3x²-2x+C
- f(x)=(x-1)(x+3) を展開すると
f(x)=x²+2x-3
なので
F(x) =1/3x³+2・1/2x²-3・x+C =1/3x³+x²-3x+C
- f(x)=x²(1-x) を展開すると
f(x)=x²-x³
なので
F(x)=1/3x³-1/4x⁴+C
- F(x)=1/5(x-3)⁵×1/1+C =1/5(x-3)⁵+C
- F(x)=1/5(3x-2)⁵×1/3+C =1/15(3x-2)⁵+C
定積分の基本公式について
最終更新: 2026-08-10
この節についてAIに質問する
この節に書かれている内容だけを根拠に答えます。個人情報は書かないでください。
送信のとき、機械による連投を防ぐ確認(Cloudflare Turnstile)を通します。
この回答は役に立ちましたか?