を正の整数とする。次の極限値を求めよ。
数列の極限
不定形(, )を変形し、はさみうちの原理を使って数列の極限を求められる
前提
- 等差・等比数列の和と Σ (数学B 数列)
この技能までの道筋(10 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 等差・等比数列の和と Σ (数学B 数列)
説明
数列の項 が、 を限りなく大きくしたときにどんな値に近づくか(極限)を求める技能です。 や のように、そのままでは「」「」となって値が決まらない式を、計算できる形に変形します。直接計算できないときは、2 つの数列ではさむ「はさみうちの原理」を使います。Σ で表された和の極限など、数列の振る舞いを調べる場面で広く使います。
なぜそうしてよいのか
を限りなく大きくするとき、 がある値 に限りなく近づくことを と書き、「 は に収束する」といいます。 が限りなく大きくなるときは と書きます。出発点は「 は が大きくなると に近づく」という事実で、 です。同様に , なども に近づきます。また、収束する数列どうしの和・差・積・商(商は分母の極限が でないとき)の極限は、それぞれの極限の和・差・積・商になります。
「」で値が決まらないのは、分子と分母の大きくなる速さによって結果が変わるからです。、、 のように、どれも の形なのに極限はばらばらです。分数は分子と分母を同じ でない数で割っても値が変わりません。そこで分子・分母のすべての項を分母の最高次の項(例えば )で割ると、分母は一定の値に近づき、残りの項は のような に近づく形になって、極限が計算できます。「」も同様に、、 のように結果が決まりません。多項式なら最高次の項でくくり、根号を含むなら を使って有理化すると、差が打ち消されて扱える形になります。
はさみうちの原理は「すべての で が成り立ち、 ならば 」というものです。下からも上からも同じ値 に押し込まれるので、間にある も に近づくしかない、という直観です。 そのものは計算しにくくても、近づく先が同じ 2 つの数列ではさめれば極限が決まります。
手順
を大きくしたときの各部分の振る舞いを調べ、式が か かなどの形を確認する。Σ を含むなら、まず和の公式(例: )で の式に直す。
の形なら、分子・分母のすべての項を、分母の最高次の項( など)で割る。例:
の形なら、多項式は最高次の項でくくる(例: )。根号の差は と有理化してから手順 2 を行う。
直接計算しにくいときは、すべての で となる計算しやすい数列 を見つけ、両方の極限が同じ値 であることを確かめて とする(はさみうちの原理)。
()を使って各部分の極限を求め、和・差・積・商の極限として極限値を求める。
例題
極限 を求めよ。
例題の解答
手順 1: 分子は なので、
分子・分母とも限りなく大きくなるので の形である。
手順 2: 分子・分母を分母の最高次の項 で割る。分子は 、分母は なので、
手順 5: より、
答え:
よくある誤り
としてしまう誤り。正しくは大きくなる速さで結果が変わり、例えば である。分母の最高次の項で割ってから極限をとる。
としてしまう誤り。正しくは例えば のように、有理化などで変形してから求める( なので としてよい)。
はさみうちで、はさむ 2 つの数列の極限が違うのに結論を出してしまう誤り。例えば からは極限は決まらない。正しくは両側の極限が同じ値になるようにはさむ(例: より で、両側が に収束するので )。
分子・分母の一部の項だけを割ってしまう誤り。例えば で を含む項だけを で割って とし、「 に発散する」としてしまう。これは値の変わる誤った変形である。正しくは分子・分母の全項を同じ で割って とし、 となる。分子だけを割って分母を割り忘れる( とする)のも同じ誤りである。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
を正の整数とする。次の極限値を求めよ。
を正の整数とする。次の極限値を求めよ。
区間 上のルベーグ測度 を考える。関数 を、正の整数 に対して
で定める。ルベーグ積分
の値を求めよ。有界な複素数列 全体のなす複素バナッハ空間 を、ノルム で考える。作用素 を
で定める(重み 付きの右シフト)。 は有界線形作用素である。 のスペクトル半径 を求めよ。
この技能を使う問題
実数 に対して、べき級数
が収束するような の範囲を求めよ。を正の整数とする。 についての 2 次方程式
の正の解を とする。極限値
を求めよ。実数 の関数 の正の実数解を とする。初期値 からニュートン法 で数列 を定めると、すべての について であり、 となる。このとき、極限 の値を求めよ。
正の整数 に対して とおく。無限級数
の値を求めよ。を正の整数とし、
とおく。極限値
を求めよ。を 以上の整数とする。 についての方程式
は正の実数解をただ つもつ。この解を とするとき、極限
を求めよ。数列 を
で定める。無限級数
の和を求めよ。実数 に対して、 を超えない最大の整数を で表す。正の整数 に対して
とおく。極限値
を求めよ。正の整数 に対して とおく。級数
は収束し、その和が であることを証明せよ。ただし、 であること、および であることは用いてよい。を 以上の整数とし、時刻 にそれぞれ正の金額 が支払われる債券を考える。連続複利の利回り に対して、この債券の価格を
とし、マコーレー・デュレーションを
で定める。このとき、関数 は 上で狭義単調減少であり、その値域は開区間 に一致することを証明せよ。ただし、微分可能な関数についての平均値の定理と中間値の定理は用いてよい。
, , , を定数とする。標準正規分布の密度関数と分布関数を
とし、ボラティリティ に対するヨーロピアン・コール・オプションのブラック・ショールズ価格を
で定める。 とおくとき、写像 は区間 から開区間 への全単射であることを証明せよ(すなわち、 に属する各価格 に対して となるインプライド・ボラティリティ がちょうど 1 つ存在し、 の値はすべて に属する)。ただし、 は 上で微分可能で であること、, , であること、および平均値の定理・中間値の定理は用いてよい。
を正の整数とし、 に最大値ノルム から定まる距離を入れる。 を実数とし、写像 はすべての に対して
を満たすとする。正の整数 に対して
とおき( は恒等写像)、 に対し、相異なる任意の 2 点 が を満たす有限集合 を -分離集合という。-分離集合の元の個数の最大値を とし、 の位相エントロピーを
で定める( が有限であることと、この極限が の中に存在することは、証明の中で確かめること)。が成り立つことを証明せよ。
この技能の次に学べること
- 無限等比級数と無限級数 (数学III 極限)
- 関数の極限 (数学III 極限)
- 無限等比数列 の極限 (数学III 極限)
- 和の各項の評価によるはさみうち (数学III 極限)
- 内部・閉包・境界・集積点 (大学数学 集合と位相)