第7章の不定積分には、いつも積分定数 $C$ がついて回りました。この章では、原始関数の2つの値の「差」をとることで $C$ を消し、1つの数として決まる**定積分**を学びます。計算の書き方 $\left[F(x)\right]_a^b$、区間を分けたりつないだりする性質、対称な区間での近道を身につけたあと、微分と積分が本当に「逆の関係」にあることを示す**微分積分学の基本定理**へ進みます。最後に、式の中に定積分を含む関数を決める問題を扱います。次の第9章では、定積分を使って図形の面積を求めます。
定積分とは
第7章では、f ( x ) f(x) f ( x ) の原始関数 F ( x ) F(x) F ( x ) を求めると、必ず積分定数 C C C が残りました。ところが、原始関数の2つの値の差 F ( b ) F(b) F ( b ) − F ( a ) {}- F(a) − F ( a ) を考えると、事情が変わります。F ( x ) F(x) F ( x ) + C {}+ C + C で計算しても
{ F ( b ) + C } \displaystyle \{F(b) + C\} { F ( b ) + C } − { F ( a ) + C } \displaystyle {}- \{F(a) + C\} − { F ( a ) + C } = F ( b ) \displaystyle {}= F(b) = F ( b ) − F ( a ) \displaystyle {}- F(a) − F ( a )
となり、C C C は引き算で消えてしまいます。どの原始関数を選んでも同じ値になるので、これを1つの数として名前をつけます。
車の走行距離計(オドメーター)を思い浮かべてください。ドライブの前に「12345 km」、帰ってきたら「12405 km」なら、走った距離は差の 60 60 60 km です。この計算に、メーターが新車のときに 0 0 0 から始まったか、中古車で途中の値から始まったかは関係ありません。メーターの最初の目盛りが積分定数 C C C にあたり、差をとればどこから数え始めても同じ答えになります。
定積分は、原始関数の「終わりの値 − 始めの値」で、C C C は引き算で消えるので1つの数に決まるということです。
例題1:定積分の計算
定積分 ∫ 1 3 ( 3 x 2 − 2 x ) d x \displaystyle\int_1^3 (3x^2 - 2x)\,dx ∫ 1 3 ( 3 x 2 − 2 x ) d x を求めなさい。
【解答】
3 x 2 3x^2 3 x 2 − 2 x {}- 2x − 2 x の原始関数の1つは x 3 x^3 x 3 − x 2 {}- x^2 − x 2 です(C C C は書きません)。
∫ 1 3 ( 3 x 2 − 2 x ) d x \displaystyle \int_1^3 (3x^2 - 2x)\,dx ∫ 1 3 ( 3 x 2 − 2 x ) d x = [ x 3 − x 2 ] 1 3 \displaystyle {}= \Big[\,x^3 - x^2\,\Big]_1^3 = [ x 3 − x 2 ] 1 3 = ( 27 − 9 ) \displaystyle {}= (27 - 9) = ( 27 − 9 ) − ( 1 − 1 ) \displaystyle {}- (1 - 1) − ( 1 − 1 ) = 18 ‾ \displaystyle {}= \underline{18} = 18 ※ 上端を代入した値から、下端を代入した値を引きます。下端側の値にも括弧をつけて、符号のミスを防ぎましょう。
定積分の性質
定積分は原始関数の差なので、第7章の不定積分の性質(定数倍・和・差)がそのまま引き継がれます。さらに、積分する区間 についての性質が加わります。
駅伝のコースを考えましょう。1区のスタートから3区のゴールまでの距離は、1区・2区・3区の距離を足したものです。区間をどこで区切っても合計は変わりません。また、ゴールからスタートへ逆向きにたどれば、進んだ量は符号が反対になります。スタートとゴールが同じ地点なら、進んだ量は 0 0 0 です。定積分の区間の性質は、この当たり前の感覚を式にしたものです。
定積分は、同じ区間ならまとめられ、区間は途中で区切って足してもよく、上端と下端を入れかえると符号が変わるということです。
例題2:性質を使った計算
次の定積分を求めなさい。
(1) ∫ 1 3 ( x 2 + 2 x ) d x \displaystyle \int_1^3 (x^2 + 2x)\,dx ∫ 1 3 ( x 2 + 2 x ) d x − ∫ 1 3 ( x 2 − x ) d x \displaystyle {}- \int_1^3 (x^2 - x)\,dx − ∫ 1 3 ( x 2 − x ) d x (2) ∫ 0 3 ∣ x − 2 ∣ d x \displaystyle\int_0^3 |x - 2|\,dx ∫ 0 3 ∣ x − 2∣ d x
【解答】
(1) 区間が同じなので、1つにまとめます。
∫ 1 3 { ( x 2 + 2 x ) − ( x 2 − x ) } d x \displaystyle \int_1^3 \{(x^2 + 2x) - (x^2 - x)\}\,dx ∫ 1 3 {( x 2 + 2 x ) − ( x 2 − x )} d x = ∫ 1 3 3 x d x \displaystyle {}= \int_1^3 3x\,dx = ∫ 1 3 3 x d x = [ 3 2 x 2 ] 1 3 \displaystyle {}= \Big[\,\frac{3}{2}x^2\,\Big]_1^3 = [ 2 3 x 2 ] 1 3 = 3 2 ( 9 − 1 ) \displaystyle {}= \frac{3}{2}(9 - 1) = 2 3 ( 9 − 1 ) = 12 ‾ \displaystyle {}= \underline{12} = 12 (2) x x x − 2 {}- 2 − 2 は x x x = 2 {}= 2 = 2 で符号が変わります。0 0 0 ≦ x {}\leqq x ≦ x ≦ 2 {}\leqq 2 ≦ 2 では ∣ x − 2 ∣ |x - 2| ∣ x − 2∣ = − ( x − 2 ) {}= -(x - 2) = − ( x − 2 ) ,2 2 2 ≦ x {}\leqq x ≦ x ≦ 3 {}\leqq 3 ≦ 3 では ∣ x − 2 ∣ |x - 2| ∣ x − 2∣ = x {}= x = x − 2 {}- 2 − 2 なので
∫ 0 3 ∣ x − 2 ∣ d x \displaystyle \int_0^3 |x - 2|\,dx ∫ 0 3 ∣ x − 2∣ d x = ∫ 0 2 ( 2 − x ) d x \displaystyle {}= \int_0^2 (2 - x)\,dx = ∫ 0 2 ( 2 − x ) d x + ∫ 2 3 ( x − 2 ) d x \displaystyle {}+ \int_2^3 (x - 2)\,dx + ∫ 2 3 ( x − 2 ) d x = [ 2 x − 1 2 x 2 ] 0 2 \displaystyle = \Big[\,2x - \frac{1}{2}x^2\,\Big]_0^2 = [ 2 x − 2 1 x 2 ] 0 2 + [ 1 2 x 2 − 2 x ] 2 3 \displaystyle {}+ \Big[\,\frac{1}{2}x^2 - 2x\,\Big]_2^3 + [ 2 1 x 2 − 2 x ] 2 3 = 2 \displaystyle {}= 2 = 2 + { ( 9 2 − 6 ) − ( 2 − 4 ) } \displaystyle {}+ \left\{\left(\frac{9}{2} - 6\right) - (2 - 4)\right\} + { ( 2 9 − 6 ) − ( 2 − 4 ) } = 2 \displaystyle {}= 2 = 2 + 1 2 \displaystyle {}+ \frac{1}{2} + 2 1 = 5 2 ‾ \displaystyle {}= \underline{\frac{5}{2}} = 2 5 ※ (2) で絶対値を外さずに「1 2 x 2 \dfrac{1}{2}x^2 2 1 x 2 − 2 x {}- 2x − 2 x に絶対値をつける」ような計算はできません。必ず区間を分けます。
対称な区間の定積分
下端と上端が − a -a − a と a a a のように原点について対称なときは、計算を大きく省けます。
x 3 x^3 x 3 の原始関数 1 4 x 4 \dfrac{1}{4}x^4 4 1 x 4 は、x x x と − x -x − x で同じ値をとります。そのため [ 1 4 x 4 ] − a a \Big[\,\dfrac{1}{4}x^4\,\Big]_{-a}^{a} [ 4 1 x 4 ] − a a = 0 {}= 0 = 0 です。一方、x 2 x^2 x 2 の原始関数 1 3 x 3 \dfrac{1}{3}x^3 3 1 x 3 は、− x -x − x で符号だけが反対になるので、[ 1 3 x 3 ] − a a \Big[\,\dfrac{1}{3}x^3\,\Big]_{-a}^{a} [ 3 1 x 3 ] − a a = 2 3 a 3 {}= \dfrac{2}{3}a^3 = 3 2 a 3 となり、0 0 0 から a a a までの2倍になります。
左右対称な切り絵は、紙を半分に折って片側だけ切れば、開いたときに全体ができあがります。偶数次の項は y y y 軸について対称なグラフなので、片側(0 0 0 から a a a ) だけ計算して2倍すれば足ります。奇数次の項は原点について対称で、右側と左側がちょうど打ち消し合って 0 0 0 になります(面積との関係は第9章でくわしく見ます)。
− a -a − a から a a a までの定積分は、奇数次の項は 0 0 0 として捨て、偶数次の項だけを 0 0 0 から a a a まで積分して2倍すればよいということです。
例題3:対称な区間の定積分
定積分 ∫ − 2 2 ( x 3 + 3 x 2 − x + 1 ) d x \displaystyle\int_{-2}^{2} (x^3 + 3x^2 - x + 1)\,dx ∫ − 2 2 ( x 3 + 3 x 2 − x + 1 ) d x を求めなさい。
【解答】
奇数次の項 x 3 x^3 x 3 ,− x -x − x の積分は 0 0 0 になるので、偶数次の項だけを残します。
∫ − 2 2 ( x 3 + 3 x 2 − x + 1 ) d x \displaystyle \int_{-2}^{2} (x^3 + 3x^2 - x + 1)\,dx ∫ − 2 2 ( x 3 + 3 x 2 − x + 1 ) d x = 2 ∫ 0 2 ( 3 x 2 + 1 ) d x \displaystyle {}= 2\int_0^2 (3x^2 + 1)\,dx = 2 ∫ 0 2 ( 3 x 2 + 1 ) d x = 2 [ x 3 + x ] 0 2 \displaystyle {}= 2\Big[\,x^3 + x\,\Big]_0^2 = 2 [ x 3 + x ] 0 2 = 2 ⋅ 10 \displaystyle {}= 2 \cdot 10 = 2 ⋅ 10 = 20 ‾ \displaystyle {}= \underline{20} = 20 ※ ふつうに計算しても [ 1 4 x 4 + x 3 − 1 2 x 2 + x ] − 2 2 \Big[\,\dfrac{1}{4}x^4 + x^3 - \dfrac{1}{2}x^2 + x\,\Big]_{-2}^{2} [ 4 1 x 4 + x 3 − 2 1 x 2 + x ] − 2 2 = ( 4 + 8 − 2 + 2 ) {}= (4 + 8 - 2 + 2) = ( 4 + 8 − 2 + 2 ) − ( 4 − 8 − 2 − 2 ) {}- (4 - 8 - 2 - 2) − ( 4 − 8 − 2 − 2 ) = 12 {}= 12 = 12 − ( − 8 ) {}- (-8) − ( − 8 ) = 20 {}= 20 = 20 で、同じ答えになります。
微分積分学の基本定理
定積分の上端を定数 b b b ではなく変数 x x x にすると、定積分は x x x の関数になります。このとき、積分の中の文字は x x x と区別するために t t t などに変えておきます。
∫ a x f ( t ) d t \displaystyle \int_a^x f(t)\,dt ∫ a x f ( t ) d t = [ F ( t ) ] a x \displaystyle {}= \Big[\,F(t)\,\Big]_a^x = [ F ( t ) ] a x = F ( x ) \displaystyle {}= F(x) = F ( x ) − F ( a ) \displaystyle {}- F(a) − F ( a )
右辺を x x x で微分すると、F ( a ) F(a) F ( a ) は定数なので消え、F ′ ( x ) F'(x) F ′ ( x ) = f ( x ) {}= f(x) = f ( x ) が残ります。
浴槽に蛇口から水をためている場面を考えます。ある時刻までにたまった水の量を ∫ a x f ( t ) d t \displaystyle\int_a^x f(t)\,dt ∫ a x f ( t ) d t 、 蛇口から出る水の勢い(1分あたりの量)を f ( t ) f(t) f ( t ) とします。「たまった水の量が、今この瞬間どれだけの割合で増えているか」を聞かれたら、答えは「今の蛇口の勢い f ( x ) f(x) f ( x ) 」 です。これまでにどれだけためたかは関係ありません。
y
t
O
a
x
x + h
a から x までの定積分
(x の関数)
増え分 ≒ f(x)·h
y = f(t)
下端が定数で上端が x x x の定積分は、x x x で微分すると中身の関数 f ( x ) f(x) f ( x ) に戻る、つまり積分と微分は打ち消し合う逆の操作だということです。
例題4:上端が x の定積分を含む等式
等式 ∫ a x f ( t ) d t \displaystyle \int_a^x f(t)\,dt ∫ a x f ( t ) d t = x 2 \displaystyle {}= x^2 = x 2 − 3 x \displaystyle {}- 3x − 3 x + 2 \displaystyle {}+ 2 + 2 を満たす関数 f ( x ) f(x) f ( x ) と定数 a a a の値を求めなさい。
【解答】
両辺を x x x で微分すると、公式4より
f ( x ) = 2 x ‾ \displaystyle \underline{\rule[-0.25em]{0em}{1.0000em}f(x) = 2x} f ( x ) = 2 x − 3 ‾ \displaystyle \underline{\rule[-0.25em]{0em}{1.0000em}{}- 3} − 3 また、等式に x x x = a {}= a = a を代入すると、左辺は ∫ a a f ( t ) d t \displaystyle \int_a^a f(t)\,dt ∫ a a f ( t ) d t = 0 \displaystyle {}= 0 = 0 なので
0 \displaystyle 0 0 = a 2 \displaystyle {}= a^2 = a 2 − 3 a \displaystyle {}- 3a − 3 a + 2 \displaystyle {}+ 2 + 2 = ( a − 1 ) ( a − 2 ) \displaystyle {}= (a - 1)(a - 2) = ( a − 1 ) ( a − 2 ) より \displaystyle \text{より} より a = 1 , ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8389em}a = 1,} a = 1 , 2 ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8389em}\ 2} 2 ※ 確かめ:a a a = 1 {}= 1 = 1 なら ∫ 1 x ( 2 t − 3 ) d t \displaystyle \int_1^x (2t - 3)\,dt ∫ 1 x ( 2 t − 3 ) d t = [ t 2 − 3 t ] 1 x \displaystyle {}= \Big[\,t^2 - 3t\,\Big]_1^x = [ t 2 − 3 t ] 1 x = x 2 \displaystyle {}= x^2 = x 2 − 3 x \displaystyle {}- 3x − 3 x + 2 \displaystyle {}+ 2 + 2 となり、たしかに成り立ちます(a a a = 2 {}= 2 = 2 も同様です)。
定積分を含む関数
∫ 0 1 f ( t ) d t \displaystyle\int_0^1 f(t)\,dt ∫ 0 1 f ( t ) d t のように、下端も上端も定数 の定積分は、中身が何であっても計算すれば1つの数になります。そこで、関数の式の中にこの形が入っているときは、まず定数とおいてしまいます。
推理小説で、名前のわからない人物をとりあえず「黒い帽子の男」と呼んで話を進めると、最後に「その男は執事だった」と正体が明かされます。∫ a b f ( t ) d t \displaystyle\int_a^b f(t)\,dt ∫ a b f ( t ) d t も、見た目は複雑でも正体は1つの数なので、いったん k k k という仮の名前で呼んで計算を進め、最後に正体を突き止めます。
端が両方とも定数の定積分はただの数なので、k k k とおいて f ( x ) f(x) f ( x ) を表し、k k k の方程式を解けば関数が決まるということです。
例題5:定積分を含む関数
等式 f ( x ) = 3 x 2 − 2 x + ∫ 0 2 f ( t ) d t f(x) = 3x^2 - 2x + \displaystyle\int_0^2 f(t)\,dt f ( x ) = 3 x 2 − 2 x + ∫ 0 2 f ( t ) d t を満たす関数 f ( x ) f(x) f ( x ) を求めなさい。
【解答】
∫ 0 2 f ( t ) d t \displaystyle \int_0^2 f(t)\,dt ∫ 0 2 f ( t ) d t = k \displaystyle {}= k = k とおくと、f ( x ) f(x) f ( x ) = 3 x 2 {}= 3x^2 = 3 x 2 − 2 x {}- 2x − 2 x + k {}+ k + k です。これを代入して
k \displaystyle k k = ∫ 0 2 ( 3 t 2 − 2 t + k ) d t \displaystyle {}= \int_0^2 (3t^2 - 2t + k)\,dt = ∫ 0 2 ( 3 t 2 − 2 t + k ) d t = [ t 3 − t 2 + k t ] 0 2 \displaystyle {}= \Big[\,t^3 - t^2 + kt\,\Big]_0^2 = [ t 3 − t 2 + k t ] 0 2 = 8 \displaystyle {}= 8 = 8 − 4 \displaystyle {}- 4 − 4 + 2 k \displaystyle {}+ 2k + 2 k = 4 \displaystyle {}= 4 = 4 + 2 k \displaystyle {}+ 2k + 2 k k k k = 4 {}= 4 = 4 + 2 k {}+ 2k + 2 k より k k k = − 4 {}= -4 = − 4 。 よって
f ( x ) = 3 x 2 ‾ \displaystyle \underline{\rule[-0.25em]{0em}{1.1141em}f(x) = 3x^2} f ( x ) = 3 x 2 − 2 x ‾ \displaystyle \underline{\rule[-0.25em]{0em}{1.1141em}{}- 2x} − 2 x − 4 ‾ \displaystyle \underline{\rule[-0.25em]{0em}{1.1141em}{}- 4} − 4 ※ 確かめ:∫ 0 2 ( 3 t 2 − 2 t − 4 ) d t \displaystyle \int_0^2 (3t^2 - 2t - 4)\,dt ∫ 0 2 ( 3 t 2 − 2 t − 4 ) d t = 8 \displaystyle {}= 8 = 8 − 4 \displaystyle {}- 4 − 4 − 8 \displaystyle {}- 8 − 8 = − 4 \displaystyle {}= -4 = − 4 で、たしかに k k k = − 4 {}= -4 = − 4 になっています。
2200年前の「積分」— アルキメデスと放物線
積分の考え方は、ニュートンやライプニッツよりずっと前から芽生えていました。紀元前3世紀、古代ギリシャのアルキメデス は、放物線と1本の直線(弦)で囲まれた部分の面積が、同じ底辺と高さをもつ三角形の面積の 4 3 \dfrac{4}{3} 3 4 倍になることを示しています。
方法はこうです。まず囲まれた部分に大きな三角形を1つはめ込み、残ったすき間に小さな三角形を2つ、さらにそのすき間に4つ……とはめ込んでいきます。新しく加わる三角形の面積の合計は、そのたびに前の 1 4 \dfrac{1}{4} 4 1 になるので、全体は 1 1 1 + 1 4 {}+ \dfrac{1}{4} + 4 1 + 1 16 {}+ \dfrac{1}{16} + 16 1 + ⋯ {}+ \cdots + ⋯ = 4 3 {}= \dfrac{4}{3} = 3 4 倍に近づきます。細かく分けたものを集めて全体を求める、という定積分の発想そのものです。
豆知識
アルキメデスが自分の発見のしかたを書いた『方法』という本は、長いあいだ失われていました。20世紀の初めに、中世の祈とう書の下に消し残されていた古い写本(羊皮紙を削って書き直したパリンプセスト )の中から見つかったのです。この写本は1998年に競売にかけられ、およそ200万ドルで落札されました。その後、X線などを使った解析で、消えかけた文字の多くが読み取られています。
薬の効き目を「面積」で測る
薬を飲むと、薬の成分は血液の中に入って濃度が上がり、やがて体の外へ出ていって下がっていきます。横軸を時間、縦軸を血液中の濃度にしてグラフをかくと、山のような形になります。
医薬品の世界では、このグラフと横軸で囲まれた部分の大きさを AUC (Area Under the Curve=曲線の下の面積)と呼び、体がどれだけの量の薬にさらされたかの目安にしています。濃度の関数を時間で定積分した値です。たとえば、特許の切れた薬と同じ成分で作られるジェネリック医薬品 は、もとの薬と AUC や最高濃度がほぼ同じになるかを確かめる試験を経て認められます。
「どれだけの時間、どれだけの濃さだったか」を1つの数にまとめる。定積分は、変化し続けるものの「合計の量」を測る道具として、実験室の外でも使われているのです。次の第9章では、この「曲線の下の面積」を実際に計算します。
1² + 2² + … + n² と、3分の1
数学Bで学ぶ公式に、1 2 1^2 1 2 + 2 2 {}+ 2^2 + 2 2 + ⋯ {}+ \cdots + ⋯ + n 2 {}+ n^2 + n 2 = n ( n + 1 ) ( 2 n + 1 ) 6 {}= \dfrac{n(n + 1)(2n + 1)}{6} = 6 n ( n + 1 ) ( 2 n + 1 ) があります。この和を n 3 n^3 n 3 で割ってみましょう。
1 2 + 2 2 + ⋯ + n 2 n 3 \displaystyle \frac{1^2 + 2^2 + \cdots + n^2}{n^3} n 3 1 2 + 2 2 + ⋯ + n 2 = 1 6 ( 1 + 1 n ) ( 2 + 1 n ) \displaystyle {}= \frac{1}{6}\left(1 + \frac{1}{n}\right)\left(2 + \frac{1}{n}\right) = 6 1 ( 1 + n 1 ) ( 2 + n 1 ) n n n を大きくしていくと、1 n \dfrac{1}{n} n 1 は 0 0 0 に近づくので、この値は 2 6 \dfrac{2}{6} 6 2 = 1 3 {}= \dfrac{1}{3} = 3 1 に近づきます。
一方、定積分で計算すると ∫ 0 1 x 2 d x \displaystyle \int_0^1 x^2\,dx ∫ 0 1 x 2 d x = 1 3 \displaystyle {}= \dfrac{1}{3} = 3 1 です。同じ 1 3 \dfrac{1}{3} 3 1 が出てくるのは偶然ではありません。左の式は、0 0 0 から 1 1 1 までを n n n 等分して、高さ ( k n ) 2 \left(\dfrac{k}{n}\right)^2 ( n k ) 2 、 幅 1 n \dfrac{1}{n} n 1 の細い長方形を n n n 本並べた面積の合計になっているのです。長方形を細くしていくと、合計は曲線の下の面積、つまり定積分に近づきます。このつながりは、数学IIIで区分求積法 として学びます。
豆知識
「面積(積分)」と「接線(微分)」が表と裏の関係にあるという基本定理は、ニュートンのケンブリッジ大学での前任教授アイザック・バロウ が、図形の言葉ですでに述べていたといわれます(※どこまで気づいていたかは諸説あり)。それを計算の道具として使いこなせる形にしたのが、ニュートンとライプニッツでした。
※ここは発展ページ です。高校の範囲では、定積分を F ( b ) F(b) F ( b ) − F ( a ) {}- F(a) − F ( a ) で計算し、基本定理を使えれば十分です。本文では定積分を「原始関数の差」で定めましたが、大学では面積のように細かく分けて足し合わせたものの極限 で定積分を定め、そこから F ( b ) F(b) F ( b ) − F ( a ) {}- F(a) − F ( a ) で計算できることを証明します。第7章 定理3で予告した「連続関数は原始関数をもつ」も、ここで回収します。
定義1:定積分(リーマン和の極限)
関数 f ( x ) f(x) f ( x ) が閉区間 a a a ≦ x {}\leqq x ≦ x ≦ b {}\leqq b ≦ b で連続であるとする。区間を
a \displaystyle a a = x 0 \displaystyle {}= x_0 = x 0 < x 1 \displaystyle {}< x_1 < x 1 < x 2 \displaystyle {}< x_2 < x 2 < ⋯ \displaystyle {}< \cdots < ⋯ < x n \displaystyle {}< x_n < x n = b \displaystyle {}= b = b と n n n 個の小区間に分け、各小区間 x k − 1 x_{k-1} x k − 1 ≦ x {}\leqq x ≦ x ≦ x k {}\leqq x_k ≦ x k から点 c k c_k c k を1つずつ選んで
S \displaystyle S S = ∑ k = 1 n f ( c k ) ( x k − x k − 1 ) \displaystyle {}= \sum_{k=1}^{n} f(c_k)\,(x_k - x_{k-1}) = k = 1 ∑ n f ( c k ) ( x k − x k − 1 ) をつくる(リーマン和 という)。小区間の幅の最大値を 0 0 0 に近づけるとき、分け方や c k c_k c k の選び方によらず S S S が一定の値に近づくならば、その値を ∫ a b f ( x ) d x \displaystyle\int_a^b f(x)\,dx ∫ a b f ( x ) d x と書き、f ( x ) f(x) f ( x ) の a a a から b b b までの定積分 という。また ∫ b a f ( x ) d x \displaystyle \int_b^a f(x)\,dx ∫ b a f ( x ) d x = − ∫ a b f ( x ) d x \displaystyle {}= -\int_a^b f(x)\,dx = − ∫ a b f ( x ) d x ,∫ a a f ( x ) d x \displaystyle \int_a^a f(x)\,dx ∫ a a f ( x ) d x = 0 \displaystyle {}= 0 = 0 と定める。
f ( c k ) ( x k − x k − 1 ) f(c_k)(x_k - x_{k-1}) f ( c k ) ( x k − x k − 1 ) は、高さ f ( c k ) f(c_k) f ( c k ) 、 幅 x k x_k x k − x k − 1 {}- x_{k-1} − x k − 1 の細い長方形の面積です(f ( c k ) f(c_k) f ( c k ) < 0 {}< 0 < 0 なら負の値として数える)。小話3の 1 2 + 2 2 + ⋯ + n 2 n 3 \dfrac{1^2 + 2^2 + \cdots + n^2}{n^3} n 3 1 2 + 2 2 + ⋯ + n 2 は、f ( x ) f(x) f ( x ) = x 2 {}= x^2 = x 2 を n n n 等分し、c k c_k c k を各小区間の右端にとったリーマン和です。f ( x ) f(x) f ( x ) が連続なら、この極限は必ず存在する ことが知られています(証明には実数の性質を深く使うので略します)。この定義から、公式2の性質(定数倍・和・区間の加法性)も導けます。さらに次の性質も成り立ちます。
定理1:定積分の大小
a a a < b {}< b < b で、a a a ≦ x {}\leqq x ≦ x ≦ b {}\leqq b ≦ b においてつねに m m m ≦ f ( x ) {}\leqq f(x) ≦ f ( x ) ≦ M {}\leqq M ≦ M ならば
m ( b − a ) \displaystyle m(b - a) m ( b − a ) ≦ ∫ a b f ( x ) d x \displaystyle {}\leqq \int_a^b f(x)\,dx ≦ ∫ a b f ( x ) d x ≦ M ( b − a ) \displaystyle {}\leqq M(b - a) ≦ M ( b − a ) 証明 どのリーマン和も、m ( x k − x k − 1 ) m(x_k - x_{k-1}) m ( x k − x k − 1 ) ≦ f ( c k ) ( x k − x k − 1 ) {}\leqq f(c_k)(x_k - x_{k-1}) ≦ f ( c k ) ( x k − x k − 1 ) ≦ M ( x k − x k − 1 ) {}\leqq M(x_k - x_{k-1}) ≦ M ( x k − x k − 1 ) を k k k = 1 {}= 1 = 1 から n n n まで足して、m ( b − a ) m(b - a) m ( b − a ) ≦ S {}\leqq S ≦ S ≦ M ( b − a ) {}\leqq M(b - a) ≦ M ( b − a ) をみたす。極限をとっても不等号の向きは保たれる。(証明終)
定理2:積分の平均値の定理
f ( x ) f(x) f ( x ) が a a a ≦ x {}\leqq x ≦ x ≦ b {}\leqq b ≦ b (a a a < b {}< b < b ) で連続ならば
∫ a b f ( x ) d x \displaystyle \int_a^b f(x)\,dx ∫ a b f ( x ) d x = f ( c ) ( b − a ) \displaystyle {}= f(c)\,(b - a) = f ( c ) ( b − a ) をみたす c c c が a a a ≦ c {}\leqq c ≦ c ≦ b {}\leqq b ≦ b の範囲にある。
証明 第5章 定理1(最大値・最小値の定理)より、f ( x ) f(x) f ( x ) はこの区間で最小値 m m m と最大値 M M M をとる。定理1より
m \displaystyle m m ≦ 1 b − a ∫ a b f ( x ) d x \displaystyle {}\leqq \frac{1}{b - a}\int_a^b f(x)\,dx ≦ b − a 1 ∫ a b f ( x ) d x ≦ M \displaystyle {}\leqq M ≦ M 真ん中の値を μ \mu μ とおく。f ( x ) f(x) f ( x ) は m m m と M M M の両方の値をとる連続関数なので、第6章 定理1(中間値の定理)より、f ( c ) f(c) f ( c ) = μ {}= \mu = μ となる c c c が区間内にある。(証明終)
1 b − a ∫ a b f ( x ) d x \dfrac{1}{b - a}\displaystyle\int_a^b f(x)\,dx b − a 1 ∫ a b f ( x ) d x は、f ( x ) f(x) f ( x ) の区間での「平均の高さ」です。でこぼこした砂山を平らにならすと、どこかの地点の元の高さと一致する、というイメージです。第5章・第6章で証明を略した2つの定理が、ここで同時に活躍します。
定理3:微分積分学の基本定理(1)
f ( x ) f(x) f ( x ) が区間 I I I で連続で、a a a が I I I の点ならば、S ( x ) = ∫ a x f ( t ) d t S(x) = \displaystyle\int_a^x f(t)\,dt S ( x ) = ∫ a x f ( t ) d t は I I I で微分可能であり
S ′ ( x ) \displaystyle S'(x) S ′ ( x ) = f ( x ) \displaystyle {}= f(x) = f ( x ) が成り立つ。とくに、連続関数は原始関数をもつ (第7章 定理3)。
証明 h h h ≠ 0 {}\neq 0 = 0 とする。区間の加法性より
S ( x + h ) \displaystyle S(x + h) S ( x + h ) − S ( x ) \displaystyle {}- S(x) − S ( x ) = ∫ x x + h f ( t ) d t \displaystyle {}= \int_x^{x+h} f(t)\,dt = ∫ x x + h f ( t ) d t 定理2より、これは f ( c h ) ⋅ h f(c_h) \cdot h f ( c h ) ⋅ h に等しい。ここで c h c_h c h は x x x と x x x + h {}+ h + h の間の数である(h h h < 0 {}< 0 < 0 のときも、上端と下端を入れかえて同じ式が得られる)。よって
S ( x + h ) − S ( x ) h \displaystyle \frac{S(x + h) - S(x)}{h} h S ( x + h ) − S ( x ) = f ( c h ) \displaystyle {}= f(c_h) = f ( c h ) h h h → 0 {}\to 0 → 0 のとき c h c_h c h → x {}\to x → x であり、f f f は連続なので f ( c h ) f(c_h) f ( c h ) → f ( x ) {}\to f(x) → f ( x ) 。 したがって S ′ ( x ) S'(x) S ′ ( x ) = f ( x ) {}= f(x) = f ( x ) である。(証明終)
本文の図 fig01 の「細い帯」を、きちんと式にしたのがこの証明です。帯の高さを「ほぼ f ( x ) f(x) f ( x ) 」 ではなく「ちょうど f ( c h ) f(c_h) f ( c h ) 」 とできるのが、定理2のおかげです。
定理4:微分積分学の基本定理(2)
f ( x ) f(x) f ( x ) が a a a ≦ x {}\leqq x ≦ x ≦ b {}\leqq b ≦ b で連続で、F ( x ) F(x) F ( x ) がその原始関数の1つならば
∫ a b f ( x ) d x \displaystyle \int_a^b f(x)\,dx ∫ a b f ( x ) d x = F ( b ) \displaystyle {}= F(b) = F ( b ) − F ( a ) \displaystyle {}- F(a) − F ( a ) 証明 定理3の S ( x ) = ∫ a x f ( t ) d t S(x) = \displaystyle\int_a^x f(t)\,dt S ( x ) = ∫ a x f ( t ) d t も f ( x ) f(x) f ( x ) の原始関数である。第7章 定理1(原始関数は定数の差しかない)より、ある定数 C C C で S ( x ) S(x) S ( x ) = F ( x ) {}= F(x) = F ( x ) + C {}+ C + C と書ける。x x x = a {}= a = a を代入すると 0 0 0 = F ( a ) {}= F(a) = F ( a ) + C {}+ C + C , よって C C C = − F ( a ) {}= -F(a) = − F ( a ) 。x x x = b {}= b = b を代入して
∫ a b f ( x ) d x \displaystyle \int_a^b f(x)\,dx ∫ a b f ( x ) d x = S ( b ) \displaystyle {}= S(b) = S ( b ) = F ( b ) \displaystyle {}= F(b) = F ( b ) − F ( a ) \displaystyle {}- F(a) − F ( a ) (証明終)
こうして、「細かく分けて足す」(定義1)という面積の考え方と、「微分の逆をたどって差をとる」(本文の公式1)という計算のしかたが、同じものであることがわかりました。本文で公式1を定義として使ってよかったのは、この定理4が裏で支えているからです。