は正の整数とする。次の極限値を求めよ。
区分求積法
和の極限を定積分に直して求め、定積分を使って和を評価できる
前提
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
この技能までの道筋(43 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
説明
区分求積法は、 のような「細かく分けた和の極限」を、定積分 に置き換えて求める方法です。 の公式では直接計算できない和の極限も、定積分の計算に持ち込めば求められます。逆に、面積の大小関係を使って のような和を定積分で上下から評価する(不等式ではさむ)ときにも使います。
なぜそうしてよいのか
を区間 で連続な関数とします。この区間を 等分すると、幅 の小区間が 個でき、 番目の小区間の右端は です。各小区間に、幅 、高さ の長方形を立てると、その面積の合計は です。 なら、これは曲線 と 軸ではさまれた部分の面積を長方形で近似したものです。 を大きくすると長方形が細くなり、はみ出しや不足が小さくなるので、和は定積分 に近づきます( が負の値をとる部分では、面積に負の符号をつけて考えれば同じことがいえます)。
たとえば が増加関数なら、小区間 で が成り立ちます。これを各小区間で積分して足すと となります。両端の差は で、 のとき に近づくので、はさみうちにより両端の和はどちらも定積分に収束します。減少関数でも同様です。一般の連続関数でも同じ結論が成り立ち、
となります。区間 を 等分した場合は、幅が になり、 です。
上の不等式の考え方は和の評価にも使えます。 で減少する では、 で なので が成り立ちます。これを について足し合わせれば、和を定積分ではさむことができます。
手順
和の各項から をくくり出し、残りを だけの式に書き直す。例:
を に置き換えた関数 を決める。
の範囲から積分区間を決める。 から まで(または から まで)なら は から まで動くので 。 が から までなら のように、 の動く範囲を見る。
定積分を計算する(置換積分・部分積分などを使う)。
和を評価するときは、増減を調べて (減少関数の場合)のような不等式を作り、 について足し合わせる。
例題
極限 を求めよ。
例題の解答
【手順1】各項の分母と分子を で割り、 をくくり出すと
となる。よって 。
【手順2】 を に置き換えて、 とする。これは で連続である。
【手順3】 は から まで動くので、 は から までの範囲にある。よって
【手順4】 と置換すると で、 が から まで変わるとき は から まで変わる。よって
( なので )。
したがって、求める極限は 。
答え:
よくある誤り
をくくり出さずに のように、 や が残ったまま積分にしてしまう誤り。正しくは、まず と の形にしてから、 を に置き換えて とする。
和の範囲が から までなのに、積分区間をいつも から にしてしまう誤り。例えば を とするのは誤りで、 は から まで動くので、正しくは 。
をくくり出した残りが の式になっていないのに積分に直してしまう誤り。例えば を とすることはできない( なので、残りに余分な が出てくる)。正しくは、残りがちょうど の形になることを確かめてから積分に直す。
和を定積分で評価するとき、積分区間の端をずらし忘れる誤り。例えば とだけ書くと、使える評価を弱めてしまう。(等号は成り立たない)を から まで足すと、正しくは 。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
正の整数 に対し、 を の正の約数の個数とする。実数 に対して
とおく。極限
は存在する。その値を求めよ。ただし は自然対数とし、 を用いてよい。正の整数 に対して、 を の相異なる素因数の個数とする()。実数 に対して
とおく。極限
の値を求めよ。ただし 、および 以下の正の整数のうち平方因子をもたないもの( を含む)の個数 が を満たすことは用いてよい。をメビウス関数(、 が相異なる 個の素数の積なら 、 がある素数の 2 乗で割り切れるなら )、 をオイラー関数( かつ を満たす整数 の個数)とする。 は自然対数とする。
任意の実数 に対して
が成り立つことを証明せよ。ただし と、絶対収束する級数の積の展開・並べ替えは用いてよい。
この技能の次に学べること
- オイラー・マクローリンの和公式 (大学院数学 特殊関数・漸近解析)
- 和のガウス近似による漸近形 (大学院数学 特殊関数・漸近解析)