方程式 は、ただ 1 つの実数解 をもつ。 を満たす整数 を求めよ。
関数の連続性と中間値の定理
関数が連続かを判定し、中間値の定理で方程式の解の存在を示せる
前提
- 関数の極限 (数学III 極限)
この技能までの道筋(12 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
説明
関数のグラフが「切れ目なくつながっているか」を、極限を使って式で判定できるようになります。さらに、つながっている関数について、区間の両端で値の符号が違えば、その間で必ず になる点がある(中間値の定理)ことを使えます。これにより、方程式の解を具体的に求められなくても「この区間に解がある」と示せます。解のおおよその位置を調べるときにも使えます。
なぜそうしてよいのか
関数 が で連続であるとは、 が成り立つことです。これには 3 つの条件が含まれます。(1) が定義されている、(2) 極限 が存在する(左側極限と右側極限が一致する)、(3) その極限値が に等しい。グラフでいえば「 を に近づけると、 の値も での値そのものに近づく」ので、そこに穴や段差がありません。区間のすべての点で連続なら、その区間で連続といいます(閉区間 の端では、内側からの片側極限で考えます)。
極限の性質から、連続な関数どうしの和・差・積は連続で、商も分母が にならない点では連続です。 や定数関数は明らかに連続なので、多項式で表される関数はすべての実数で連続です。また、分数式で表される関数は、分母が でないすべての点で連続です。
中間値の定理: が閉区間 で連続で、 のとき、 と の間の任意の値 に対して となる が の範囲に少なくとも 1 つある。直観的には、切れ目のない線で点 から点 まで描くと、途中で水平線 を必ず横切る、ということです。特に と の符号が異なる()なら にとれるので、方程式 は の範囲に少なくとも 1 つ実数解をもちます。
手順
方程式を の形に移項し、左辺を関数 とおく。
調べる閉区間 で が連続であることを確かめる(多項式ならすべての実数で連続。分数式なら区間内で分母が にならないこと。場合分けされた関数なら、つなぎ目 で を確認)。
区間の両端の値 , を計算し、符号が異なること()を確かめる。
中間値の定理により、 となる が に少なくとも 1 つ存在する、と結論する。
例題
方程式 はただ 1 つの実数解をもつ( ならば かつ なので となり、左辺は増加する関数だから)。この実数解が区間 に含まれるような整数 を求めよ。
例題の解答
手順1: とおく。
手順2: は多項式で表される関数なので、すべての実数で連続である。特に閉区間 で連続。
手順3:、 で、符号が異なる。(参考:、 なので、整数での符号の変わり目は と の間だけである。)
手順4:中間値の定理により、 となる が に少なくとも 1 つ存在する。実数解はただ 1 つなので、その解は にある。区間 がこれを含む整数は のみ(整数 に対し区間 どうしは重ならない)。
よって 。
答え:
よくある誤り
連続でない関数に中間値の定理を使ってしまう誤り。たとえば は , だが、 で定義されず連続でないので、 の解は存在しない。正しくは、閉区間 全体で連続であることを先に確かめる。
極限が存在するだけで連続と判断してしまう誤り。たとえば で 、 とすると は存在するが と一致しないので、 で連続ではない。正しくは まで確認する。
中間値の定理で解が「ちょうど 1 つ」あるとしてしまう誤り。たとえば は , だが、 に解は の 3 つある。正しくは、定理が保証するのは「少なくとも 1 つ」であり、ただ 1 つと言うには増加・減少などの別の理由が必要。
と が同符号なら区間内に解はないとしてしまう誤り。たとえば は , だが、 に解 をもつ。正しくは、同符号のときは中間値の定理からは何も結論できない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
を実数の定数とする。関数 を
で定める。 が で連続であるとき, の値を求めよ。は実数の定数とする。実数 に対して、関数 を
で定める( は正の整数)。 がすべての実数 で連続であるとき、 の値を求めよ。を実数の定数とする。すべての実数 に対して、関数 を
で定める。ただし は正の整数である。 がすべての実数 で連続となるような の値を求めよ。を閉区間 上の実数値連続関数とし、平面の開集合
を考える。このとき
が成り立つことを証明せよ。ただし、次の事実は用いてよい。
- (変数変換公式) を平面の有界な開集合、 を 級の全単射で、逆写像も 級であり、ヤコビアン が 上で にならないものとする。 上の有界な連続関数 に対して が成り立つ(両辺の積分は存在する)。
- (累次積分) 上の有界な連続関数 ( は 上連続)について が成り立つ。を 以上の整数とし、複素多項式
を考える。 の零点(重複度を込めて数える)のうち、開円板 に含まれるものはちょうど 個であり、それは開区間 に属する実数であること、さらに残りの 個の零点はすべて円環 に含まれることを証明せよ。ただし、次のルーシェの定理と代数学の基本定理は用いてよい。
(ルーシェの定理) が閉円板 を含む領域で正則で、円周 上のすべての点で が成り立つならば、 と の開円板 内の零点の個数(重複度込み)は等しい。
を正の整数とし、 を実係数の 次モニック多項式、 を次数が 未満の実係数多項式(零多項式でもよい)とする。 とおき、すべての で が成り立つと仮定する( は虚数単位)。実数 に対し、多項式
を(開ループ伝達関数 の単位フィードバック系の)特性多項式とよび、 のすべての根の実部が負であるとき、ゲイン の閉ループ系は安定であるという。いま、 の閉ループ系は安定であり、さらに
が を満たすとする。このとき、
を満たすすべての正の実数 について、ゲイン の閉ループ系は安定であることを証明せよ。ただし、次の事実は証明なしに用いてよい: 次数 のモニックな複素係数多項式 について、その根の実部の最大値は係数 の連続関数である。
実数 に対して、 を超えない最大の整数を で表す。 を 以上の整数とし、 で定義された関数
を考える。開区間 において が連続でない点の個数を の式で表せ。区間 上のルベーグ測度を考える。実数値可測関数 で
を満たすもの全体を とする。 が 全体を動くとき、
のとりうる値の範囲を求めよ。区間 上のルベーグ測度を考える。実数値可測関数 で
を満たすもの全体を とする。 が 全体を動くとき、
のとりうる値の範囲を求めよ。を実数の定数とする。 で定義された関数
を考える。ただし, は正の整数である。 が区間 で連続となるような の値の範囲を求めよ。なお,端点 , では,それぞれ右側,左側からの連続性を考えるものとする。を実数の定数とする。 で定義された関数
が区間 で連続であるとする。ただし、 は を超えない最大の整数を表す。このとき、 の における最小値を求めよ。実数 に対して、 を超えない最大の整数を で表す。 を実数の定数とし、すべての実数 に対して関数 を
で定める。 がすべての実数 で連続となるように定数 を定めたとき、方程式 を満たす正の実数 を求めよ。複素数 についての方程式
の解のうち、実部が負であるもの( をみたすもの)の個数を、重複度を込めて求めよ。すべての実数 で定義された関数 が、 で連続で であり、すべての実数 に対して
を満たしている。 の値を求めよ。
この技能の次に学べること
- 平均値の定理 (数学III 微分法)
- 極限で定義された関数とその連続性 (数学III 極限)
- 二分法 (大学数学 数値解析)
- 基数の演算 (大学数学 集合と位相)
- 連結性と連結成分の個数 (大学数学 集合と位相)