極限の問題
を実数の定数とする。 で定義された関数
を考える。ただし, は正の整数である。 が区間 で連続となるような の値の範囲を求めよ。なお,端点 , では,それぞれ右側,左側からの連続性を考えるものとする。
この問題で使うもの
- 極限で定義された関数とその連続性(説明と入口の問題)
- 無限等比数列 の極限(説明と入口の問題)
- 関数の連続性と中間値の定理(説明と入口の問題)
- 関数の極限(説明と入口の問題)
この問題を解けるようになるまで(29 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
とおき,,, の 3 つの場合に分けて を求めてみよう。
ヒント 2
となる点では である。その点の右側では は または になる。連続になりうる点はどこか考えよう。また, であることと中間値の定理を使おう。
ヒント 3
が連続であるための条件は「 で 」となる。 で割ると となるので,これが のすべての で成り立つ条件を調べよう。上限がとられないことに注意。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
とおく。 であることに注意して,極限を場合分けして求める。
(i) のとき: より 。
(ii) のとき: 分母・分子を で割ると
(iii) のとき: より 。
必要条件: を満たす で となるものがあるとする。このとき である。 は 2 次関数なので, を満たす は有限個しかない。よって,十分小さい をとると,区間 では である。この区間では は にならない連続関数なので,中間値の定理より符号は一定である。したがって,この区間全体で であるか,全体で であるかのどちらかである。
- 全体で のとき, である。連続であるためには ,すなわち が必要であり, に反する。
- 全体で のとき, である。連続であるためには ,すなわち が必要であり,やはり矛盾する。
よって, が連続であるためには, で であることが必要である。さらに であり, は連続なので,中間値の定理より で でなければならない(もし となる があれば, と の間に となる点が存在してしまう)。
十分条件: で であるとする。このとき で であり,この範囲で は連続である。また,連続性より である。
- ならば
- ならば
いずれの場合も となり, でも連続である。
以上より,求める条件は「 を満たすすべての に対して 」である。 では なので常に成り立つ。以下では で考え,両辺を で割る。
上側 : と同値である。 は で単調に増加し, のとき に近づくが,その値はとらない。よって, のすべての で が成り立つ条件は ,すなわち である。
下側 : と同値である。相加平均・相乗平均の関係より であり,等号は ( に含まれる)のとき成り立つ。よって, における の最小値は であり,条件は ,すなわち である。
したがって,求める範囲は
(確認: のとき, であり, では負, でちょうど になる。このとき となり連続である。)
別解
とおく。 のとき は、 なら 、 なら 、 なら に向かう。よって
のとき 、 のとき 、 のとき である。
なので、 の近傍では となり、 で連続である。
で となる点 があるとする。その点の近傍のうち の部分では、 か のどちらかである。
- の側では、連続であるために 、すなわち が必要。
- の側では、連続であるために 、すなわち が必要。
いずれも と矛盾するので、 では でなければならない。 は連続で だから、 で常に となる。このとき である。
では、 のとき または となり、いずれも と一致する。したがって連続である。 は連続性から自動的に満たされる。
以上より、条件は で となることである。
では と同値で、 となる。
- は で単調増加で、上限は ( は含まれないので到達しない)。よって 。
- の での最小値は のときの で、これは達成される。よって 。
ゆえに である。
検算: のとき 。最小値は で 、 なので、 で を満たす。 では が に近づき、 のとき となって不連続になる。