勉強しよう数学

〔前のページ〕〔次のページ〕〔微分積分の目次〕

やさしい微分積分
《微分積分学の基本定理》
微分型で表現した微分積分学の基本定理は：
連結区間内で１つながりに連続な関数f(x)がある場合：

が成り立つというものです。

　この式が成り立たない場合などあり得ないのではないか？と考える人もいるかもしれません。
　この式が成り立たない場合というのは、f(x)が積分出来ない場合です。そもそも積分できなければ、微分する以前に、この式が成り立たないことになります。
　また、f(x)が積分して関数F(x)が得られても、関数F(x)が折れ曲がった関数になれば、その折れ曲がり点でF(x)は微分できません。F(x)が微分できなければ、この式が成り立たないことになります。

以下の図の関数ｆ（ｘ）のグラフを考えます。

この関数ｆ(x) は、ｘ＝０の点とｘ＝２の点では連続では無い関数です。
ｘ＝０の点とｘ＝２の点で関数は不連続であり、また、極限も存在しませんが、
－１≦ｘ≦３
の閉区間などの、その連続で無い点ｘ＝０，とｘ＝２の点を範囲内に持つ区間で積分可能です。
この関数ｆ（ｘ）を積分して、以下の図の不定積分の関数Ｆ（ｘ)を求めることができます。

この不定積分Ｆ（ｘ）を微分して下図のグラフの関数を求めます。
ｘ＝０とｘ＝２の点ではグラフが折れ曲がっているので微分できません。

この不定積分F(x)を微分した結果の導関数（ｄＦ（ｘ）／ｄｘ）は、ｘ＝０とｘ＝２で関数値が存在しないという点で、被積分関数ｆ（ｘ）と異なる関数になります。

この式が成り立たないのです。

　「関数 f(x) が連結区間内で１つながりに連続している関数f(x)の積分結果の関数F(x)が、その連結区間で微分可能である。そうして微分した結果は元の関数f(x)に戻る。」というのが（微分型の）微分積分学の基本定理です。
　そこには、「関数 f(x) が、ある連結区間内で１つながりに連続している」という条件が付いているのです。

リンク：
高校数学の目次

【問１】以下の定積分を計算せよ。

【解１】
　先ず、この積分の被積分関数の不定積分を以下の計算により求める。

この不定積分の関数は、θ＝０の点では定義されず、その点で不連続である。
しかし、（θ＝０を含む）定義域の範囲内で連続な関数を積分して得た不定積分は、（θ＝０を含む）定義域の範囲内で連続な関数Ｆになることが分かっている。そのため、θ＝０での不定積分の関数の値を以下のようにして補って定義する。
　この不定積分の関数Ｆの、θ→０での極限値を計算する。

このθ→０で極限値が、θ＝０での不定積分の関数の値である。
正しい不定積分Ｆ(θ) は、以下の式で定義される。

と定義して、θ＝０の点でも定義された正しい不定積分を得る。
この関数Ｆ(θ) で表した不定積分を使って以下の定積分を計算をする。

（解１おわり）

〘補足〙最初に得た不定積分の関数のθ＝０の値を補う方法は、他に、以下の計算をして補うこともできる。

この計算によって、定積分する区間内の点、θ＝０、でも定義された関数が求められたので、この関数を使って定積分します。

（解１（その２）おわり）

【解２】
　先ず、この積分の被積分関数の不定積分を以下の計算により求める。

この不定積分の結果の関数を使って以下の計算をする。

（解２おわり）

【問２】以下の定積分を計算せよ。

【解１】
　先ず、この積分の被積分関数の不定積分Ｆを以下の計算により求める。

ここで残った以下の不定積分Ｇを計算する。

この不定積分を合わせて、求める不定積分Ｆを得る。

このθ→０で極限値が、θ＝０での不定積分の関数の値である。
正しい不定積分Ｆ(θ) は、以下の式で定義される。

と定義して、θ＝０の点でも定義された正しい不定積分を得る。
この関数Ｆ(θ) で表した不定積分を使って以下の定積分を計算をする。

（解１おわり）

〘補足〙最初に得た不定積分の関数のθ＝０の値を補う方法は、他に、以下の計算をして補うこともできる。

この計算によって、定積分する区間内の点、θ＝０、でも定義された不定積分の関数Ｆが求められたので、この関数Ｆを使って定積分します。

（解１（その２）おわり）

【解２】
　先ず、この積分の被積分関数の不定積分を以下の計算により求める。

この不定積分の結果の関数を使って以下の計算をする。

（解２おわり）

〘補足〙覚えておこう
分母が０にならない条件下で、以下の公式が成り立つ。

【問３】以下の定積分を計算せよ。

【解１】
　先ず、この積分の被積分関数の不定積分を以下の計算により求める。

この不定積分は、θ＝π/2 の点では定義されず、その点で不連続な関数ではありますが、
以上の不定積分の計算は正しい計算です。
　しかし、この不定積分の結果の関数を使って以下の計算をするのは厳密に言うと誤りです。

厳密に言うと誤りである理由は、定積分する区間内の点、θ＝π/2 、で定義されていない不定積分の関数Ｆを、その点を含む区間での定積分の計算に使用できないからです。
〘補足〙連続な被積分関数を（θ＝π/2 を含む）定義域の範囲内で積分して得た不定積分は、（θ＝π/2 を含む）定義域の範囲内で連続な関数Ｆになることが分かっている。得られた不定積分の式Ｆがたとえθ＝π/2 で定義されなくても、それは見せかけであって、真の不定積分はθ＝π/2 でも連続な関数と定義されている。そして、θ＝π/2 の点での極限値が存在する。
具体的に言うと、θ＝π/2 の点で定義されないこの不定積分の関数Ｆは、以下に計算するように、θ→π/2 での極限値が存在する。

このθ→π/2 で極限値を、θ＝π/2 での不定積分の関数の値と定義して、θ＝π/2 の点で関数Ｆを連続な関数の不定積分に拡張できる。
そのため、最初に得た不定積分の関数Ｆのθ＝π/2 以外の点の関数値は、「θ＝π/2 での関数値を定義して補ったθ＝π/2 でも連続なある関数」の値を表している。それゆえ、この不定積分の関数Ｆを使った上記の計算で定積分の解を求めても正しい解を得ることができる。高校生には、「積分可能性」については教えていないので、高校生は大学入学試験で上記の計算をして、定積分の解を求めても良いと思う（その解き方は、入学試験を行う大学としては、満点を与えるには難があるので、少し減点されるとは思う）。

厳密な計算をするためには、以下の式変形を行うことで、「θ＝π/2 での関数値を定義して補ったθ＝π/2 でも連続なある関数」を求める。

この計算によって、定積分する区間内の点、θ＝π/2 、でも定義された関数が求められたので、この関数を使って定積分した。
（解１おわり）

【解２】
　先ず、この積分の被積分関数の不定積分を以下の計算により求める。

上記で最後に、その不定積分の結果の関数を使って定積分した。
（解２おわり）

〘補足〙覚えておこう
分母が０にならない条件下で、以下の公式が成り立つ。

【問４】以下の関数ｆ(ｘ)を定積分せよ。

ここで、この被積分関数ｆ(ｘ)は、ｘ＝０においての関数値が、その関数のｘ→０の極限値と定義された、ｘ＝０で連続な関数である。

【解１】
　先ず、この積分の被積分関数の不定積分を以下の計算により求める。

この不定積分の関数は、ｘ＝０の点では定義されず、その点で不連続である。
しかし、（ｘ＝０を含む）定義域の範囲内で連続な関数を積分して得た不定積分は、（ｘ＝０を含む）定義域の範囲内で連続な関数Ｆになることが分かっている。そのため、ｘ＝０での不定積分の関数の値を以下のようにして補って定義する。
　この不定積分の関数Ｆの、ｘ→０での極限値を計算する。