次の極限値を求めよ。
関数の極限
片側極限・不定形の変形・はさみうちを使って関数の極限を求められる
前提
- 数列の極限 (数学III 極限)
この技能までの道筋(11 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
説明
関数の極限とは、 を に限りなく近づけたとき(または , としたとき)に、 の値が近づいていく先を調べることです。そのまま代入すると のような意味をもたない形になる場合でも、式を変形したり、左右から近づけたり、不等式ではさんだりすれば、極限を求められます。これは数学IIIの微分(導関数の定義)や、グラフの漸近線を調べるときの土台になります。
なぜそうしてよいのか
は、「 が と異なる値をとりながら に限りなく近づくとき、 が に限りなく近づく」という意味です。大事なのは、 そのものは考えないことです。たとえば は では定義されませんが、 なので であり、約分して にできます。 が に近づけば、これは に近づきます。代入して になるのは、分子と分母に「 に近づく共通の原因」が隠れているからです。そこで、因数分解や有理化でその原因を取り出して約分します。
数列の極限で学んだ考え方は、そのまま関数でも使えます。 のときの 型は、分母の最高次の項で分子と分母を割ります。 型は、くくり出すか有理化します。はさみうちの原理も同じように成り立ちます。 の近くの で が成り立ち、 ならば、 です。
関数では、 に右から近づく場合と左から近づく場合があります。 を保って近づくことを 、 を保って近づくことを と書き、それぞれの極限を右側極限・左側極限といいます( のときは , と書きます)。 が成り立つのは、両側の極限がどちらも になるときだけです。たとえば は、 では 、 では になるので、 のときの極限はありません。
手順
まず をそのまま代入してみる。分母が でなく、値が定まればそれが極限である(多項式や、分母が にならない分数式など)。
型になったら、因数分解して共通因数 を約分するか、根号を含むときは有理化する。 なので で割ってよい。
で 型になったら、分母の最高次の項で分子と分母を割る。 型なら、最高次の項でくくり出すか有理化する。
()の形になったら、 と に分け、分母の符号から を判定する。左右で一致しなければ、極限はない。
変形できない式( のように振動する部分を含む式など)は、 という不等式をつくり、はさみうちの原理を使う。
変形したあとの式に代入するか、既知の極限( のとき など)を使って値を求める。
例題
極限 を求めよ。
例題の解答
【手順1】 を代入すると、分子は 、分母は なので、 型の不定形です。値はまだ定まりません。
【手順2】分子に根号があるので有理化します。分子と分母に を掛けます。
では の値だけを考えるので、 で約分できます。
【手順6】この式の分母は でも にならないので、代入して求めます。
よって、求める極限は です。
答え:
よくある誤り
型を見て、すぐに「極限は 」や「極限は 」としてしまう誤り。正しくは、 は値が定まらない形なので、変形してから求める。例:。
で関数が定義されないから極限もない、としてしまう誤り。正しくは、極限は の値だけで決まる。例: は で定義されないが、極限は である。
としてしまう誤り。正しくは、、 であり、左右で一致しないので のときの極限はない。一方、 は左右とも なので、 である。
のときに として計算してしまう誤り。正しくは、 では である。例: であり、 ではない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
を実数の定数とする。関数 を
で定める。 が で連続であるとき, の値を求めよ。広義積分
の値を求めよ。上の実数値連続関数全体のなす実バナッハ空間 を、上限ノルム で考える。線形汎関数 を
で定める。 の双対ノルム
の値を求めよ。正の整数 に対して
とおく。このとき
であることを証明せよ。ただし、ガウス積分 は用いてよい。に対する減衰項付きの準線形 1 階偏微分方程式の初期値問題
を考える。 上でこの初期値問題の 級の解(古典解)が存在するような の上限を とする。特性曲線の方法を用いて を求めよ。を実数の定数とする。すべての実数 に対して不等式
が成り立つような の値の範囲を求めよ。広義積分
の値を求めよ。広義積分
の値を求めよ。に対する減衰項付きの準線形 1 階偏微分方程式の初期値問題
を考える。特性曲線の方法により、この問題は十分小さい に対して 上で 級の解(古典解)をただ 1 つもつ。
とおくとき、 を求めよ。ただし となる場合は と答えよ。を正の整数とし、時点 (年)に実数のキャッシュフロー が生じる投資を考える( は支出、 は収入を表す)。年複利の利率 に対する正味現在価値を
とする。ある整数 ()があって、次の 4 条件が成り立つとする(支出がすべて収入より前に起こる投資)。
ただし、 のとき 2 番目の条件、 のとき 3 番目の条件は対象となる がないので、条件を課さないものとする。このとき、方程式 を満たす (内部収益率)はちょうど 1 つ存在し、さらにその が正であるための必要十分条件は であることを証明せよ。ただし、中間値の定理は用いてよい。
実数 に対して、 を超えない最大の整数を で表す。 を 以上の整数とし、 で定義された関数
を考える。開区間 において が連続でない点の個数を の式で表せ。曲線 を考える。ただし、 は自然対数とする。 を実数の定数とし、 軸上の点 を通る の接線がちょうど 本存在するような の値の範囲を求めよ。なお、必要ならば を用いてよい。
広義積分 の値を求めよ。
を実数の定数とする。 で定義された関数
を考える。ただし, は正の整数である。 が区間 で連続となるような の値の範囲を求めよ。なお,端点 , では,それぞれ右側,左側からの連続性を考えるものとする。を実数の定数とする。 についての方程式
が異なる 3 つの実数解をもつような の値の範囲を求めよ。ただし、 は自然対数の底であり、 を用いてよい。曲線 と、 軸上の点 を考える。ただし は実数の定数とする。点 を通る の接線がちょうど 本存在するような の値の範囲を求めよ。
を実数の定数とする。直線 と双曲線 が、 座標がともに正である異なる 2 点 , で交わるとする。このとき、線分 の中点の 座標のとりうる値の範囲を求めよ。
曲線 と点 を考える。ただし、 は実数の定数であり、 は自然対数である。点 を通る の法線がちょうど 本存在するような の値の範囲を求めよ。
実数 に対して、 を超えない最大の整数を で表す。 を実数の定数とし、すべての実数 に対して関数 を
で定める。 がすべての実数 で連続となるように定数 を定めたとき、方程式 を満たす正の実数 を求めよ。で定義された微分可能な関数 が、微分方程式 を満たし、さらに のとき がある有限の値に収束するとする。 の値を求めよ。
を 以上の整数とし、時刻 にそれぞれ正の金額 が支払われる債券を考える。連続複利の利回り に対して、この債券の価格を
とし、マコーレー・デュレーションを
で定める。このとき、関数 は 上で狭義単調減少であり、その値域は開区間 に一致することを証明せよ。ただし、微分可能な関数についての平均値の定理と中間値の定理は用いてよい。
, , , を定数とする。標準正規分布の密度関数と分布関数を
とし、ボラティリティ に対するヨーロピアン・コール・オプションのブラック・ショールズ価格を
で定める。 とおくとき、写像 は区間 から開区間 への全単射であることを証明せよ(すなわち、 に属する各価格 に対して となるインプライド・ボラティリティ がちょうど 1 つ存在し、 の値はすべて に属する)。ただし、 は 上で微分可能で であること、, , であること、および平均値の定理・中間値の定理は用いてよい。
実数全体で定義された関数 を考える。 を正の整数とし、 の第 次導関数を で表す。方程式 の異なる実数解すべてについて、その 乗の和を の式で表せ。
この技能の次に学べること
- の極限 (数学III 極限)
- 自然対数の底 (数学III 極限)
- 関数の連続性と中間値の定理 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 極限値が存在する条件と係数の決定 (数学III 極限)
- 計算量のオーダーの比較 (大学数学 アルゴリズムと計算量)