本文へ移動

定(てい)積分(せきぶん)と区分求積法(くぶんきゅうせきほう)

ゾウ先生区分求積法(くぶんきゅうせきほう)の式(しき)は、まず区間(くかん)をn等分(とうぶん)する幅(はば)と、k番目(ばんめ)の長方形(ちょうほうけい)の高(たか)さを見分(みわ)けよう。

30秒でつかむ

  1. 区間(くかん)[a,b]をn個(こ)の長方形(ちょうほうけい)に分(わ)け、その面積(めんせき)の合計(ごうけい)(リーマン和(わ))を作(つく)り、n→∞で長方形(ちょうほうけい)の幅(はば)を0に近(ちか)づけた極限(きょくげん)が定(てい)積分(せきぶん)(新しいタブで開きます)になる。
  2. f(x)≦g(x)が区間(くかん)でつねに成(な)り立(た)てば、定(てい)積分(せきぶん)の大小(だいしょう)関係(かんけい)も∫f(x)dx≦∫g(x)dxのまま保(たも)たれる。
  3. この考(かんが)え方(かた)を使(つか)うと、直接(ちょくせつ)計算(けいさん)しにくい定(てい)積分(せきぶん)の値(あたい)を、上下(じょうげ)から挟(はさ)んで評価(ひょうか)できる。

ChatGPT に解説してもらう(新しいタブで開きます)

詳しく

公式(こうしき)

区間(くかん)[0,1]をn等分(とうぶん)すると、1つの長方形(ちょうほうけい)の幅(はば)は1/n。k番目(ばんめ)の長方形(ちょうほうけい)の右端(みぎはし)のxの値(あたい)はkn\dfrac{k}{n}になる。高(たか)さ(新しいタブで開きます)をf ⁣(kn)f\!\left(\dfrac{k}{n}\right)とすると、長方形(ちょうほうけい)n個(こ)の面積(めんせき)の合計(ごうけい)(リーマン和(わ))は∑k=1nf ⁣(kn)⋅1n\displaystyle\sum_{k=1}^{n}f\!\left(\dfrac{k}{n}\right)\cdot\dfrac{1}{n}。

長方形(ちょうほうけい)の幅(はば)を0に近(ちか)づける、つまりn→∞の極限(きょくげん)をとると、このリーマン和(わ)は∫01f(x) dx\displaystyle\int_{0}^{1}f(x)\,dxに一致(いっち)する。lim⁡n→∞1n∑k=1nf ⁣(kn)=∫01f(x) dx\mathbf{\lim_{n\to\infty}\frac{1}{n}\sum_{k=1}^{n}f\!\left(\frac{k}{n}\right)=\int_{0}^{1}f(x)\,dx}という公式(こうしき)になる。

また、区間(くかん)でf(x)≤g(x)f(x)\le g(x)がつねに成(な)り立(た)つなら、∫abf(x) dx≤∫abg(x) dx\displaystyle\int_{a}^{b}f(x)\,dx\le\int_{a}^{b}g(x)\,dxが成(な)り立(た)つ(定(てい)積分(せきぶん)と不等式(ふとうしき))。長方形(ちょうほうけい)の面積(めんせき)で比(くら)べれば、幅(はば)をどれだけ細(こま)かくしても大小(だいしょう)は変(か)わらないことから納得(なっとく)できる。

例題(れいだい)

例題(れいだい):lim⁡n→∞1n∑k=1n(kn)2\displaystyle\lim_{n\to\infty}\frac{1}{n}\sum_{k=1}^{n}\left(\frac{k}{n}\right)^2を求(もと)めよ。

この極限(きょくげん)は、f(x)=x²としたときの区分(くぶん)求積(きゅうせき)の式(しき)そのものなので、∫01x2 dx\displaystyle\int_{0}^{1}x^2\,dxに等(ひと)しい。

計算(けいさん)すると、∫01x2 dx=[x33]01=13\displaystyle\int_{0}^{1}x^2\,dx=\left[\frac{x^3}{3}\right]_{0}^{1}=\mathbf{\frac{1}{3}}。

もう1つ、0≦x≦1でつねに0≦sin(新しいタブで開きます) x≦xが成(な)り立(た)つことを使(つか)うと、∫01sin⁡x dx≤∫01x dx=12\displaystyle\int_{0}^{1}\sin x\,dx\le\int_{0}^{1}x\,dx=\frac{1}{2}と、値(あたい)を求(もと)めずに上(うえ)から評価(ひょうか)できる。

f(x)≦g(x)なら定積分も同じ大小になるAsatte Studio(Manazoo)/オリジナル(コードで作図)

なぜ長方形(ちょうほうけい)の和(わ)が定(てい)積分(せきぶん)に近(ちか)づくのか

下(した)の図(ず)のように、[0,1]を5個(こ)の長方形(ちょうほうけい)に分(わ)けて面積(めんせき)を足(た)すと、本当(ほんとう)の面積(めんせき)(曲線(きょくせん)の下(した)の部分(ぶぶん))とのあいだに、すき間(ま)や出(で)っぱりが残(のこ)る。

長方形(ちょうほうけい)の数(かず)を増(ふ)やして幅(はば)を狭(せま)くするほど、すき間(ま)と出(で)っぱりの面積(めんせき)は小(ちい)さくなっていく。幅(はば)を0に近(ちか)づける極限(きょくげん)で、長方形(ちょうほうけい)の面積(めんせき)の合計(ごうけい)は曲線(きょくせん)の下(した)の面積(めんせき)にぴたりと一致(いっち)する。

この「細(こま)かく分(わ)けて足(た)し、幅(はば)を0に近(ちか)づける」という考(かんが)え方(かた)が区分求積法(くぶんきゅうせきほう)で、定(てい)積分(せきぶん)∫abf(x) dx\int_a^b f(x)\,dxの記号(きごう)の∫\int(和(わ)を表(あらわ)す記号(きごう)Sを引(ひ)き伸(の)ばした形(かたち))とdx自体(じたい)が、この極限(きょくげん)の考(かんが)え方(かた)を表(あらわ)している。

長方形5個のリーマン和と曲線の下の面積のずれAsatte Studio(Manazoo)/オリジナル(コードで作図)

確認問題

問題 1 / 4lim⁡n→∞1n∑k=1n(kn)3\displaystyle\lim_{n\to\infty}\dfrac{1}{n}\sum_{k=1}^{n}\left(\dfrac{k}{n}\right)^3を定(てい)積分(せきぶん)に直(なお)して求(もと)めよ。

確認問題(解答用紙)

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

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

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

  1. lim⁡n→∞1n∑k=1n(kn)3\displaystyle\lim_{n\to\infty}\dfrac{1}{n}\sum_{k=1}^{n}\left(\dfrac{k}{n}\right)^3を定(てい)積分(せきぶん)に直(なお)して求(もと)めよ。

    答え:____________

    正解:1/4
    (1/n)Σ(k/n)³は、[0,1]をn等分(とうぶん)して高(たか)さ(新しいタブで開きます)(k/n)³の長方形(ちょうほうけい)の面積(めんせき)を足(た)した区分(くぶん)求積(きゅうせき)の式(しき)。n→∞で∫₀¹x³dxに一致(いっち)し、値(あたい)は1/4。

  2. lim⁡n→∞1n∑k=1n(kn)2\displaystyle\lim_{n\to\infty}\dfrac{1}{n}\sum_{k=1}^{n}\left(\dfrac{k}{n}\right)^2を定(てい)積分(せきぶん)に直(なお)して求(もと)めよ。

    答え:____________

    正解:1/3
    (1/n)Σ(k/n)²は∫₀¹x²dxの区分(くぶん)求積(きゅうせき)。計算(けいさん)すると∫₀¹x²dx=[x³/3]₀¹=1/3になる。

  3. 区間(くかん)0≦x≦1でつねに0≦sin x≦xが成(な)り立(た)つとき、∫₀¹sin xdxと∫₀¹xdxの大小(だいしょう)関係(かんけい)として正(ただ)しいものはどれか。

    • ◯ ∫₀¹sin xdx≦∫₀¹xdx
    • ◯ 大小(だいしょう)は決(き)まらない
    • ◯ ∫₀¹sin xdx=∫₀¹xdx
    • ◯ ∫₀¹sin xdx≧∫₀¹xdx

    正解:∫₀¹sin xdx≦∫₀¹xdx
    0≦x≦1でf(x)≦g(x)がつねに成(な)り立(た)てば、∫f(x)dx≦∫g(x)dxが成(な)り立(た)つ。sin(新しいタブで開きます) x≦xなので∫₀¹sin xdx≦∫₀¹xdx。

  4. 区分求積法(くぶんきゅうせきほう)で定(てい)積分(せきぶん)を求(もと)める考(かんが)え方(かた)を、正(ただ)しい順(じゅん)に並(なら)べよ。

    • ( )区間(くかん)をn個(こ)の長方形(ちょうほうけい)に分(わ)ける
    • ( )長方形(ちょうほうけい)の面積(めんせき)の合計(ごうけい)を作(つく)る
    • ( )n→∞で幅(はば)を0に近(ちか)づける
    • ( )合計(ごうけい)が定(てい)積分(せきぶん)の値(あたい)に近(ちか)づく

    正解:区間をn個の長方形に分ける → 長方形の面積の合計を作る → n→∞で幅を0に近づける → 合計が定積分の値に近づく
    ①区間(くかん)をn個(こ)の長方形(ちょうほうけい)に分(わ)ける→②長方形(ちょうほうけい)の面積(めんせき)の合計(ごうけい)(リーマン和(わ))を作(つく)る→③n→∞で長方形(ちょうほうけい)の幅(はば)を0に近(ちか)づける→④合計(ごうけい)が定(てい)積分(せきぶん)(新しいタブで開きます)の値(あたい)に近(ちか)づく、という順(じゅん)で考(かんが)える。

単元のポイント

  • 区分求積法(くぶんきゅうせきほう)(新しいタブで開きます) 長方形(ちょうほうけい)の面積(めんせき)の和(わ)の極限(きょくげん)として定(てい)積分(せきぶん)をとらえる考(かんが)え方(かた)
  • lim(1/n)Σf(k/n)の公式(こうしき) n→∞で∫₀¹f(x)dxに一致(いっち)する
  • 定(てい)積分(せきぶん)と不等式(ふとうしき) f(x)≦g(x)ならば∫f(x)dx≦∫g(x)dx
問題を解く
単元のポイント
  • 区分求積法(くぶんきゅうせきほう)(新しいタブで開きます) 長方形(ちょうほうけい)の面積(めんせき)の和(わ)の極限(きょくげん)として定(てい)積分(せきぶん)をとらえる考(かんが)え方(かた)
  • lim(1/n)Σf(k/n)の公式(こうしき) n→∞で∫₀¹f(x)dxに一致(いっち)する
  • 定(てい)積分(せきぶん)と不等式(ふとうしき) f(x)≦g(x)ならば∫f(x)dx≦∫g(x)dx