解の分離　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　

　「解の分離」と聞いて、「あ〜、あれか！」と思われた方は、相当年配の方だろう。最近の
用語では、「解の配置」とか「解の符号」などと言われている。
（因みに、私は、「２根の配置」で学んだ世代です！）

　２次方程式の解は、解の公式を用いれば完璧に求められる。次の話題は、その解が数
直線上でどのような位置にあるかを問うものだろう。これが、「解の配置」と言われる所以
だ。

　例えば、「正の解と負の解を持つ」と言えば、「解の符号」問題だが、２つの解の間に「０」
が分け入って、２つの解を分離していると考えれば、「解の分離」問題になる。

　次の問題は、「解の分離」という言葉を理解するには打って付けだろう。

　定数 ａ＞０　とする。２次方程式 ｘ²＋ａｘ−１＝０　の２つの実数解のうち、ちょうど
１つの解だけが、２次方程式 ｘ²−ｘ−ａ＝０　の２つの実数解の間にあることを示せ。
（→証明はこちら）

　このページでは、「解の分離」について世に知られている所を、まとめてみようと思う。

代表的例題

　２次方程式 ｘ²−２ｍｘ＋ｍ＋２＝０　が次のような解を持つように定数 ｍ の値の範
囲を求めよ。

（１）　２つの解がともに正

（２）　異符号の解を持つ

　解法は、いくつか考えられるが、代表的なものをあげておこう。

（解と係数の関係を利用する解）

（１）　題意を満たすためには判別式を Ｄ とすると、 Ｄ≧０　で、かつ、２つの解 α 、 β に

　ついて、　α＋β＞０　、　αβ＞０　であることが必要十分である。

　　よって、　Ｄ/４＝ｍ2−ｍ−２＝（ｍ−２）（ｍ＋１）≧０　より、　　ｍ≦−１　、ｍ≧２

　解と係数の関係より、　α＋β＝２ｍ＞０　より、　ｍ＞０

　αβ＝ｍ＋２＞０　より、　ｍ＞−２

　　

　よって、求めるｍの値の範囲は、　ｍ≧２

（２）　題意を満たすためには、　αβ＜０　であることが必要十分である。

　よって、　ｍ＋２＜０　より、　ｍ＜−２　　（終）


（コメント）　私が解の分離問題を初めて学んだのは、高校１年の時。なかなか使いこなせ
　　　　　　なかった思い出がある。しかし、受験勉強で鍛えられたせいか、今は苦にならな
　　　　　　い。むしろ「解の分離」という言葉の響きを楽しめる境地になった。

　解の分離問題は、関数のグラフを用いる解法が最も考えやすく分かり易いだろう。

（関数のグラフを利用する解）

（１）　２次関数 Ｆ（ｘ）＝ｘ²−２ｍｘ＋ｍ＋２＝（ｘ−ｍ）²−ｍ²＋ｍ＋２　のグラフの軸の式は、

　　ｘ＝ｍ　である。題意を満たすためには、

　軸　ｘ＝ｍ＞０　　（あるいは、頂点の ｘ 座標　ｍ＞０　）

　頂点の ｙ 座標　　−ｍ²＋ｍ＋２≦０　　（あるいは、判別式　Ｄ≧０　）

　境界点での符号　　　Ｆ（０）＝ｍ＋２＞０

であることが必要十分である。

　よって、　ｍ＞０

　−ｍ²＋ｍ＋２≦０　より　（ｍ−２）（ｍ＋１）≧０　から、　ｍ≦−１　、ｍ≧２

　ｍ＋２＞０　より、　ｍ＞−２

　

よって、求めるｍの値の範囲は、　ｍ＞２

（２）　　Ｆ（０）＝ｍ＋２＜０　であることが必要十分である。

　　　よって、　ｍ＜−２　　（終）

　上記の代表的例題の解法を公式化すれば、下記のようになるだろう。

　２次方程式 ｘ²＋ａｘ＋ｂ＝０ の２つの解がともに ｋ より大きくなるための必要十分
条件は、

　判別式　Ｄ≧０　、　（α−ｋ）＋（β−ｋ）＞０　、　（α−ｋ）（β−ｋ）＞０

　２次関数 Ｆ（ｘ）＝ｘ²＋ａｘ＋ｂ　のグラフを活用すれば、

　軸の式　ｘ＝ｍ＞ｋ　、　頂点の ｙ 座標≦０　、　Ｆ（ｋ）＞０

である。

　

　２次方程式 ｘ²＋ａｘ＋ｂ＝０ の２つの解の間に ｋ があるための必要十分条件は、

　　　　　（α−ｋ）（β−ｋ）＜０

　２次関数 Ｆ（ｘ）＝ｘ²＋ａｘ＋ｂ　のグラフを活用すれば、

　　　　　Ｆ（ｋ）＜０

である。

　

　このような考え方を会得すれば、様々な問題に対処できるようになる。

　解の分離問題は受験数学のいろいろなところで登場するが、次の問題がその代表だろう。

問　題　　ｍ＞０ のとき、直線 ｙ＝２ｍｘ＋ｍ²　が通過する範囲を求めよ。

　直線の方程式　ｙ＝２ｍｘ＋ｍ²　を、ｍ に関する２次方程式　ｍ²＋２ｍｘ−ｙ＝０　と考え
るところがポイントである。そして、

　定数 ｍ₀＞０ が定まる
　　　　↓
　等式　ｍ₀²＋２ｍ₀ｘ−ｙ＝０　を満たす点（ ｘ ， ｙ ）が存在する
　　　　↓
　実数 ｘ 、 ｙ に対して、２次方程式　ｍ²＋２ｍｘ−ｙ＝０　は、正の解 ｍ₀ を持つ

と考えられることから、下記のような解答を得ることが出来る。

（解）　ｍ に関する２次方程式　ｍ²＋２ｍｘ−ｙ＝０　が少なくとも一つ正の解を持つ条件を
　求めればよい。

（イ）　２つとも正の解のとき、

　　Ｆ（ｍ）＝ｍ²＋２ｍｘ−ｙ＝（ｍ＋ｘ）²−ｘ²−ｙ　とおくと、求める条件は、

　　−ｘ²−ｙ≦０　、　−ｘ＞０　、　−ｙ＞０

　すなわち、　ｙ≧−ｘ²　、　ｘ＜０　、　ｙ＜０

（ロ）　１つが正で、他の解が０のとき、

　　Ｆ（ｍ）＝ｍ²＋２ｍｘ−ｙ　において、　Ｆ（０）＝０　より、　ｙ＝０

　このとき、　ｍ²＋２ｍｘ＝ｍ（ｍ＋２ｘ）＝０　より、　ｍ＝−２ｘ＞０

　よって、求める条件は、　ｘ＜０　、　ｙ＝０

（ハ）　異符号の解を持つとき、

　　Ｆ（ｍ）＝ｍ²＋２ｍｘ−ｙ　において、　Ｆ（０）＜０　より、　−ｙ＜０

　　よって、求める条件は、　ｙ＞０

　以上から、求める直線の通過範囲は、

　　

　となる。ただし、境界線のうち放物線 ｙ＝−ｘ²　（ｘ＜０）は含み、直線ｙ＝０　（ｘ≧０）は含
　まない。　（終）

　上記では解の符号に注意して場合分けをしたが煩雑になるという弱点がある。軸の位置
によって場合分けする方が実戦的かもしれない。

　実数 ｘ 、 ｙ に対して、２次方程式　ｍ²＋２ｍｘ−ｙ＝０　が正の解 ｍ₀ を持つため
の条件を求め、この条件を満たす点 （ ｘ 、 ｙ ） の存在範囲を図示せよ。

（別解）　Ｆ（ｍ）＝ ｍ²＋２ｍｘ−ｙ ＝ （ｍ＋ｘ）²−ｘ²−ｙ　とおくと、軸の式は、　ｍ＝−ｘ

（１）　−ｘ ＞０　すなわち、 ｘ ＜０　のとき、題意を満たすためには、判別式を Ｄ として、

　　Ｄ/４＝ｘ²＋ｙ≧０　すなわち、　ｙ≧−ｘ²　　であればよい。

（２）　−ｘ≦０　すなわち、　ｘ ≧０　のとき、題意を満たすためには、 Ｆ（０）＝−ｙ＜０

　　すなわち、　ｙ＞０　であればよい。

以上から、求める領域は、

　　

　となる。ただし、境界線のうち放物線 ｙ＝−ｘ²　（ｘ＜０）は含み、直線ｙ＝０　（ｘ≧０）は含
　まない。　（終）


（コメント）　解法が随分スッキリしましたね！予備校などでは、この別解の方で教えられてい
　　　　　　るようである。このタイプの例題はこちらを参照（→大学入試問題探訪　「０１３」）


　冒頭で保留していた問題を証明しておこう。

問　題　　定数 ａ＞０　とする。２次方程式 ｘ²＋ａｘ−１＝０　の２つの実数解のうち、
　　　　　ちょうど１つの解だけが、２次方程式 ｘ²−ｘ−ａ＝０　の２つの実数解の間
　　　　　にあることを示せ。

（証明）　Ｆ（ｘ）＝ｘ²−ｘ−ａ　とおく。ｘ²＋ａｘ−１＝０　の２つの実数解を α、β（α＜β）とし、

　２次方程式 ｘ²−ｘ−ａ＝０　の２つの実数解を γ、δ（γ＜δ）とする。

　このとき、題意を満たすためには、　Ｆ（α）Ｆ（β）＜０　であることを示せばよい。

Ｆ（α）Ｆ（β）

＝（α²−α−ａ）（β²−β−ａ）

＝（αβ）²−αβ（α＋β）＋αβ＋ａ（α＋β）−ａ（α＋β）²＋２ａαβ＋ａ²

＝（−１）²−（−１）（−ａ）＋（−１）＋ａ（−ａ）−ａ（−ａ）²＋２ａ（−１）＋ａ²

＝１−ａ−１−ａ²−ａ³−２ａ＋ａ²

＝−３ａ−ａ³＜０　　（証終）


　正の解を何個持つかはいろいろな場面で問われる基本問題である。方程式の係数から、
その傾向を伺う方法として、デカルト（Ｄｅｓｃａｒｔｅｓ）の符号法則が有名である。
　　　　　　　　　　　　　　　　　　　　　　　　　　　（→　参考：「高次方程式の解の近似計算」）

　例えば、２次方程式　Ｘ²＋２Ｘ−３＝０　の左辺の係数だけを左から順に書き並べると、
下表のようになる。

　係数の符号の変化数に着目して、次の公式が知られている。

デカルト（Ｄｅｓｃａｒｔｅｓ）の符号法則

　方程式 Ｆ(Ｘ)＝０ の正の解の個数は、符号変化数より、偶数個（０も含む）少ない

　上の例であげた２次方程式　Ｘ²＋２Ｘ−３＝０　の符号変化数は、１ なので、デカルトの
符号法則によれば、正の解を必ず１個持つことが分かる。当然残りの解は負の解である。

　このデカルトの符号法則は、２次方程式に適用するには大袈裟すぎるが、３次以上の方
程式に対しては、簡便に正の解の個数を判断する方法として有効だろう。

例　３次方程式　Ｘ³＋２Ｘ−３＝０　の符号変化数は、１。　よって、正の解は１個。

　実際に、　Ｘ³＋２Ｘ−３＝（Ｘ−１）（Ｘ²＋Ｘ＋３）　から明らかだろう。

（注意）　この例からも分かるように、係数が ０ の項（つまり、その項がない！）は、それを
　　　　　飛ばして符号の変化数を数える。

　解の分離問題をひねったものとして、次の例題も重要だろう。

例　題　　実数係数の２次方程式　Ｆ（ｘ）＝ｘ²＋ａｘ＋ｂ＝０　が　０＜ｘ＜１　を満たす
　　　　　解を少なくとも１つもつための条件を求め、この条件を満たす点（ ａ ， ｂ ）の
　　　　　存在範囲を図示せよ。

（解）　２次方程式の２つの解を α 、 β （ただし、　０＜α＜１）とおく。

　また、　Ｆ（ｘ）＝ｘ²＋ａｘ＋ｂ＝（ｘ＋ａ/２）²＋ｂ−ａ²/４　より、軸の式は、ｘ＝−ａ/２

（１）　β＜０　のとき、題意を満たすためには、　　Ｆ（０）＜０　、Ｆ（１）＞０

　　すなわち、　ｂ＜０　、　１＋ａ＋ｂ＞０

（２）　β＝０　のとき、　ｂ＝０　で、このとき、　α＝−ａ

　　題意を満たすためには、　０＜−ａ＜１　すなわち、　−１＜ａ＜０

（３）　０＜β＜１　のとき、２つの解がともに ０ と １ の間なので、

　頂点の ｙ 座標＝ｂ−ａ²/４≦０　、　軸　０＜−ａ/２＜１　、

　Ｆ（０）＞０　　、　Ｆ（１）＞０

　すなわち、　ｂ≦ａ²/４　、−２＜ａ＜０　、　ｂ＞０　、　１＋ａ＋ｂ＞０

（４）　β＝１　のとき、　１＋ａ＋ｂ＝０　で、このとき、α＝−ａ−１

　題意を満たすためには、　０＜−ａ−１＜１　すなわち、　−２＜ａ＜−１

（５）　β＞１　のとき、題意を満たすためには、　　Ｆ（０）＞０　、Ｆ（１）＜０

　すなわち、　ｂ＞０　、　１＋ａ＋ｂ＜０

以上から、求める領域は、

　

　境界線は、放物線 ｂ＝ａ²/４　（−２＜ａ＜０）の部分のみ含み、他は含まない。　　（終）


　この例題の応用として、次の問題があげられる。

問　題　　直線　ｙ＝ｘ と ｙ＝−ｘ　の上にそれぞれ点Ａ（ ａ ， ａ ）、Ｂ（ ｂ ， −ｂ ）を、
　　　　ＯＡ＋０Ｂ＝　であるようにとる。この条件を満たしながら、２点 Ａ、Ｂ がそ
　　　　れぞれの直線上を動くとき、線分ＡＢが通過する領域を図示せよ。

　この問題のいやらしいところは、直線 ＡＢ ではなくて、線分 ＡＢ であるという点である。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（何となく、面倒っち〜ような．．．予感）

（解）　条件から、　｜ａ｜＋｜ｂ｜＝　より、　｜ａ｜＋｜ｂ｜＝１　である。

　この図形はひし形で上下左右対称なので、一般性を失うことなく、 ａ≧０　、　ｂ≦０　の

場合を調べれば十分である。

　このとき、　ａ−ｂ＝１　より、　ｂ＝ａ−１≦０　で、　０ ≦ ａ ≦ １　である。

　線分 ＡＢ の方程式は、（ａ＋ｂ）（ｘ−ａ）−（ａ−ｂ）（ｙ−ａ）＝０　　ただし、　ｂ ≦ ｘ ≦ ａ

　ａ−ｂ＝１　なので、　（２ａ−１）（ｘ−ａ）−（ｙ−ａ）＝０　　すなわち、

　Ｆ（ａ）＝２ａ²−２（ｘ＋１）ａ＋ｘ＋ｙ＝０　　軸の式は、　ａ＝（ｘ＋１）/２

　この２次方程式の解で、「　０ ≦ ａ ≦ １　、　ａ−１ ≦ ｘ ≦ ａ　」という条件を満たすもの

が存在するように、点（ ｘ ， ｙ ）が満たすべき条件を定めればよい。

　ここで、　ａ−１ ≦ ｘ ≦ ａ　より、　ｘ ≦ ａ ≦ ｘ＋１　、　０ ≦ ａ ≦ １　なので、

（１）　−１ ≦ ｘ ＜ ０　のとき、　０ ≦ ａ ≦ ｘ＋１　で、軸はこの区間の中点である。

　よって、題意を満たすためには、判別式を Ｄ として、

　Ｄ/４＝（ｘ＋１）²−２（ｘ＋ｙ）＝ｘ²＋１−２ｙ ≧ ０　、　Ｆ（０） ＝ ｘ＋ｙ ≧ ０　であればよい。

　すなわち、　ｙ ≦ （1/2）（ｘ²＋１）　、　ｙ ≧ −ｘ　、　−１ ≦ ｘ ＜ ０

（２）　０ ≦ ｘ ≦ １　のとき、　ｘ ≦ ａ ≦ １　で、軸はこの区間の中点である。

　よって、題意を満たすためには、判別式を Ｄ として、

　Ｄ/４＝（ｘ＋１）²−２（ｘ＋ｙ）＝ｘ²＋１−２ｙ ≧ ０　、Ｆ（１） ＝ −ｘ＋ｙ ≧ ０　であればよい。

　すなわち、　ｙ ≦ （1/2）（ｘ²＋１）　、　ｙ ≧ ｘ　、　０ ≦ ｘ ≦ １

　以上から、ａ≧０　、　ｂ≦０　とした場合の領域は、

　

　ただし、境界線も含む。

よって、求める領域は、

　

　となる。


　当ＨＰがいつもお世話になっているＨＮ「Seiichi　Manyama」さんからのコメントです。
（平成２８年１０月５日付け）

　２次方程式の実数解の存在について、素晴らしい解答がついたツイートがあったので、紹
介しておきます。

　3(a - 1)x² + 6x - a - 2 = 0　は、0 と 1 の間に少なくとも一つ解をもつことを示せ。

（証明） a = 1 のとき、ｘ = 1/2 で、0 と 1 の間に解をもつ

　a ≠ 1 のとき、２次関数 f(x) = 3(a - 1)x² + 6x - a - 2 について、

　　∫₀¹f(x) dx = a - 1 + 3 - a - 2 = 0

　よって、この場合も、0 と 1 の間に少なくとも一つ解をもつ。　　（証終）

　厳密に示したければ、中間値の定理を持ち出してくればよい。


（コメント）　なるほど！積分を用いた証明は初見です。Seiichi　Manyamaさんに感謝します。
　　　　　　積分を用いないと大変な計算になりますね！


　Seiichi　Manyamaさんからのコメントです。（平成２８年１０月５日付け）

　今更ですが、次の方が問題としてすっきりしている気がする。

　3ax² + 6x - a - 3 = 0　は、0 と 1 の間に少なくとも一つ解をもつことを示せ。


　DD++さんからのコメントです。（平成２８年１０月６日付け）

　じゃあ私は微分も積分も使わずに……。

　左辺を f(x) と置くと、

　f(1/6)f(3/4) = (-(11/12)a-2)((11/16)a+(3/2)) = -(1/192)(11a+24)² ≦ 0

なので、1/6≦x≦3/4 に f(x)=0 の解が存在する。この範囲は、 0＜x＜1 に含まれているの
で、題意は示された。

　0≦x≦2/3 や 1/3≦x≦1 だと計算は楽ですが、0＜x＜1 には微妙に入りきってないので
使えない……。


　らすかるさんからのコメントです。（平成２８年１０月６日付け）

　では私も別解を。

　f(x)=3ax²+6x-a-3 とおくと、 f(1/)=2-3＞0

a≧-2のとき、f(0)=-a-3＜0　なので、0＜x＜1/の範囲に解が存在し、

a＜-2のとき、f(1)=2a+3＜0　なので、1/＜x＜1の範囲に解が存在する。


　Seiichi　Manyamaさんからのコメントです。（平成２８年１０月６日付け）

　らすかるさん、私も最初不動点を利用したこの解を考えていました。

　DD++さん、これはこれで素晴らしい。試行錯誤でこの範囲を見つけられたのでしょうか？


　DD++さんからのコメントです。（平成２８年１０月７日付け）

　左辺をaについて整理すると、(3x²-1)a+(6x-3) なので、

　　　(3x²-1)/(6x-3) = (3y²-1)/(6y-3)　、x≠y

として、整理すると、　(2x-1)(2y-1)=-1/3

　これがaについて綺麗に２乗にまとまる必要十分条件です。

そこから、　1×(-1/3) と思えば、x=1、y=1/3（おしい）

　(-1)×(1/3) と思えば、x=0、y=2/3 （おしい）

　(1/2)×(-2/3) と思えば、x=3/4、y=1/6 （OK）

　(-1/2)×(2/3) と思えば、x=1/4、y=5/6 （これもOK）

と見つけました。別の方法として、片方の解を決め打ちする方法もあります。

　x=1/2 が解となるとき、a=0 で、二次方程式ではなくなる（論外）

　x=1/3 が解となるとき、a=-3/2 で、もう1つの解は x=1（おしい）

　x=2/3 が解となるとき、a=-3 で、もう1つの解は x=0（おしい）

　x=1/4 が解となるとき、a=-24/13 で、もう1つの解は x=5/6（OK）

　x=3/4 が解となるとき、a=-24/11 で、もう1つの解は x=1/6（OK）

あるいは、さらに別の方法として、判別式 D/4=3a²+9a+9 が有理数の平方になると考えて、

双曲線の媒介変数表示 a=(6t+9)/(t²-3) のtに適当な有理数を放り込めばよい。

　x=0 が解となるとき、a=-3 つまり、t=0、-2

　x=1 が解となるとき、a=-3/2 つまり、t=-1、-3

というのを参考に、t=-1/2 を放り込むと、a=-24/11 で、このとき方程式の解は、x=1/6、3/4


　Seiichi　Manyamaさんからのコメントです。（平成２８年１０月７日付け）

　DD++さん、ありがとうございます。


（追記）　「解の符号」と題して、当ＨＰがいつもお世話になっているＨＮ「よおすけ」さんからご
　　　　投稿いただきました。（令和２年１２月１３日付け）

　２次方程式 x²＋ax＋a＋１２＝０ は異なる２つの実数解をもつものとする。

(1)　少なくとも１つの解の整数部分は４にならないことを証明せよ。
(2)　aが整数であって、1つの解の整数部分が４のとき、aの値を求めよ。

（出典:1976年 金沢大学）


　スモークマンさんが考察されました。（令和２年１２月１４日付け）

　考えてみました...

(1)　２つの実数解をα、βとすると、解と係数の関係から、　α+β=-a　、αβ=a+12

　よって、ａを消去して、　αβ+α+β=12　すなわち、　(α+1)(β+1)=13

　いま、αの整数部分が４とすると、　4≦α＜5

　このとき、　13/6＜β+1≦13/5　すなわち、　7/6＜β≦8/5　となるので、

βの整数部分は、１　で、つまり、同時に整数部分が4にはなり得ない。

　よって、少なくとも１つの解の整数部分は４にならない。

(2)　αの整数部分が４とすると、βの整数部分は、１　なので、

　　α=4+ｓ　（0≦ｓ＜１）　、β=1+ｔ　（0≦ｔ＜１）

　このとき、　-ａ=α+β=4+s+1+t=5+ｓ+ｔ　から、　ａ=-5、-6

　a=-5　のとき、　x^2-5x+7=(x-5/2)^2+7-25/4＞0　で実数解が存在しない。

　a=-6　のとき、　x^2-6x+6=0　から、x=3±　で、3+ の整数部分は、４

　以上から、　a=-6　である。


（コメント）　（１）は、背理法による解法もあります。

　２つの解がともに整数部分が４と仮定すると、

　判別式　Ｄ＝ａ²−４ａ−４８≧０　より、　ａ≦２−２√１３　、２＋２√１３≦ａ　・・・（イ）

　軸　ｘ＝−ａ/２　について、４≦−ａ/２＜５　より、　−１０＜ａ≦−８　・・・（ロ）

　Ｆ（ｘ）＝x²＋ax＋a＋１２　について、　Ｆ（４）＝５ａ＋２８≧０　かつ　Ｆ（５）＝６ａ＋３７＞０

　すなわち、　ａ≧−２８/５　かつ　ａ＞−３７/６　より、　ａ≧−２８/５　・・・（ハ）

　（イ）（ロ）（ハ）をともに満たすａは存在しないので、矛盾。

　よって、少なくとも１つの解の整数部分は４にならない。

（２）について、1つの解の整数部分が４なので、　Ｆ（４）Ｆ（５）＝（５ａ＋２８）（６ａ＋３７）≦０

　このとき、　−３７/６≦ａ≦−２８/５　で、ａは整数より、　ａ＝−６

　ここで、　−６＜２−２√１３＜−４　なので、ａ＝−６は、（イ）を満たす。

　このとき、　x²−６ｘ＋６＝０　から、ｘ＝３±　で、３＋ の整数部分は、４

　以上から、　a＝−６　が求めるものである。


（追記）　令和６年６月２２日付け

　冒頭で、次の問題を考えた。

　２次方程式 ｘ²−２ｍｘ＋ｍ＋２＝０　が次のような解を持つように定数 ｍ の値の範
囲を求めよ。

（１）　２つの解がともに正

（２）　異符号の解を持つ

　解法は種々考えられるが、微分法を使ってもよいのであれば、（１）（２）は統一的に次の
ように解かれる。

（解）　ｘ²−２ｍｘ＋ｍ＋２＝０　から、　ｍ（２ｘ−１）＝ｘ²＋２

　ここで、ｘ＝１/２　とすると、　左辺＝０　、右辺＝９/４　で、左辺≠右辺　から、　ｘ≠１/２

よって、　ｍ＝（ｘ²＋２）/（２ｘ−１）　と書ける。

　ｙ＝（ｘ²＋２）/（２ｘ−１）　とおくと、　ｙ’＝２（ｘ＋１）（ｘ−２）/（２ｘ−１）²

　ｙ’＝０　を解くと、　ｘ＝−１、２　なので、次の増減表を得る。

　　

よって、グラフの概形は下図となる。

　　

　グラフから、求めるｍの値の範囲は、

（１）　２つの解がともに正であるためには、ｘ＞０ の部分で、ｙ＝ｍ が２点で交わればよい

　ので、　ｍ≧２ である。

（２）　異符号の解を持つためには、ｘ＜０ の部分とｘ＞０ の部分のそれぞれで、ｙ＝ｍ が

　交わればよいので、　ｍ＜−２ である。　　（終）


　同様にして、次の問題を解いてみよう。

問題　　２次方程式 ｘ²−２ｍｘ＋３ｍ−２＝０ が ０ と ２ の間に２つの解を持つように定数
　　　ｍの値の範囲を定めよ。

（解）　ｍ（２ｘ−３）＝ｘ²−２　において、ｘ≠３/２ なので、　ｍ＝（ｘ²−２）/（２ｘ−３）　と書ける。

　ｙ＝（ｘ²−２）/（２ｘ−３）　とおくと、　ｙ’＝２（ｘ−１）（ｘ−２）/（２ｘ−３）²

　ｙ’＝０　を解くと、　ｘ＝１、２　なので、次の増減表を得る。

　　

よって、グラフの概形は下図となる。

　　

　グラフから、求めるｍの値の範囲は、　２/３＜ｍ≦１　である。　　（終）


（コメント）　高校生の時あれほど苦労した解の分離問題が、微分法の力で鮮やかに解か
　　　　　れるとは、感動しますね！


（追記）　令和６年１０月１９日付け

　次の東北大学　文理共通（１９８３）の問題も、解の符号を問うている。

問題　　ｎを３以上の整数とする。関数 Ｆ（ｘ）＝２ｘⁿ⁺¹−４ｘⁿ＋３ について、次の問に答えよ。

（１）　Ｆ（３/２） の符号を調べよ。
（２）　方程式 Ｆ（ｘ）＝０ の正の解、負の解の個数を求めよ。

（解）（１）　Ｆ（３/２）＝２（３/２）ⁿ⁺¹−４（３/２）ⁿ＋３＝３−（３/２）ⁿ≦３−２７/８＝−３/８＜０

（２）　Ｆ’（ｘ）＝２（ｎ＋１）ｘⁿ−４ｎｘ^n-1＝２（ｎ＋１）ｘ^n-1（ｘ−２ｎ/（ｎ＋１））＝０　とおくと、

　ｘ＝０　、２ｎ/（ｎ＋１）

ｎが偶数のとき、ｎ−１は奇数で、　ｘ＝０　で極大で、極大値 ３、

　ｘ＝２ｎ/（ｎ＋１）　で極小で、極小値 Ｆ（２ｎ/（ｎ＋１））

　（１）より、Ｆ（２ｎ/（ｎ＋１））≦Ｆ（３/２）＜０

　ｘ → −∞　のとき、　Ｆ（ｘ） → −∞

　ｘ → ∞　のとき、　Ｆ（ｘ） → ∞

よって、正の解の個数は、２で、負の解の個数は、１個

ｎが奇数のとき、ｎ−１は偶数で、ｘ＝２ｎ/（ｎ＋１）　で極小で、極小値 Ｆ（２ｎ/（ｎ＋１））

　（１）より、Ｆ（２ｎ/（ｎ＋１））≦Ｆ（３/２）＜０

　ｘ → ±∞　のとき、　Ｆ（ｘ） → ∞

よって、正の解の個数は、２で、負の解の個数は、０個　　（終）



　　　以下、工事中