本文へ移動

定(てい)積分(せきぶん)

ゾウ先生上端(じょうたん)と下端(かたん)を取(と)り違(ちが)えないよう、F(b)からF(a)を引(ひ)く順番(じゅんばん)を声(こえ)に出(だ)して確(たし)かめよう。

30秒でつかむ

  1. 定(てい)積分(せきぶん)∫ₐᵇf(x)dxは、原始(げんし)関数(かんすう)(新しいタブで開きます)F(x)を使(つか)ってF(b)−F(a)で計算(けいさん)する。aは下端(かたん)、bは上端(じょうたん)という。
  2. 上端(じょうたん)と下端(かたん)を入(い)れ替(か)えると定(てい)積分(せきぶん)の値(あたい)の符号(ふごう)が反転(はんてん)し、区間(くかん)を2つに分(わ)けて足(た)しても同(おな)じ値(あたい)になる。
  3. 区間(くかん)a≦x≦tでの面積(めんせき)をS(t)とすると、S′(t)=f(t)になり、定(てい)積分(せきぶん)が面積(めんせき)を表(あらわ)すことが導(みちび)ける。

詳しく

公式(こうしき)

前(まえ)のページでは、微分(びぶん)すると元(もと)の関数(かんすう)になる原始(げんし)関数(かんすう)と、不定(ふてい)積分(せきぶん)を学(まな)んだ。ここでは、原始(げんし)関数(かんすう)を使(つか)って区間(くかん)ごとの値(あたい)を求(もと)める定(てい)積分(せきぶん)を考(かんが)えよう。

関数(かんすう)f(x)の原始(げんし)関数(かんすう)の1つをF(x)とするとき、∫abf(x) dx=F(b)−F(a)\mathbf{\int_{a}^{b} f(x)\,dx = F(b)-F(a)}をf(x)のaからbまでの定(てい)積分(せきぶん)という。aを下端(かたん)、bを上端(じょうたん)という。

定(てい)積分(せきぶん)には性質(せいしつ)がある。上端(じょうたん)と下端(かたん)を入(い)れ替(か)えると、∫baf dx=−∫abf dx\int_{b}^{a}f\,dx = -\int_{a}^{b}f\,dxのように符号(ふごう)が反転(はんてん)する。

また、区間(くかん)を途中(とちゅう)で区切(くぎ)って計算(けいさん)し、あとで足(た)すこともできる。区間(くかん)a〜bの定(てい)積分(せきぶん)と区間(くかん)b〜cの定(てい)積分(せきぶん)を合(あ)わせると、∫acf dx\int_{a}^{c}f\,dxに等(ひと)しい。上端(じょうたん)と下端(かたん)が同(おな)じなら∫aaf dx=0\int_{a}^{a}f\,dx=0で、幅(はば)のない区間(くかん)では面積(めんせき)も0だ。

ほかに、区間(くかん)を細(こま)かく区切(くぎ)った長方形(ちょうほうけい)の面積(めんせき)の合計(ごうけい)から定(てい)積分(せきぶん)を定義(ていぎ)する区分求積法(くぶんきゅうせきほう)という考(かんが)え方(かた)もある。細(こま)かく区切(くぎ)るほど、長方形(ちょうほうけい)の合計(ごうけい)はグラフの下(した)の面積(めんせき)に近(ちか)づく。

∫₁³2x dxをF(3)−F(1)で求めるAsatte Studio(Manazoo)/オリジナル(コードで作図)

例題(れいだい)

例題(れいだい):∫13(3x2−2x) dx\int_{1}^{3}(3x^2-2x)\,dxの値(あたい)を求(もと)めよ。

原始(げんし)関数(かんすう)はF(x)=x3−x2F(x)=x^3-x^2なので、F(3)=27−9=18F(3)=27-9=18、F(1)=1−1=0F(1)=1-1=0になる。

よって、F(3)−F(1)=18−0=18F(3)-F(1)=18-0=18になる。この区間(くかん)でのf(x)の定(てい)積分(せきぶん)は18だ。

なぜそうなるか

なぜ定(てい)積分(せきぶん)が面積(めんせき)を表(あらわ)すのか、図(ず)で確(たし)かめよう。区間(くかん)a≦x≦bでf(x)≥0のとき、y=f(x)のグラフと直線(ちょくせん)x=a、x=t、x軸(じく)で囲(かこ)まれた部分(ぶぶん)の面積(めんせき)をS(t)とする。

tをほんの少(すこ)しhだけ増(ふ)やすと、面積(めんせき)はS(t+h)−S(t)だけ増(ふ)える。この増(ふ)えた部分(ぶぶん)は、幅(はば)h・高(たか)さがほぼf(t)の長方形(ちょうほうけい)とみなせるので、S(t+h)−S(t)≈f(t)hS(t+h)-S(t)\approx f(t)hになる。

両辺(りょうへん)をhで割(わ)ってhを0に近(ちか)づけると、S′(t)=f(t)\mathbf{S'(t)=f(t)}だ。面積(めんせき)の関数(かんすう)S(t)を微分(びぶん)すると、元(もと)の関数(かんすう)f(t)に戻(もど)るという意味(いみ)になる。

この関係(かんけい)とS(a)=0を使(つか)うとS(b)=∫abf(x) dx\mathbf{S(b)=\int_{a}^{b}f(x)\,dx}が導(みちび)ける。つまり、定(てい)積分(せきぶん)∫ₐᵇf(x)dxは、y=f(x)のグラフとx軸(じく)にはさまれた面積(めんせき)を表(あらわ)している。

S(t)を微分するとf(t)に戻るAsatte Studio(Manazoo)/オリジナル(コードで作図)

確認問題

問題 1 / 4∫₀³(2x+1)dxの値(あたい)を求(もと)めよ。

確認問題(解答用紙)

この問題を端末で解くための QR コード

スマホやタブレットで読み取ると、この問題をその場で解けます。

https://manazoo.com/math/definite-integrals/?from=print#quiz

  1. ∫₀³(2x+1)dxの値(あたい)を求(もと)めよ。

    答え:____________

    正解:12
    原始(げんし)関数(かんすう)(新しいタブで開きます)はF(x)=x²+xなので、F(3)=9+3=12、F(0)=0。F(3)−F(0)=12−0=12になる。

  2. ∫₂⁵f(x)dx=12のとき、∫₅²f(x)dxの値(あたい)はどれか。

    • ◯ 12
    • ◯ 0
    • ◯ 24
    • ◯ −12

    正解:−12
    上端(じょうたん)と下端(かたん)を入(い)れ替(か)えると定(てい)積分(せきぶん)の値(あたい)の符号(ふごう)が反転(はんてん)するので、∫₅²f(x)dx=−∫₂⁵f(x)dx=−12になる。2つ目(め)は符号(ふごう)を変(か)えていない。3つ目(め)・4つ目(め)はこの性質(せいしつ)に合(あ)わない値(あたい)だ。

  3. ∫₀²f(x)dx=5、∫₂⁶f(x)dx=9のとき、∫₀⁶f(x)dxの値(あたい)を求(もと)めよ。

    答え:____________

    正解:14
    区間(くかん)を途中(とちゅう)のx=2でつなげられるので、∫₀⁶f(x)dx=∫₀²f(x)dx+∫₂⁶f(x)dx=5+9=14になる。

  4. S(t)をy=f(x)のグラフとx軸(じく)、直線(ちょくせん)x=a、x=tで囲(かこ)まれた部分(ぶぶん)の面積(めんせき)とするとき、S′(t)はどれに等(ひと)しいか。

    • ◯ f(t)
    • ◯ f′(t)
    • ◯ 0
    • ◯ f(a)

    正解:f(t)
    tをhだけ増(ふ)やしたときの面積(めんせき)の増(ふ)え方(かた)S(t+h)−S(t)は、幅(はば)h・高(たか)さf(t)の長方形(ちょうほうけい)に近(ちか)いので、S′(t)=f(t)になる。2つ目(め)はaでのf(x)の値(あたい)で、tとは別(べつ)の値(あたい)だ。3つ目(め)はf(x)をさらに微分(びぶん)したもので、S′(t)とは別(べつ)の関数(かんすう)になる。4つ目(め)はf(t)が0のときしか成(な)り立(た)たない。

単元のポイント

  • 定(てい)積分(せきぶん) F(b)−F(a)で求(もと)める値(あたい)
  • 上端(じょうたん)と下端(かたん) ∫ₐᵇのaが下端(かたん)、bが上端(じょうたん)
  • S′(t)=f(t) 定(てい)積分(せきぶん)が面積(めんせき)を表(あらわ)す理由(りゆう)
問題を解く
単元のポイント
  • 定(てい)積分(せきぶん) F(b)−F(a)で求(もと)める値(あたい)
  • 上端(じょうたん)と下端(かたん) ∫ₐᵇのaが下端(かたん)、bが上端(じょうたん)
  • S′(t)=f(t) 定(てい)積分(せきぶん)が面積(めんせき)を表(あらわ)す理由(りゆう)