方針
t = x 2 ≧ 0 t = x 2 ≧ 0 とおき、4次式を t t の2次関数として扱う。頂点 t = − a t = − a が許された半直線上にあるかにより a < 0 a < 0 と a ≧ 0 a ≧ 0 に分ける。実数解をもたない条件は半直線上の最小値が正であること。(2)では同じ最小値を m ( a ) m ( a ) として書き、2区間で最大値を比較する。
解答
(1)
t = x 2 t = x 2 とおくと t ≧ 0 t ≧ 0 であり、x 4 + 2 a x 2 − a + 2 = t 2 + 2 a t − a + 2 = : F a ( t ) x 4 + 2 a x 2 − a + 2 = t 2 + 2 a t − a + 2 =: F a ( t ) である。方程式が実数解をもたないための必要十分条件は、t ≧ 0 t ≧ 0 で F a ( t ) > 0 F a ( t ) > 0 となることである。
a ≧ 0 a ≧ 0 のとき、頂点 t = − a t = − a は t ≦ 0 t ≦ 0 にあるので、t ≧ 0 t ≧ 0 での最小値はF a ( 0 ) = 2 − a F a ( 0 ) = 2 − a である。これが正である条件は 0 ≦ a < 2 0 ≦ a < 2 である。
a < 0 a < 0 のとき、頂点 t = − a t = − a は許された範囲にあり、最小値はF a ( − a ) = − a 2 − a + 2 F a ( − a ) = − a 2 − a + 2 である。これが正である条件はa 2 + a − 2 < 0 a 2 + a − 2 < 0 すなわち − 2 < a < 1 − 2 < a < 1 であり、a < 0 a < 0 と合わせて − 2 < a < 0 − 2 < a < 0 となる。以上より− 2 < a < 2 − 2 < a < 2 である。
(2)
(1) の範囲でm ( a ) = { − a 2 − a + 2 ( − 2 < a < 0 ) , 2 − a ( 0 ≦ a < 2 ) m ( a ) = { − a 2 − a + 2 2 − a ( − 2 < a < 0 ) , ( 0 ≦ a < 2 ) である。前者は− a 2 − a + 2 = − ( a + 1 2 ) 2 + 9 4 − a 2 − a + 2 = − ( a + 2 1 ) 2 + 4 9 だから、a = − 1 / 2 a = − 1/2 のとき最大値 9 / 4 9/4 をとる。後者の最大値は a = 0 a = 0 のときの2である。したがってmax m ( a ) = 9 4 max m ( a ) = 4 9 である。
別解 解法2:解をもつaの範囲
方針
(1) t = x 2 ≧ 0 t = x 2 ≧ 0 とした後、方程式を a a について解き、a = ( t 2 + 2 ) / ( 1 − 2 t ) a = ( t 2 + 2 ) / ( 1 − 2 t ) の値域を調べる。実数解をもつ a a の範囲の補集合が答えになる。(2) 任意の a a に対して t = 1 / 2 t = 1/2 を代入すれば最小値は 9 / 4 9/4 以下になる。a = − 1 / 2 a = − 1/2 で式全体が平方完成され、この上界が実現することを示す。
解答
(1)
t = x 2 ≧ 0 t = x 2 ≧ 0 とおく。方程式はt 2 + 2 a t − a + 2 = 0 t 2 + 2 a t − a + 2 = 0 である。t = 1 / 2 t = 1/2 では左辺が 9 / 4 9/4 となって0ではない。したがって実数解をもつ場合はa = t 2 + 2 1 − 2 t a = 1 − 2 t t 2 + 2 と表される。
0 ≦ t < 1 / 2 0 ≦ t < 1/2 では分母は正である。この関数の導関数の分子は− 2 t 2 + 2 t + 4 = − 2 ( t − 2 ) ( t + 1 ) > 0 − 2 t 2 + 2 t + 4 = − 2 ( t − 2 ) ( t + 1 ) > 0 だから単調に増加し、値域は [ 2 , ∞ ) [ 2 , ∞ ) である。
t > 1 / 2 t > 1/2 では、t = 1 / 2 t = 1/2 の右で負の無限大へ下がり、t = 2 t = 2 まで増加して2 2 + 2 1 − 2 ⋅ 2 = − 2 1 − 2 ⋅ 2 2 2 + 2 = − 2 をとり、その後は減少する。よってこの側の値域は ( − ∞ , − 2 ] ( − ∞ , − 2 ] である。
したがって方程式が実数解をもつのはa ≦ − 2 または a ≧ 2 a ≦ − 2 または a ≧ 2 である。その補集合を取って、実数解をもたない範囲は− 2 < a < 2 − 2 < a < 2 となる。
(2)
F a ( t ) = t 2 + 2 a t − a + 2 F a ( t ) = t 2 + 2 a t − a + 2 とする。どの a a に対しても、最小値は特定の値 t = 1 / 2 t = 1/2 における値以下なのでm ( a ) ≦ F a ( 1 2 ) = 9 4 m ( a ) ≦ F a ( 2 1 ) = 4 9 である。
一方 a = − 1 / 2 a = − 1/2 は (1) の範囲内にあり、F − 1 / 2 ( t ) = t 2 − t + 5 2 = ( t − 1 2 ) 2 + 9 4 F − 1/2 ( t ) = t 2 − t + 2 5 = ( t − 2 1 ) 2 + 4 9 となる。t = 1 / 2 ≧ 0 t = 1/2 ≧ 0 で等号が実現するから m ( − 1 / 2 ) = 9 / 4 m ( − 1/2 ) = 9/4 である。したがって m ( a ) m ( a ) の最大値は9 4 4 9 である。
総評
難度5、計算量4で、目安は20分。(1)では t = x 2 t = x 2 と置いた後も t ≧ 0 t ≧ 0 が残ることが最重要で、通常の2次方程式の判別式だけでは不十分である。解法1は頂点が半直線内かを場合分けする標準手順。解法2では「実数解をもつ a a の値域」の補集合を取る。(2)は t = 1 / 2 t = 1/2 を代入すると全 a a に共通する上界 9 / 4 9/4 が出るのが核心で、a = − 1 / 2 a = − 1/2 による等号達成まで書く。
次の問題 第2問 →
広告
解き方を先生に相談する
高校生に対応した、数学専門のオンライン個別指導。体験授業は有料です。
冊子PDFで見る 京大の方程式・不等式の問題で問題集を作る
京大の方程式・不等式の問題
出典: 京都大学 1988年度 前期 数学(大学公式の問題PDF )。問題文はHTML表示のために再入力・数式組版しています。