問1
二次方程式 が正の解と負の解を 1 つずつもつような、定数 の値の範囲を求めなさい。
答えを見る答えを閉じる
( として )
目次 / 二次関数 / 数学I
—— 「解がどこにあるか」をグラフの形に翻訳して条件を決める ——
二次関数の分野の最後の章です。第7章の終わりで予告したように、「方程式の解が $1$ より大きい」「解の 1 つが $0$ と $1$ の間にある」のような、**解の位置**を条件にした問題を扱います。解そのものが文字を含んできれいに求まらなくても、グラフの**判別式・軸・端の点の $y$ 座標**の 3 つを見れば条件を書き出せます。後半では、文字を分離してグラフで考える方法、$x^2$ や $\lvert x \rvert$ を置きかえた方程式の解の個数、2 つの関数の大小と進み、第1章からの道具を総動員します。
第5章 j19 では、二次方程式の解が ときれいに求まったので、「解が に入る条件」を数直線だけで決められました。ところが、 の解は で、根号の中に文字が残ります。これを「」とおいて不等式を解くのは、たいへんな手間です。
そこで、解の式を追いかけるのをやめて、グラフの形で考えます。方程式 の解は、 のグラフと 軸の共有点の 座標でした(第1章 公式5・第6章)。解がどこにあるかは、放物線が 軸とどこで交わるかと同じことです。そして放物線の位置は、次の 3 つでほぼ決まります。
このように、方程式の解が数直線のどこにあるかを考える問題を、解の配置の問題といいます。この章では、とくに断らない限り の係数を正(グラフは下に凸)にそろえて考えます。係数が負なら、方程式の両辺に を掛ければ解は変わりません。
,判別式を ,軸を直線 とする。二次方程式 が
| 条件 | 判別式 | 軸 | 境目の値 |
|---|---|---|---|
| 異なる 2 つの解がともに より大きい | |||
| 異なる 2 つの解がともに より小さい |
「2 つの解(重解の場合も含む)」のときは、 を に変える。 のときは「ともに正」「ともに負」の条件になる。
図のように、2 つの解がともに の右にあれば、グラフは次の 3 つを満たしています。 軸と 2 点で交わる()、軸は 2 つの解の真ん中なので より右()、 は 2 つの解の外側なのでグラフは 軸より上()。
大事なのは、逆にこの 3 つがそろえば、2 つの解はともに より大きいと言い切れることです。1 つでも欠けると言い切れません。
料理コンテストの予選にたとえると、「味」「見た目」「制限時間」の 3 つの審査があるようなものです。味が抜群でも時間切れなら落ちますし、見た目が完璧でも味がひどければ通りません。3 つの審査はそれぞれ別の失敗を見張っていて、全部に合格したときだけ本選に進めます。解の配置の 3 条件も、それぞれが別の「はみ出し方」を締め出しているのです。
「2 つの解がともに より大きい(小さい)」は、判別式・軸・ の 3 つの条件を全部書き出し、共通部分をとれば求まるということです。
(1) 二次方程式 が異なる 2 つの正の解をもつような、定数 の値の範囲を求めなさい。
(2) (1) と同じ方程式が異なる 2 つの負の解をもつような、定数 の値の範囲を求めなさい。
(3) 二次方程式 の異なる 2 つの解がともに より大きくなるような、定数 の値の範囲を求めなさい。
【解答】
(1) とおきます。グラフは下に凸で、軸は直線 です。 のグラフが 軸の正の部分と異なる 2 点で交わる条件は、次の 3 つです。
3 つの共通部分をとって
第7章の終わりで予告した答えと同じです。
(2) 今度は 軸の負の部分と 2 点で交わる条件です。判別式と の条件は (1) と同じで、軸の条件だけが に変わります。 と と の共通部分をとって
(3) とおくと、軸は直線 です。
共通部分をとって
たとえば なら、方程式は で、解は 。 なので、小さいほうも で、確かに より大きくなっています。
のとき、 の 1 つの解が より小さく、他の解が より大きくなる条件は
公式1では 3 つも条件が必要でしたが、こちらは の1 つだけで足ります。 でグラフが 軸より下にあれば、下に凸の放物線は、そこから左へ進んでも右へ進んでもやがて上がっていき、必ずどこかで 軸を横切るからです。2 点で交わるので も自動的に成り立ち、別に調べる必要はありません(厳密定義のページで確かめます)。
一本道の途中に、通行止めの工事区間があるとします。自分がいま工事区間の中にいると分かれば、区間の始まりは自分より手前に、終わりは自分より先に、必ずあります。「区間の端が本当に 2 つあるか」を別に確かめる必要はありません。 は「 が工事区間(2 つの解にはさまれた部分)の中にいる」という情報なのです。
「 が 2 つの解の間にある」は の 1 つだけで決まり、判別式も軸も調べなくてよいということです。
(1) 二次方程式 が正の解と負の解を 1 つずつもつような、定数 の値の範囲を求めなさい。
(2) 二次方程式 の 1 つの解が より小さく、他の解が より大きくなるような、定数 の値の範囲を求めなさい。
(3) 二次方程式 の 1 つの解が より小さく、他の解が より大きくなるような、定数 の値の範囲を求めなさい。
【解答】
(1) とおくと、条件は です。
(2) とおくと、条件は です。
(3) とおくと、 と がともに 2 つの解の間にあればよいので、条件は かつ です。
(3) で だけにすると、「 は 2 つの解の間にある」ことしか分からず、大きいほうの解が を超えるとは限りません。2 つの点それぞれについて「間にある」を課します。
,軸を直線 とする。
(A) 異なる 2 つの解がともに にある
(B) にただ 1 つの解がある
(A) は公式1を両側から使ったものです。左の端 に対しては「ともに より大きい」、右の端 に対しては「ともに より小さい」を課すので、判別式・軸・両端の値で 4 つの条件になります。
(B) の は、「 と の一方が正で他方が負」という意味です。 と でグラフが 軸の反対側にいるので、その間で少なくとも 1 回は 軸を横切ります。二次関数のグラフが 軸と交わるのは多くても 2 回で、もう 1 つの解は範囲の外にあることも言えるので、ちょうど 1 つです(厳密定義のページで確かめます)。
朝、A 県の家を出た人が、昼に B 県の職場にいたなら、その間に必ず県境をまたいでいます。どこでまたいだかは分からなくても、「またいだこと」は出発点と到着点の 2 か所を見るだけで確かめられます。 と の符号が反対なら、その間で 軸(県境)をまたいでいるのです。
ただし、端の点がちょうど解になる()場合は、県境の上に立っているようなもので、 の判定からもれます。範囲に端を含むか含まないかによって答えが変わるので、その値のときの解を実際に求めて確かめます。
範囲の中に解が 2 つなら判別式・軸・両端の値の 4 条件、ただ 1 つなら両端の値の符号が反対であることを使い、端の点が解になる場合と重解の場合は別に確かめるということです。
(1) 二次方程式 の異なる 2 つの解がともに の範囲にあるような、定数 の値の範囲を求めなさい。
(2) 二次方程式 が の範囲にただ 1 つの解をもつような、定数 の値の範囲を求めなさい。
【解答】
(1) とおくと、軸は直線 です。
4 つの共通部分をとって
(2) とおくと、, です。
のとき
このとき にただ 1 つの解があります。
端の点が解になるとき
重解が範囲に入るとき より 。重解はそれぞれ で、どちらも範囲に入りません。
以上から
方程式が (左辺に文字 を含まない)の形に変形できるとき
第6章の公式4で、 の解の個数を「 を分離してグラフを固定する」方法で数えました。解の配置でも、方程式から文字だけを右辺に移せるなら、この方法がいちばん速く確実です。公式1〜3のように判別式・軸・端の値を組み合わせる必要がなく、固定した 1 本の放物線と、水平に動く 1 本の直線だけを見ればよいからです。
ビルの窓ふきのゴンドラを思い浮かべてください。建物の外壁が曲がっていても、ゴンドラは水平のまま上下に動くだけです。ある高さで外壁に何か所触れるかは、壁の形を 1 回描いておけば、ゴンドラの高さを変えながら読み取れます。動くものを「水平な直線」1 本にまとめるのが、文字を分離するねらいです。
一方、 のように文字が と掛け合わされていると、 だけを右辺に集めても左辺が二次関数になりません()。そういうときは、公式1〜3のグラフの位置関係で考えます。
文字を の形に分離できれば、固定した放物線と水平な直線 の共有点を数えるだけで、解の配置も解の個数も分かるということです。
の方程式 について、次の問いに答えなさい。
(1) の範囲に少なくとも 1 つの解をもつような、定数 の値の範囲を求めなさい。
(2) の範囲にある解の個数を、 の値によって場合分けして求めなさい。
【解答】
方程式は と変形できます。 とおくと、解は のグラフと直線 の共有点の 座標です。
(頂点),, です。
(1) での の値域は、最小値 ()、最大値 ( の端)なので 。 がこの範囲にあればよいので
(2) 直線 を下から上へ動かして、共有点を数えます。
境目の と は、実際に解いて確かめます。 なら で (2 個とも範囲内)、 なら で範囲内は の 1 個です。
と置きかえると、 の値 1 つに対して の値は
| の値 | 対応する | 個数 |
|---|---|---|
| 2 個 | ||
| 1 個 | ||
| なし | 0 個 |
でも同じ表になる。 の方程式の解の個数は、 の方程式の解がどこにあるか(,, のどれか)を調べて、表の個数を足し合わせて求める。 のように置きかえたときは、 で 2 個、 で 1 個、 で 0 個になる。
は四次方程式ですが、 とおけば という二次方程式になります(第5章 公式4で使った置きかえです)。ただし、 の解が 1 つ見つかっても、 の解が 1 つとは限りません。
ペアチケットにたとえると分かりやすいでしょう。 の解は「2 人で入れるペアチケット」で、 と の 2 人が入場できます。 の解は「1 人用のチケット」で、 しか入れません。 の解は「期限切れのチケット」で、だれも入れません。 の解の個数は、手元にあるチケットの種類を調べて、入場できる人数を合計したものです。
の解が正か負か かを調べるのは、まさに公式1・2の解の配置です。この章の前半の道具が、そのまま使えます。
置きかえた方程式では、 の解 1 つが の解いくつに当たるかを表で確かめ、 の解の配置から の解の個数を数えるということです。
の方程式 の異なる実数解の個数を、定数 の値によって場合分けして求めなさい。
【解答】
とおくと ,つまり です。 とおき、 のグラフと直線 の共有点の 座標を、 と と に分けて調べます。 です。
のとき、方程式は で、解は の 3 個です。 が「1 人用のチケット」になる、ちょうど境目の場合です。
最後に、2 つの関数の値を比べる問題です。「すべての」「ある」(第7章 小話3)が、どこに掛かっているかで条件が変わります。
範囲 (両端を含む)で、関数 , の最大値・最小値があるとする。
| 条件 | 言いかえ |
|---|---|
| すべての について | の最小値 |
| ある について | の最大値 |
| すべての , について | の最大値 の最小値 |
| ある , について | の最小値 の最大値 |
(,, はすべて の中で考える。)
上の 2 行は、同じ での値どうしを比べるので、差 を 1 つの関数として扱います。下の 2 行は、 と を別々に選べるので、 と をそれぞれ単独で調べて、いちばん不利な組(または有利な組)を比べます。
リンゴの箱とミカンの箱で考えてみましょう。「どのリンゴも、どのミカンより重い」と言えるのは、いちばん軽いリンゴが、いちばん重いミカンより重いときです。全部の組を量らなくても、この 1 組だけで決まります。一方、「あるリンゴが、あるミカンより重い」なら、いちばん重いリンゴがいちばん軽いミカンより重ければ十分です。どちらも、それぞれの箱の中の「いちばん」を探す作業になります。
同じ で比べるなら差の関数の最小値・最大値、 と を別々に選べるなら と それぞれの最大値・最小値を比べるということです。
, とします。,, はすべて の範囲で考えます。
(1) すべての について となるような、定数 の値の範囲を求めなさい。
(2) すべての , について となるような、定数 の値の範囲を求めなさい。
(3) ある , について となるような、定数 の値の範囲を求めなさい。
【解答】
(1) とおきます。上に凸で、軸 は のちょうど真ん中なので、最小値は軸から遠い両端でとり、 です。
(2) は、軸 から遠い端 で最大値 をとります。 は、軸 から遠い端 で最小値 をとります()。条件は「 の最大値 の最小値」なので
(3) の最小値は 、 の最大値は です。条件は「 の最小値 の最大値」なので
3 つの答え ,, を比べると、(2) がいちばん厳しく、(3) がいちばんゆるい条件です。(1) は「同じ どうし」だけを比べるので、その中間になります。
この分野では、関数とグラフの基本(第1章)から始めて、平方完成(第2章)、最大・最小(第3章)、式の決定(第4章)、二次方程式(第5章)、判別式(第6章)、二次不等式(第7章)と進み、この章で「解の位置」までたどり着きました。
どの章にも共通していたのは、式の問題をグラフの言葉に翻訳するという考え方です。
| 式の言葉 | グラフの言葉 |
|---|---|
| 最大値・最小値 | いちばん高い点・低い点(軸との距離) |
| 方程式 の実数解 | 軸との共有点 |
| 判別式 の符号 | 頂点が 軸より上か下か |
| 不等式 の解 | グラフが 軸より上にある範囲 |
| 解の配置 | 判別式・軸・端の値で決まる放物線の位置 |
この翻訳は、このあと学ぶ図形と方程式(放物線と円・直線、不等式の表す領域)や、微分積分(接線、一般の関数の最大・最小)でも、形を変えて何度も使います。
まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。
問1
二次方程式 が正の解と負の解を 1 つずつもつような、定数 の値の範囲を求めなさい。
( として )
問2
二次方程式 の 1 つの解が より小さく、他の解が より大きくなるような、定数 の値の範囲を求めなさい。
()
問3
二次方程式 が異なる 2 つの正の解をもつような、定数 の値の範囲を求めなさい。
(,軸 , の共通部分)
問4
の方程式 が の範囲に解をもつような、定数 の値の範囲を求めなさい。
( の値域。最小値 ()、最大値 ())
問5
方程式 の実数解を求めなさい。
( で、 を満たす実数はない)
難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。
問1 ★
二次方程式 が (1) 異なる 2 つの正の解をもつ、(2) 異なる 2 つの負の解をもつ、ような定数 の値の範囲を、それぞれ求めなさい。
(1) (2)
とおくと、軸は直線 です(公式1)。
(1) 軸について ,つまり 。3 つの共通部分をとって
(2) 軸について ,つまり 。3 つの共通部分をとって
判別式と の条件は (1) と (2) で共通で、軸の条件だけが入れかわります。
問2 ★
(1)
(2) ()
上の (1),(2) の二次方程式が正の解と負の解を 1 つずつもつような、定数 , の値の範囲を、それぞれ求めなさい。
(1) (2)
(1) の係数は正なので、 として が条件です(公式2)。
(2) の係数 の符号が分からないので、両辺を で割って の係数を にします。
左辺を とおくと、条件は です。分母と分子の符号が反対なので、両辺に を掛けて
公式2の「」をそのまま使っても、 になります。
問3 ★
二次方程式 の 1 つの解が より小さく、他の解が より大きくなるような、定数 の値の範囲を求めなさい。
とおくと、条件は だけです(公式2)。
判別式を別に調べる必要はありません。 なら、下に凸のグラフは の左右で 1 回ずつ 軸を横切るので、 は自動的に成り立ちます。たとえば なら で、解 は確かに をはさんでいます。
問4 ★
二次方程式 の 2 つの実数解(重解の場合も含む)がともに より大きくなるような、定数 の値の範囲を求めなさい。
とおくと、軸は直線 です。重解も含むので、判別式は とします(公式1)。
共通部分をとって
のとき方程式は で、重解 は確かに より大きくなります。「異なる 2 つの解」なら です。
問5 ★
二次方程式 の 1 つの解が より小さく、他の解が より大きくなるような、定数 の値の範囲を求めなさい。
とおきます。 と がともに 2 つの解の間にあればよいので、条件は かつ です(公式2)。
たとえば なら で、解は 、つまり約 と約 です。
問6 ★
の方程式 が の範囲に少なくとも 1 つの解をもつような、定数 の値の範囲を求めなさい。
方程式は と変形できます(公式4)。 とおくと、条件は「 が の値域に入る」ことです。
軸 は範囲に入るので最小値は 。両端は , ですが、どちらも範囲に含まれないので、その値はとりません。軸から遠いのは の側なので、値域は
よって
では、直線 と 2 点で交わります(どちらも範囲内)。 では、軸の右側の 1 点だけが範囲内です。「少なくとも 1 つ」なので、どちらも含めます。
問7 ★
(1)
(2)
上の (1),(2) の方程式の実数解を、それぞれ求めなさい。
(1) (2)
(1) とおくと、 より 。どちらも正なので、それぞれ が 2 つずつ出ます(公式5)。
(2) とおくと、 です。 より で、どちらも を満たします。
は の最小値にあたり、 は 1 つしか対応しません。
問8 ★
(1) すべての実数 について が成り立つような、定数 の値の範囲を求めなさい。
(2) , とします。, を満たすすべての , について となるような、定数 の値の範囲を求めなさい。
(1) (2)
(1) 同じ どうしを比べるので、差をとります(公式6)。
が、すべての で成り立つ条件は、 の係数 なので です(第7章 公式4)。
(2) と を別々に選べるので、条件は「 の最小値 の最大値」です。
問9 ★★
二次方程式 の異なる 2 つの解がともに の範囲にあるような、定数 の値の範囲を求めなさい。
とおくと、軸は直線 です。公式3 (A) の 4 条件を調べます。
4 つの共通部分をとって
で確かめると、方程式は 、解は 、つまり約 と約 で、ともに に入っています。
問10 ★★
重解は 1 つの解と数えることにします。二次方程式 が の範囲にただ 1 つの解をもつような、定数 の値の範囲を求めなさい。
とおくと、, です。 は によらず、 は解になりません。
のとき なので 、つまり 。このとき にただ 1 つの解があり、もう 1 つの解は負です( より は 2 つの解の間)。
のとき で、方程式は 、解は 。どちらも範囲に入るので 2 個になり、不適です。
重解のとき より 。重解は なので、 のとき で範囲に入り、適します。 のときは で不適です。
それ以外 かつ で異なる 2 つの解があるときは、2 つとも範囲に入るか、2 つとも入らないかのどちらかなので、ただ 1 つにはなりません。
では、公式3 (A) の条件がそろって 2 つの解がともに範囲に入ります。「ただ 1 つ」の問題では、両端の値の符号だけでなく、端点と重解を必ず調べます。
問11 ★★
の二次方程式 が異なる 2 つの正の解をもつような、定数 の値の範囲を求めなさい。
二次方程式なので です。両辺を で割って、 の係数を にします。
左辺を とおくと、軸は直線 です(公式1)。
共通部分をとって、 も満たすので
割らずに の係数 のまま考えると、 のときグラフが上に凸になって、 の符号の条件が逆になります。先に係数をそろえるほうが間違えにくくなります。
問12 ★★
二次方程式 の 1 つの解が ,他の解が の範囲にあるような、定数 の値の範囲を求めなさい。
とおきます。グラフは下に凸なので、条件は「 で上、 で下、 で上」です。
共通部分をとって
と から にただ 1 つ、 と から にただ 1 つの解があります(公式3 (B))。解は全部で 2 つなので、これで配置が決まります。 で確かめると、 の解は約 と約 です。
問13 ★★
の方程式 が異なる 4 つの実数解をもつような、定数 の値の範囲を求めなさい。
とおくと、 です。 の解 1 つから は 2 つ、 からは 1 つ、 からは 0 個出ます(公式5)。 の解が 4 つになるのは、 の方程式が異なる 2 つの正の解をもつときだけです。
とおくと、軸は です(公式1)。
共通部分をとって
なら で、(約 と約 )はともに正、 は 4 つ出ます。
問14 ★★
の方程式 の の範囲にある解の個数を、定数 の値によって場合分けして求めなさい。
方程式は と変形できます(公式4)。 とおき、直線 との共有点を数えます。
(頂点),(左端・含む),(右端・含まない)です。
右端を含まないので、 は「0 個」の側に入ります。境目で個数が変わるかどうかは、範囲の端を含むかどうかで決まります。
問15 ★★
, とします。,, はすべて の範囲で考えます。
(1) ある について となるような、定数 の値の範囲を求めなさい。
(2) ある , について となるような、定数 の値の範囲を求めなさい。
(1) (2)
(1) 同じ で比べるので差をとります。。条件は「 の最大値 」です(公式6)。軸 は範囲に入るので、最大値は 。
(2) 条件は「 の最小値 の最大値」です。
(2) のほうが条件がゆるいのは、 と で別々に都合のよい を選べるからです(,)。(1) では同じ しか使えません。
問16 ★★
周の長さが cm で、面積が cm² の長方形(正方形を含む)をつくります。どの辺の長さも cm 以上であるような長方形がつくれる、定数 の値の範囲を求めなさい。
縦を cm とすると、横は cm です。どの辺も cm 以上なので
面積の条件は です。 とおくと、この範囲に解をもつ条件は「 が の値域に入る」ことです(公式4)。
軸 は範囲内で最大値 、軸から等しい距離の両端で最小値 をとるので
解の配置で考えることもできます。 は の解で、横 はもう 1 つの解です。2 つの解(重解を含む)がともに 以上である条件は、,軸 , で、同じ答えになります。 は正方形(1 辺 cm)、 は cm × cm の長方形です。
問17 ★★★
の方程式 の異なる実数解の個数を、定数 の値によって場合分けして求めなさい。
とおきます。 の値 1 つに対する の個数は、 なら 2 個、 なら 1 個()、 なら 0 個です(公式5)。異なる からは異なる が出るので、個数はそのまま足せます。
の方程式は です。 とおき、 と直線 の共有点の 座標が より大きいか、ちょうど か、小さいかを調べます。(頂点), です。
座標の境目 に対応する が、個数の変わり目になるのがポイントです。 だけを見て「 の解が 2 個だから は 4 個」と決めつけないようにします。
問18 ★★★
二次方程式 が の範囲に少なくとも 1 つの解をもつような、定数 の値の範囲を求めなさい。
だけを分離すると となり、二次関数になりません。そこでグラフの位置関係で考えます。 とおくと、軸は ,,, です。
「少なくとも 1 つ」は、次の 3 つの場合に分けられます。
(i) 2 つの解(重解を含む)がともに にある(公式3 (A) の 版)
共通部分は 。
(ii) ただ 1 つの解が にあり、端の点は解でない:
(iii) 端の点が解になる
(i)〜(iii) を合わせて
では、()か、 でも 2 つの解がともに 以下(。軸が負で )なので、範囲に解はありません。例題3(1) の「2 つとも入る」に、「1 つだけ入る」「端で決まる」を足した形です。
問19 ★★★
, とし、, はどちらも の範囲で考えます。
(1) どの に対しても、 を満たす が存在するような、定数 の値の範囲を求めなさい。
(2) ある が存在して、どの に対しても となるような、定数 の値の範囲を求めなさい。
(1) (2)
で、 は軸 の右側なので増加し、最小値 、最大値 。 は軸 の左側なので増加し、最小値 、最大値 です。
(1) を 1 つ決めるごとに、 は後から選べます。 となる があるのは、 のときです。これがすべての で成り立つには、 の最大値でも成り立てばよいので
(2) を先に 1 つ決め、どの に対しても 、つまり となればよいです。そのような があるのは、 の最小値がこれを満たすときなので
「すべて」と「ある」の順番を入れかえると、比べる相手が変わります。(1) は「 の最大値 の最大値」、(2) は「 の最小値 の最小値」です。公式6の表の 4 通りと合わせて、どの値どうしを比べるのかを、言葉を 1 つずつ読み解いて決めます。
問20 ★★★
の方程式 の異なる実数解の個数を、定数 の値によって場合分けして求めなさい。
とおくと、 なので です。 の解 1 つから の 2 個、 から の 1 個、 からは 0 個出ます(公式5)。
が と掛け合わされていて分離できないので、 のグラフの位置で考えます。軸は ,, です。
境目の候補は、 になる と、 になる です。軸の符号が変わる は の範囲にあるので、個数には影響しません。境目をすべて書き出してから、その間の区間を 1 つずつ調べると、もれがなくなります。
学校やマンションの重い扉の上には、よく金属の箱と腕がついています。ドアクローザーという装置で、中には扉を閉める向きに引っぱるばねと、動きにブレーキをかける油入りのダンパーが入っています。手を離した扉が、勢いよくぶつからず、すーっと静かに閉まるのはこのおかげです。
ばねとダンパーで動くものの動き方は、ある二次方程式の解で決まることが知られています。扉の重さに関係する数を 、ダンパーの強さを 、ばねの強さを とすると、それは
という (ラムダ)の方程式です(導き方は大学で学ぶ「微分方程式」の内容です)。この解 が負なら、扉の開き具合は時間とともに に近づき、正なら逆にどんどん大きくなってしまいます。
, として、ダンパーの強さ を変えてみます。方程式は ,判別式は です。
判別式の符号が、そのまま「揺れるか、揺れないか」の分かれ目になっているのです。設計する人は、 の近くになるようにダンパーの強さを選ぶ、と説明されることがあります(※実際の製品は、閉まる速さを調整ねじで変えられるものが多く、設定は使う場所によって違います)。
では、 のとき、2 つの解がともに負になるのはなぜでしょう。この章の公式1がそのまま使えます。 とすると、軸は , です(,)。「判別式・軸・」の 3 条件がそろうので、2 つの解はともに負。ばねとダンパーが正しい向きに働いてさえいれば、扉は必ず止まる、ということが解の配置で確かめられます。
豆知識
もっと複雑な機械では、方程式が三次・四次……と高くなり、「すべての解が負(虚数解なら実部が負)になるか」を解かずに判定する方法が必要になります。19 世紀の終わりに、イギリスのラウスとドイツのフルビッツが、係数だけで判定する方法をそれぞれ見つけました(※発表年は 1877 年・1895 年とされます)。二次方程式の場合、その答えは「係数 ,, がすべて同じ符号」という、この小話の結論と同じ形になります。
この章では、二次方程式の解が範囲に何個あるかを、判別式・軸・端の値で調べました。では、五次や十次の方程式ではどうでしょう。解の公式はありませんし(数と式 第12章)、グラフの形も複雑です。それでも「 に実数解がいくつあるか」を、解を 1 つも求めずに、正確に数える方法があります。1829 年にフランスで発表されたシュトゥルムの定理です(※発表年は 1829 年とするのが一般的です)。
やり方を で試してみます。
| 符号の並び | 変わる回数 | ||||
|---|---|---|---|---|---|
定理によると、 にある実数解の個数は、変わる回数の差 個です。実際に解くと 、つまり約 と約 で、範囲に入るのは確かに 1 個です。 で数えると符号の並びは (2 回)なので、 には 個あることも分かります。
この方法は、どんな次数の方程式にも同じ手順で使えます。割り算をくり返して を作るだけなので、コンピューターにも向いています。数式を扱うソフトウェアが、方程式の実数解を 1 つずつ区間に閉じ込めるときの基本的な道具の 1 つとして使われてきました(※実際のソフトウェアでは、より速い別の方法を使うことも多いです)。
豆知識
シャルル・シュトゥルム(1803〜1855)はジュネーブ生まれの数学者です。若いころ、友人のコラドンと一緒にジュネーブのレマン湖で、水中を伝わる音の速さを測りました(1826 年)。一方の船で水中の鐘を鳴らすと同時に火薬を光らせ、約 km 離れたもう一方の船で、光が見えてから音が届くまでの時間を測ったそうです(※距離や測定値は文献によって少し違います)。
数と式 第11章では、二次方程式の 2 つの解 , の和と積が係数から分かる「解と係数の関係」を学びました。これを使えば、解の配置も解けそうです。たとえば「2 つの解がともに正」は
と言いかえられます(, が実数のとき)。積が正なら 2 つは同じ符号で、和が正ならその符号は正、というわけです。
では、「ともに より大きい」はどうでしょう。うっかり
と書きたくなります。左から右は正しいのですが、右から左が成り立ちません。, とすると、和は ,積は で右側を満たすのに、 は より小さいのです。
正しくは、「ともに正」の形を使えるように、 だけずらした , で考えます。
さて、ここからが面白いところです。 の係数が の方程式 なら、 と書けるので
です。つまり「ずらした積が正」は、この章の「」そのものです。そして「ずらした和が正」は 、軸が より右という条件です。さらに、解と係数の関係は , が実数でなくても成り立つので、実数であることを保証する も欠かせません( は和も積も正ですが、実数解がありません)。
解と係数の関係から出発しても、グラフから出発しても、たどり着くのは同じ「判別式・軸・」の 3 条件でした。違う道から同じ場所に着くとき、その場所がたしかに正しいという安心感が得られます。
豆知識
3 つの実数 ,, についても、「すべて正」「,,」が成り立ちます。 を に代入すると、4 つの項がどれも 以下で、最後の項は負になるので、値は負。だから 以下の解はない、という仕組みです。
※ここは発展ページです。高校の範囲では、公式1〜6の手順が使えれば十分です。「判別式・軸・ の 3 条件で本当に過不足がないのか」「 だけでよいのはなぜか」「 ならちょうど 1 つと言えるのはなぜか」——が気になる人のために、根拠を示します。
以下、,,軸を ()とします。 のとき、 の実数解を とすると、(第4章の分解形)であり、 です(第2章 定理4)。
実数の集合 (範囲)に対し、方程式 の実数解のうち に属するものの個数を、 にある解の個数という。重解は 1 個と数える。
「異なる 2 つの解がともに にある」とは、 かつ , であることをいい、「2 つの解(重解を含む)がともに にある」とは、 かつ , であることをいう。
「解の配置」の問題は、定義1の条件を、係数 ,, の不等式で表すことです。解 , は係数の複雑な式(根号を含む)なので、根号を含まない条件に書きかえるのがねらいです。
実数 について
証明 () なら で、 から ,。 なので 。
()平方完成すると で、 だから
よって で、()と書ける。 と から で、第7章 定理1 より 。
この定理の要点は、 の中に「」がすでに含まれていることです。グラフが一度でも 軸より下に出れば、頂点はそれより低いので、頂点の 座標 は負になります。公式2で判別式を調べなくてよい理由は、これです。
実数 について
を に、 を に変えても成り立つ。「ともに より小さい」は を に変えたものになる。
証明 () なら、。また , だから 。
() から ()と書ける。 から で、 または (第7章 定理1。 のときは で、 または )。
もし なら、 となって に反する。よって で、。
証明の (⇐) を見ると、3 つの条件の役割がはっきりします。 は「, が存在する」ため、 は「 が 2 つの解の外側にある」ため、 は「外側のうち左側である」ためです。どれか 1 つを外すと、次のような反例があります。
| 外す条件 | 反例(,ともに正を目指す) | 成り立たない理由 |
|---|---|---|
| (,) | 実数解がない | |
| (,) | 解は でともに負 | |
| (,) | 解は で一方が負 |
とする。 ならば、方程式 は の範囲にただ 1 つの実数解をもつ。
証明 , の一方は負なので、定理1 より で、異なる 2 つの実数解 がある。
の場合:定理1 より 。 だから または だが、 なので 。よって で、 にある解は だけである。
の場合:同様に で、 かつ は の外なので 。よって で、範囲にある解は だけである。
この定理は、微分積分で学ぶ中間値の定理(つながったグラフが 軸の反対側に移るなら、途中で必ず 軸を通る)の、二次関数の場合にあたります。一般の関数では「少なくとも 1 つ」までしか言えませんが、二次関数は 軸と多くても 2 回しか交わらないので「ただ 1 つ」まで言い切れます。
逆は成り立ちません。 にただ 1 つの解があっても、端の点が解のとき( で、もう 1 つの解が範囲内)や、重解が範囲内にあるときは や になります。公式3 (B) で「別に調べる」としたのは、この逆が成り立たない部分です。
関数 について、実数 に対する方程式 の実数解の個数を とすると
さらに、 なら の解と の解に共通のものはない。したがって、 の方程式 の相異なる実数解を とすると、 の相異なる実数解の個数は である。
証明 は第5章 定理2 そのもの。 が と の両方の解なら となり、 に反する。 で、右辺を満たす の集合は、互いに共通部分のない集合 の和集合だから、個数は和になる。
でも は同じ表になり、 なら ,, で になります。証明の後半(「異なる からは異なる 」)は、 が関数である(1 つの に値が 1 つだけ決まる、第1章 定義1)ことだけを使っています。だから、個数をそのまま足してよいのです。
範囲 で , が最大値・最小値をもつとし、それぞれ , などと書く。, は を動くとする。
(i) すべての , について
(ii) ある , について
(iii) すべての に対して、ある について
(iv) ある について、すべての に対して
証明 (i)()どの , でも 。(), となる , が にある(最大値・最小値は実際にとる値、第1章 定義3)。, とおけば 。
(ii)(), となる , をとれば、, で成り立つ。()ある , で 。
(iii) 各 について、「ある で 」 ((ii) と同じ議論)。これがすべての で成り立つ ((i) と同じ議論で、 の最大値をとる を代入)。
(iv) ある について、「すべての で 」 。そのような がある 。
証明の中で何度も「最大値をとる点 がある」ことを使いました。範囲 が両端を含まないと、最大値そのものがないことがあります(第1章 定理3)。たとえば が ,, なら、すべての , で が成り立ちますが、 に最大値はありません。そのときは、最大値の代わりに「 がとる値の範囲の上の端」と比べ、等号を含むかどうかを慎重に判断します。この「上の端」をきちんと扱うのが、大学で学ぶ上限(sup)という考え方です。
また、(iii) と (iv) は、「すべての」と「ある」の順番を入れかえただけで、比べる相手が変わることを示しています。第7章 小話3の記号で書けば、(iii) は ,(iv) は です。この 2 つは、どちらか一方からもう一方を導くことはできません。 のとる値が 以上 以下、 のとる値が 以上 以下なら (iv) だけが成り立ち( だが )、 がつねに 、 のとる値が 以上 以下なら (iii) だけが成り立ちます( だが )。
この章の学習が終わったら
学習完了テストを受ける