第6章では、グラフと $x$ 軸が「どこで」「いくつ」交わるかを調べました。この章では一歩進めて、グラフが $x$ 軸より**上にある範囲・下にある範囲**を読み取り、$x^2 - 2x - 3 < 0$ のような**二次不等式**を解きます。答えは「2 つの解にはさまれた内側」か「その外側」になり、判別式 $D$ が $0$ 以下のときは「すべての実数」や「解なし」になります。連立不等式や文章題、すべての $x$ で成り立つ条件、文字を含む不等式、絶対値を含む不等式まで進みます。第6章で後回しにした「判別式が文字の二次式になる条件」も、ここで解けるようになります。
「上にある」「下にある」を式で言う
第6章の終わりで、y y y = x 2 {}= x^2 = x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 = ( x + 1 ) ( x − 3 ) {}= (x + 1)(x - 3) = ( x + 1 ) ( x − 3 ) のグラフが − 1 -1 − 1 < x {}< x < x < 3 {}< 3 < 3 の範囲で x x x 軸より下にあることを見ました。「グラフが x x x 軸より下にある」とは「y y y の値が負」ということなので、式で書くと x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 < 0 {}< 0 < 0 です。
このように、移項して整理すると a x 2 ax^2 a x 2 + b x {}+ bx + b x + c {}+ c + c > 0 {}> 0 > 0 ,a x 2 ax^2 a x 2 + b x {}+ bx + b x + c {}+ c + c ≦ 0 {}\leqq 0 ≦ 0 などの形になる不等式を二次不等式 といいます(a a a ≠ 0 {}\neq 0 = 0 )。 不等式を満たす x x x の値の範囲を求めることを、不等式を解く といい、その範囲を不等式の解 といいます。
一次不等式(数と式 第4章)は、両辺に同じ数を足したり掛けたりして x x x だけを残せば解けました。二次不等式はそうはいきません。そこで、グラフ y y y = a x 2 {}= ax^2 = a x 2 + b x {}+ bx + b x + c {}+ c + c を思い浮かべ、「x x x 軸より上にあるのはどこか、下にあるのはどこか」を読み取ります。境目になるのは、第5章・第6章で求めてきた x x x 軸との共有点 です。
判別式が正のとき——内側と外側
x
y
O
−1
3
頂点 (1, −4)
y = x² − 2x − 3
y < 0(内側)
−1 < x < 3
y > 0
x < −1
y > 0
3 < x
a a a > 0 {}> 0 > 0 なら、グラフは下に凸です。x x x 軸との 2 つの交点 α \alpha α ,β \beta β の間では谷の部分が x x x 軸より下にもぐり、その外側では x x x 軸より上に出ています。だから「< 0 < 0 < 0 は内側」「> 0 > 0 > 0 は外側」になります。≦ \leqq ≦ ,≧ \geqq ≧ のときは、境目の x x x = α , {}= \alpha, = α , β \ \beta β (y y y = 0 {}= 0 = 0 になる点)も答えに含めます。
α \alpha α ,β \beta β は、因数分解できれば因数分解で、できなければ解の公式で求めます(第5章)。a x 2 ax^2 a x 2 + b x {}+ bx + b x + c {}+ c + c = a ( x − α ) ( x − β ) {}= a(x - \alpha)(x - \beta) = a ( x − α ) ( x − β ) と因数分解した形で考えると、x x x が 2 つの解にはさまれているときだけ ( x − α ) (x - \alpha) ( x − α ) と ( x − β ) (x - \beta) ( x − β ) の符号が逆になり、積が負になる、という説明もできます(厳密定義のページで確かめます)。
覚え方としては、サンドイッチを思い浮かべてください。2 つの解 α \alpha α ,β \beta β が 2 枚のパンで、パンにはさまれた具の部分が「< 0 < 0 < 0 」、 パンの外側が「> 0 > 0 > 0 」 です。どちらが内側かで迷ったら、グラフの谷が x x x 軸より下にもぐっている絵を思い出せば、「谷の部分=負=内側」とすぐに分かります。
x 2 x^2 x 2 の係数を正にそろえてから x x x 軸との交点 α \alpha α < β {}< \beta < β を求めれば、「< 0 < 0 < 0 」 は 2 つの解の内側、「> 0 > 0 > 0 」 は外側になるということです。
例題1:二次不等式を解く
次の二次不等式を解きなさい。
(1) x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 < 0 {}< 0 < 0
(2) x 2 x^2 x 2 − x {}- x − x − 6 {}- 6 − 6 ≧ 0 {}\geqq 0 ≧ 0
(3) − 2 x 2 -2x^2 − 2 x 2 + x {}+ x + x + 3 {}+ 3 + 3 > 0 {}> 0 > 0
(4) x 2 x^2 x 2 − 4 x {}- 4x − 4 x + 1 {}+ 1 + 1 ≦ 0 {}\leqq 0 ≦ 0
【解答】
(1) x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 = ( x + 1 ) ( x − 3 ) {}= (x + 1)(x - 3) = ( x + 1 ) ( x − 3 ) なので、x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 = 0 {}= 0 = 0 の解は x x x = − 1 , {}= -1, = − 1 , 3 \ 3 3 。< 0 < 0 < 0 は内側なので
− 1 < x < 3 ‾ \underline{-1 < x < 3} − 1 < x < 3 (2) x 2 x^2 x 2 − x {}- x − x − 6 {}- 6 − 6 = ( x + 2 ) ( x − 3 ) {}= (x + 2)(x - 3) = ( x + 2 ) ( x − 3 ) なので、解は x x x = − 2 , {}= -2, = − 2 , 3 \ 3 3 。≧ 0 \geqq 0 ≧ 0 は外側で、境目も含むので
x ≦ − 2 , ‾ \displaystyle \underline{\rule[-0.2558em]{0em}{1.0117em}x \leqq -2,} x ≦ − 2 , 3 ≦ x ‾ \displaystyle \underline{\rule[-0.2558em]{0em}{1.0117em}\ 3 \leqq x} 3 ≦ x (3) 両辺に − 1 -1 − 1 を掛けて、不等号の向きを変えます。
2 x 2 \displaystyle 2x^2 2 x 2 − x \displaystyle {}- x − x − 3 \displaystyle {}- 3 − 3 < 0 \displaystyle {}< 0 < 0 ⟺ ( x + 1 ) ( 2 x − 3 ) \displaystyle {}\iff (x + 1)(2x - 3) ⟺ ( x + 1 ) ( 2 x − 3 ) < 0 \displaystyle {}< 0 < 0 2 x 2 2x^2 2 x 2 − x {}- x − x − 3 {}- 3 − 3 = 0 {}= 0 = 0 の解は x x x = − 1 , {}= -1, = − 1 , 3 2 \ \dfrac{3}{2} 2 3 なので
− 1 < x < 3 2 ‾ \underline{-1 < x < \frac{3}{2}} − 1 < x < 2 3 (4) x 2 x^2 x 2 − 4 x {}- 4x − 4 x + 1 {}+ 1 + 1 = 0 {}= 0 = 0 は因数分解できないので、b ′ b' b ′ = − 2 {}= -2 = − 2 として解の公式を使うと x x x = 2 {}= 2 = 2 ± 4 − 1 {}\pm \sqrt{4 - 1} ± 4 − 1 = 2 {}= 2 = 2 ± 3 {}\pm \sqrt{3} ± 3 。≦ 0 \leqq 0 ≦ 0 は内側で、境目も含むので
2 ‾ \displaystyle \underline{\rule[-0.2558em]{0em}{1.2119em}2} 2 − 3 ≦ x ≦ 2 ‾ \displaystyle \underline{\rule[-0.2558em]{0em}{1.2119em}{}- \sqrt{3} \leqq x \leqq 2} − 3 ≦ x ≦ 2 + 3 ‾ \displaystyle \underline{\rule[-0.2558em]{0em}{1.2119em}{}+ \sqrt{3}} + 3 (3) で − 1 -1 − 1 を掛けずに「> 0 > 0 > 0 だから外側」としてしまうのが、よくある間違いです。x 2 x^2 x 2 の係数が負だとグラフは上に凸で、x x x 軸より上にあるのは内側のほうです。係数を正にそろえてから表を使えば、この取り違えを防げます。
判別式が 0 以下のとき——「すべて」か「なし」
グラフが x x x 軸と 2 点で交わらないときは、「内側」「外側」という分け方ができません。第6章で見たとおり、D D D = 0 {}= 0 = 0 ならグラフは x x x 軸に接し、D D D < 0 {}< 0 < 0 なら x x x 軸から浮いています。
x
y
O
D = 0:y = (x − 1)²
1
y > 0 → x ≠ 1
y ≧ 0 → すべての実数
y < 0 → 解なし
y ≦ 0 → x = 1
x
y
O
D < 0:y = (x − 1)² + 1
x 軸に届かない
y > 0,y ≧ 0 → すべての実数
y < 0,y ≦ 0 → 解なし
D D D = 0 {}= 0 = 0 のとき、a x 2 ax^2 a x 2 + b x {}+ bx + b x + c {}+ c + c = a ( x − p ) 2 {}= a(x - p)^2 = a ( x − p ) 2 は、x x x = p {}= p = p でだけ 0 0 0 になり、それ以外では正です。だから「> 0 > 0 > 0 」 の解は「p p p 以外のすべての実数」、「≦ 0 \leqq 0 ≦ 0 」 の解は「x x x = p {}= p = p だけ」になります。D D D < 0 {}< 0 < 0 のときはグラフ全体が x x x 軸より上にあるので、どの x x x でも値は正です。
この表を丸暗記する必要はありません。平方完成して ( x − p ) 2 (x - p)^2 ( x − p ) 2 ≧ 0 {}\geqq 0 ≧ 0 を使えば、その場で判断できます。
お店の営業日にたとえると、D D D < 0 {}< 0 < 0 のグラフは年中無休のお店 です。「開いている日は?」と聞かれたら「毎日」、「休みの日は?」と聞かれたら「なし」と答えます。D D D = 0 {}= 0 = 0 のグラフは、元日だけ休むお店 にあたります。「開いている日」は「元日以外のすべての日」で、「休みの日」は「元日だけ」です。答えが範囲の形にならないので戸惑いますが、聞かれている内容はふつうの不等式と同じです。
D D D < 0 {}< 0 < 0 なら値はいつも正なので「すべての実数」か「解なし」、D D D = 0 {}= 0 = 0 なら x x x = p {}= p = p の 1 点だけが 0 0 0 になるので「p p p 以外のすべて」や「x x x = p {}= p = p 」 が答えになるということです。
例題2:D ≦ 0 の二次不等式
次の二次不等式を解きなさい。
(1) x 2 x^2 x 2 − 6 x {}- 6x − 6 x + 9 {}+ 9 + 9 > 0 {}> 0 > 0
(2) 4 x 2 4x^2 4 x 2 + 4 x {}+ 4x + 4 x + 1 {}+ 1 + 1 ≦ 0 {}\leqq 0 ≦ 0
(3) x 2 x^2 x 2 − 2 x {}- 2x − 2 x + 3 {}+ 3 + 3 > 0 {}> 0 > 0
(4) − x 2 -x^2 − x 2 + 4 x {}+ 4x + 4 x − 5 {}- 5 − 5 ≧ 0 {}\geqq 0 ≧ 0
【解答】
(1) x 2 x^2 x 2 − 6 x {}- 6x − 6 x + 9 {}+ 9 + 9 = ( x − 3 ) 2 {}= (x - 3)^2 = ( x − 3 ) 2 です。( x − 3 ) 2 (x - 3)^2 ( x − 3 ) 2 > 0 {}> 0 > 0 は x x x = 3 {}= 3 = 3 のときだけ成り立たないので
x = 3 以外のすべての実数 ‾ \underline{x = 3 \ \text{以外のすべての実数}} x = 3 以外のすべての実数 (2) 4 x 2 4x^2 4 x 2 + 4 x {}+ 4x + 4 x + 1 {}+ 1 + 1 = ( 2 x + 1 ) 2 {}= (2x + 1)^2 = ( 2 x + 1 ) 2 です。( 2 x + 1 ) 2 (2x + 1)^2 ( 2 x + 1 ) 2 ≧ 0 {}\geqq 0 ≧ 0 なので、≦ 0 \leqq 0 ≦ 0 となるのは ( 2 x + 1 ) 2 (2x + 1)^2 ( 2 x + 1 ) 2 = 0 {}= 0 = 0 のときだけで
x = − 1 2 ‾ \underline{x = -\frac{1}{2}} x = − 2 1 (3) b ′ b' b ′ = − 1 {}= -1 = − 1 として D 4 \dfrac{D}{4} 4 D = 1 {}= 1 = 1 − 3 {}- 3 − 3 = − 2 {}= -2 = − 2 < 0 {}< 0 < 0 で、x 2 x^2 x 2 の係数は正です。グラフは全体が x x x 軸より上にあるので
すべての実数 ‾ \underline{\text{すべての実数}} すべての実数 平方完成すると ( x − 1 ) 2 (x - 1)^2 ( x − 1 ) 2 + 2 {}+ 2 + 2 > 0 {}> 0 > 0 で、( x − 1 ) 2 (x - 1)^2 ( x − 1 ) 2 ≧ 0 {}\geqq 0 ≧ 0 から確かにいつも成り立ちます。
(4) 両辺に − 1 -1 − 1 を掛けて x 2 x^2 x 2 − 4 x {}- 4x − 4 x + 5 {}+ 5 + 5 ≦ 0 {}\leqq 0 ≦ 0 。D 4 \dfrac{D}{4} 4 D = 4 {}= 4 = 4 − 5 {}- 5 − 5 = − 1 {}= -1 = − 1 < 0 {}< 0 < 0 なので、x 2 x^2 x 2 − 4 x {}- 4x − 4 x + 5 {}+ 5 + 5 はいつも正で、0 0 0 以下になることはありません。
解なし ‾ \underline{\text{解なし}} 解なし (1) の答えは「x x x ≠ 3 {}\neq 3 = 3 」 と書くこともできます。また、「x x x < 3 , {}< 3, < 3 , 3 3 3 < x {}< x < x 」 と書いても同じ範囲を表します。
連立不等式と、不等式の応用
連立不等式は、数と式 第4章で一次不等式について学んだものと同じです。二次不等式が混ざると、それぞれの解が「内側」や「外側」の形になるので、数直線に描いて重なりを探すのが確実です。
2 人で旅行の日程を決める場面を思い浮かべてください。1 人目の空いている日と、2 人目の空いている日をそれぞれカレンダーに塗り、両方が塗られた日を探します。片方の空き日が「月の前半と後半」のように 2 つに分かれていても、やることは変わりません。カレンダーを 1 枚に重ねてみれば、候補の日が見えてきます。
文章題では、文字の範囲を忘れがちです。不等式を解いたあとで「その値は問題の場面で意味があるか」を確かめるのは、第5章の「解の吟味」と同じ考え方です。
連立不等式は解を数直線に重ねて共通部分を読み、文章題では文字の範囲との共通部分をとり、整数解では端の値を見積もって数えるということです。
例題3:連立不等式と応用
(1) 連立不等式 { x 2 − 3 x − 4 < 0 x 2 − x − 2 ≧ 0 \begin{cases} x^2 - 3x - 4 < 0 \\ x^2 - x - 2 \geqq 0 \end{cases} { x 2 − 3 x − 4 < 0 x 2 − x − 2 ≧ 0 を解きなさい。
(2) 縦 20 20 20 m,横 30 30 30 m の長方形の土地に、縦と横に同じ幅 x x x m の道を 1 本ずつ、土地の辺と平行に通します。道を除いた部分の面積を 504 504 504 m² 以上にするとき、x x x の値の範囲を求めなさい。
(3) 不等式 x 2 x^2 x 2 − 5 x {}- 5x − 5 x + 3 {}+ 3 + 3 < 0 {}< 0 < 0 を満たす整数 x x x をすべて求めなさい。
【解答】
(1) 1 つ目は ( x + 1 ) ( x − 4 ) (x + 1)(x - 4) ( x + 1 ) ( x − 4 ) < 0 {}< 0 < 0 より − 1 -1 − 1 < x {}< x < x < 4 {}< 4 < 4 。 2 つ目は ( x + 1 ) ( x − 2 ) (x + 1)(x - 2) ( x + 1 ) ( x − 2 ) ≧ 0 {}\geqq 0 ≧ 0 より x x x ≦ − 1 , {}\leqq -1, ≦ − 1 , 2 2 2 ≦ x {}\leqq x ≦ x 。
数直線に重ねると、− 1 -1 − 1 < x {}< x < x < 4 {}< 4 < 4 のうち、x x x ≦ − 1 {}\leqq -1 ≦ − 1 と重なる部分はなく(x x x = − 1 {}= -1 = − 1 は 1 つ目に含まれません)、2 2 2 ≦ x {}\leqq x ≦ x と重なるのは 2 2 2 ≦ x {}\leqq x ≦ x < 4 {}< 4 < 4 です。
2 ≦ x < 4 ‾ \underline{2 \leqq x < 4} 2 ≦ x < 4 (2) 道の幅は正で、縦の長さ 20 20 20 m より小さいので 0 0 0 < x {}< x < x < 20 {}< 20 < 20 です。道を端に寄せて考えると、残りの部分は縦 ( 20 − x ) (20 - x) ( 20 − x ) m,横 ( 30 − x ) (30 - x) ( 30 − x ) m の長方形になります。
( 20 − x ) ( 30 − x ) \displaystyle (20 - x)(30 - x) ( 20 − x ) ( 30 − x ) ≧ 504 \displaystyle {}\geqq 504 ≧ 504 ⟺ x 2 \displaystyle {}\iff x^2 ⟺ x 2 − 50 x \displaystyle {}- 50x − 50 x + 96 \displaystyle {}+ 96 + 96 ≧ 0 \displaystyle {}\geqq 0 ≧ 0 ⟺ ( x − 2 ) ( x − 48 ) \displaystyle {}\iff (x - 2)(x - 48) ⟺ ( x − 2 ) ( x − 48 ) ≧ 0 \displaystyle {}\geqq 0 ≧ 0 より x x x ≦ 2 , {}\leqq 2, ≦ 2 , 48 48 48 ≦ x {}\leqq x ≦ x 。 このうち 0 0 0 < x {}< x < x < 20 {}< 20 < 20 に入るのは
0 < x ≦ 2 ‾ \underline{0 < x \leqq 2} 0 < x ≦ 2 x x x ≧ 48 {}\geqq 48 ≧ 48 も不等式は満たしますが、土地より広い道になってしまうので捨てます。
(3) x 2 x^2 x 2 − 5 x {}- 5x − 5 x + 3 {}+ 3 + 3 = 0 {}= 0 = 0 の解は x x x = 5 ± 13 2 {}= \dfrac{5 \pm \sqrt{13}}{2} = 2 5 ± 13 なので、不等式の解は
5 − 13 2 \displaystyle \frac{5 - \sqrt{13}}{2} 2 5 − 13 < x \displaystyle {}< x < x < 5 + 13 2 \displaystyle {}< \frac{5 + \sqrt{13}}{2} < 2 5 + 13 3 3 3 < 13 {}< \sqrt{13} < 13 < 4 {}< 4 < 4 なので、1 2 \dfrac{1}{2} 2 1 < 5 − 13 2 {}< \dfrac{5 - \sqrt{13}}{2} < 2 5 − 13 < 1 {}< 1 < 1 ,4 4 4 < 5 + 13 2 {}< \dfrac{5 + \sqrt{13}}{2} < 2 5 + 13 < 9 2 {}< \dfrac{9}{2} < 2 9 です。この間にある整数は
x = 1 , ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8389em}x = 1,} x = 1 , 2 , ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8389em}\ 2,} 2 , 3 , ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8389em}\ 3,} 3 , 4 ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8389em}\ 4} 4 端の整数も代入して確かめます。x x x = 1 {}= 1 = 1 で − 1 -1 − 1 < 0 {}< 0 < 0 ,x x x = 4 {}= 4 = 4 で − 1 -1 − 1 < 0 {}< 0 < 0 と成り立ち、x x x = 0 {}= 0 = 0 ,x x x = 5 {}= 5 = 5 ではどちらも 3 3 3 で成り立ちません。
すべての x x x で成り立つ条件
第6章の公式3で、「グラフ全体が x x x 軸より上」になる条件は「a a a > 0 {}> 0 > 0 かつ D D D < 0 {}< 0 < 0 」 だと学びました。これを不等式の言葉で言いかえると、次のようになります。
「すべての x x x で f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 」 を確かめるのに、無数にある x x x を 1 つずつ調べることはできません。そこで、いちばん小さくなるところ だけを見ます。いちばん小さい値でさえ正なら、ほかの値はすべて正です。定義域がなければ、いちばん小さくなるのは頂点で、その y y y 座標 − D 4 a -\dfrac{D}{4a} − 4 a D が正になる条件が「a a a > 0 {}> 0 > 0 かつ D D D < 0 {}< 0 < 0 」 です。
鎖は、いちばん弱い輪のところで切れます。「この鎖は 100 kg に耐えるか」を知りたければ、輪を全部試す必要はなく、いちばん弱い輪が 100 kg に耐えるかどうかだけを調べれば足ります。「すべての x x x で」という条件は、「最小値で」という 1 か所の条件に置きかえられるのです。
第6章 例題3(2) で後回しにした問題も、ここで解けます。二次関数 y y y = k x 2 {}= kx^2 = k x 2 − 2 x {}- 2x − 2 x + k {}+ k + k のグラフが x x x 軸と異なる 2 点で交わるのは、k k k ≠ 0 {}\neq 0 = 0 かつ D 4 \dfrac{D}{4} 4 D = 1 {}= 1 = 1 − k 2 {}- k^2 − k 2 > 0 {}> 0 > 0 のときです。1 1 1 − k 2 {}- k^2 − k 2 > 0 {}> 0 > 0 ⟺ k 2 {}\iff k^2 ⟺ k 2 − 1 {}- 1 − 1 < 0 {}< 0 < 0 ⟺ − 1 {}\iff -1 ⟺ − 1 < k {}< k < k < 1 {}< 1 < 1 なので、k k k ≠ 0 {}\neq 0 = 0 と合わせて − 1 -1 − 1 < k {}< k < k < 0 , {}< 0, < 0 , 0 0 0 < k {}< k < k < 1 {}< 1 < 1 となります(例題4(3))。判別式が文字の二次式になっても、二次不等式が解ければ条件を求められます。
「すべての x x x で成り立つ」は「最小値(最大値)で成り立つ」と同じで、定義域がなければ a a a の符号と D D D の符号の組で表せるということです。
例題4:すべての x で成り立つ条件
(1) すべての実数 x x x について x 2 x^2 x 2 − 2 k x {}- 2kx − 2 k x + k {}+ k + k + 6 {}+ 6 + 6 > 0 {}> 0 > 0 が成り立つような、定数 k k k の値の範囲を求めなさい。
(2) すべての実数 x x x について k x 2 kx^2 k x 2 + 2 k x {}+ 2kx + 2 k x + 3 {}+ 3 + 3 > 0 {}> 0 > 0 が成り立つような、定数 k k k の値の範囲を求めなさい。
(3) 二次関数 y y y = k x 2 {}= kx^2 = k x 2 − 2 x {}- 2x − 2 x + k {}+ k + k のグラフが x x x 軸と異なる 2 点で交わるような、定数 k k k の値の範囲を求めなさい。
(4) 0 0 0 ≦ x {}\leqq x ≦ x ≦ 3 {}\leqq 3 ≦ 3 を満たすすべての x x x について x 2 x^2 x 2 − 2 x {}- 2x − 2 x + k {}+ k + k ≧ 0 {}\geqq 0 ≧ 0 が成り立つような、定数 k k k の値の範囲を求めなさい。
【解答】
(1) x 2 x^2 x 2 の係数は 1 1 1 > 0 {}> 0 > 0 なので、条件は D D D < 0 {}< 0 < 0 です。b ′ b' b ′ = − k {}= -k = − k として
D 4 \displaystyle \frac{D}{4} 4 D = k 2 \displaystyle {}= k^2 = k 2 − ( k + 6 ) \displaystyle {}- (k + 6) − ( k + 6 ) = k 2 \displaystyle {}= k^2 = k 2 − k \displaystyle {}- k − k − 6 \displaystyle {}- 6 − 6 = ( k + 2 ) ( k − 3 ) \displaystyle {}= (k + 2)(k - 3) = ( k + 2 ) ( k − 3 ) < 0 \displaystyle {}< 0 < 0 − 2 < k < 3 ‾ \underline{-2 < k < 3} − 2 < k < 3 (2) x 2 x^2 x 2 の係数 k k k が 0 0 0 になりうるので、場合を分けます。
k k k = 0 {}= 0 = 0 のとき 不等式は 3 3 3 > 0 {}> 0 > 0 となり、すべての x x x で成り立ちます。
k k k ≠ 0 {}\neq 0 = 0 のとき 条件は k k k > 0 {}> 0 > 0 かつ D D D < 0 {}< 0 < 0 です。D 4 \dfrac{D}{4} 4 D = k 2 {}= k^2 = k 2 − 3 k {}- 3k − 3 k = k ( k − 3 ) {}= k(k - 3) = k ( k − 3 ) < 0 {}< 0 < 0 より 0 0 0 < k {}< k < k < 3 {}< 3 < 3 。 これは k k k > 0 {}> 0 > 0 を満たします。
2 つの場合を合わせて
0 ≦ k < 3 ‾ \underline{0 \leqq k < 3} 0 ≦ k < 3 (3) 二次関数なので k k k ≠ 0 {}\neq 0 = 0 。 異なる 2 点で交わる条件は D D D > 0 {}> 0 > 0 です。b ′ b' b ′ = − 1 {}= -1 = − 1 として
D 4 \displaystyle \frac{D}{4} 4 D = 1 \displaystyle {}= 1 = 1 − k 2 \displaystyle {}- k^2 − k 2 > 0 \displaystyle {}> 0 > 0 ⟺ k 2 \displaystyle {}\iff k^2 ⟺ k 2 − 1 \displaystyle {}- 1 − 1 < 0 \displaystyle {}< 0 < 0 ⟺ ( k + 1 ) ( k − 1 ) \displaystyle {}\iff (k + 1)(k - 1) ⟺ ( k + 1 ) ( k − 1 ) < 0 \displaystyle {}< 0 < 0 ⟺ − 1 \displaystyle {}\iff -1 ⟺ − 1 < k \displaystyle {}< k < k < 1 \displaystyle {}< 1 < 1 k k k ≠ 0 {}\neq 0 = 0 と合わせて
− 1 < k < 0 , ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8888em}-1 < k < 0,} − 1 < k < 0 , 0 < k < 1 ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8888em}\ 0 < k < 1} 0 < k < 1 (4) f ( x ) f(x) f ( x ) = x 2 {}= x^2 = x 2 − 2 x {}- 2x − 2 x + k {}+ k + k = ( x − 1 ) 2 {}= (x - 1)^2 = ( x − 1 ) 2 + k {}+ k + k − 1 {}- 1 − 1 とおきます。軸 x x x = 1 {}= 1 = 1 は 0 0 0 ≦ x {}\leqq x ≦ x ≦ 3 {}\leqq 3 ≦ 3 に入っているので、最小値は f ( 1 ) f(1) f ( 1 ) = k {}= k = k − 1 {}- 1 − 1 です。すべての x x x で f ( x ) f(x) f ( x ) ≧ 0 {}\geqq 0 ≧ 0 となる条件は、最小値が 0 0 0 以上であることなので
k \displaystyle k k − 1 \displaystyle {}- 1 − 1 ≧ 0 \displaystyle {}\geqq 0 ≧ 0 より \displaystyle \text{より} より k ≧ 1 ‾ \displaystyle \underline{k \geqq 1} k ≧ 1 (2) で k k k = 0 {}= 0 = 0 の場合を忘れると、答えが 0 0 0 < k {}< k < k < 3 {}< 3 < 3 になってしまいます。問題文に「二次関数」「二次不等式」と書かれていなければ、x 2 x^2 x 2 の係数が 0 0 0 の場合も調べます。
文字を含む不等式と、解から係数を決める問題
( x − 2 ) ( x − a ) (x - 2)(x - a) ( x − 2 ) ( x − a ) ≦ 0 {}\leqq 0 ≦ 0 の解は「2 2 2 と a a a の内側」ですが、2 2 2 と a a a のどちらが小さいかが分からないと、「□ \square □ ≦ x {}\leqq x ≦ x ≦ □ {}\leqq \square ≦ □ 」 の左右に何を書けばよいか決まりません。
時刻表で、10 時発の電車と、まだ時刻の決まっていない a a a 時発の電車があるとします。「2 本の電車の発車の間の時間帯」を書こうとしても、a a a が 10 より前か後かで「a a a 時から 10 時まで」なのか「10 時から a a a 時まで」なのかが変わります。同時刻ならその時間帯は一瞬だけです。だから a a a の値で場合を分けて書きます。
解から係数を決める問題は、第4章の「分解形で二次関数を決める」の不等式版です。「< 0 < 0 < 0 の解が内側」になるのは x 2 x^2 x 2 の係数が正のときなので、問題の不等式の向きと解の形から、係数の符号も一緒に決まります。
解の一方が文字なら 2 つの解の大小で場合を分け、解が分かっている不等式は k ( x − α ) ( x − β ) k(x - \alpha)(x - \beta) k ( x − α ) ( x − β ) の形と係数を比べるということです。
例題5:文字を含む不等式と、解から係数
(1) a a a を定数とします。二次不等式 x 2 x^2 x 2 − ( a + 2 ) x {}- (a + 2)x − ( a + 2 ) x + 2 a {}+ 2a + 2 a ≦ 0 {}\leqq 0 ≦ 0 を解きなさい。
(2) 二次不等式 a x 2 ax^2 a x 2 + b x {}+ bx + b x + 6 {}+ 6 + 6 > 0 {}> 0 > 0 の解が − 1 -1 − 1 < x {}< x < x < 3 {}< 3 < 3 となるように、定数 a a a ,b b b の値を定めなさい。
【解答】
(1) x 2 x^2 x 2 − ( a + 2 ) x {}- (a + 2)x − ( a + 2 ) x + 2 a {}+ 2a + 2 a = ( x − 2 ) ( x − a ) {}= (x - 2)(x - a) = ( x − 2 ) ( x − a ) なので、不等式は ( x − 2 ) ( x − a ) (x - 2)(x - a) ( x − 2 ) ( x − a ) ≦ 0 {}\leqq 0 ≦ 0 です。2 2 2 と a a a の大小で分けます。
a a a < 2 {}< 2 < 2 のとき 内側は a a a ≦ x {}\leqq x ≦ x ≦ 2 {}\leqq 2 ≦ 2
a a a = 2 {}= 2 = 2 のとき ( x − 2 ) 2 (x - 2)^2 ( x − 2 ) 2 ≦ 0 {}\leqq 0 ≦ 0 なので x x x = 2 {}= 2 = 2
a a a > 2 {}> 2 > 2 のとき 内側は 2 2 2 ≦ x {}\leqq x ≦ x ≦ a {}\leqq a ≦ a
a < 2 のとき a ≦ x ≦ 2 a = 2 のとき x = 2 a > 2 のとき 2 ≦ x ≦ a ‾ \underline{\begin{aligned}&a < 2 \ \text{のとき}\ a \leqq x \leqq 2 \\ &a = 2 \ \text{のとき}\ x = 2 \\ &a > 2 \ \text{のとき}\ 2 \leqq x \leqq a\end{aligned}} a < 2 のとき a ≦ x ≦ 2 a = 2 のとき x = 2 a > 2 のとき 2 ≦ x ≦ a (2) 「> 0 > 0 > 0 」 の解が内側 − 1 -1 − 1 < x {}< x < x < 3 {}< 3 < 3 になるので、グラフは上に凸で a a a < 0 {}< 0 < 0 です。このとき、両辺を a a a (負の数)で割ると不等号の向きが変わり
a x 2 \displaystyle ax^2 a x 2 + b x \displaystyle {}+ bx + b x + 6 \displaystyle {}+ 6 + 6 > 0 \displaystyle {}> 0 > 0 ⟺ x 2 \displaystyle {}\iff x^2 ⟺ x 2 + b a x \displaystyle {}+ \frac{b}{a}x + a b x + 6 a \displaystyle {}+ \frac{6}{a} + a 6 < 0 \displaystyle {}< 0 < 0 この解が − 1 -1 − 1 < x {}< x < x < 3 {}< 3 < 3 なので、左辺は ( x + 1 ) ( x − 3 ) (x + 1)(x - 3) ( x + 1 ) ( x − 3 ) = x 2 {}= x^2 = x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 と一致します。係数を比べて
b a \displaystyle \frac{b}{a} a b = − 2 , \displaystyle {}= -2, = − 2 , 6 a \displaystyle \frac{6}{a} a 6 = − 3 \displaystyle {}= -3 = − 3 より a a a = − 2 {}= -2 = − 2 ,b b b = 4 {}= 4 = 4 。 これは a a a < 0 {}< 0 < 0 を満たします。
a = − 2 , ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8889em}a = -2,} a = − 2 , b = 4 ‾ \displaystyle \underline{\rule[-0.1944em]{0em}{0.8889em}\ b = 4} b = 4 確かめると、− 2 x 2 -2x^2 − 2 x 2 + 4 x {}+ 4x + 4 x + 6 {}+ 6 + 6 > 0 {}> 0 > 0 ⟺ x 2 {}\iff x^2 ⟺ x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 < 0 {}< 0 < 0 ⟺ − 1 {}\iff -1 ⟺ − 1 < x {}< x < x < 3 {}< 3 < 3 で、確かに一致します。
絶対値を含む不等式
数と式 第4章では、r r r > 0 {}> 0 > 0 のとき ∣ x ∣ \lvert x \rvert ∣ x ∣ < r {}< r < r ⟺ − r {}\iff -r ⟺ − r < x {}< x < x < r {}< r < r を学びました。公式6は、x x x と r r r を式 A A A ,B B B に置きかえたものです。B B B が負になるときも、この形のままで正しく働きます。たとえば B B B < 0 {}< 0 < 0 なら − B -B − B < A {}< A < A < B {}< B < B を満たす A A A はなく、「∣ A ∣ \lvert A \rvert ∣ A ∣ < B {}< B < B は成り立たない」ことと一致します。第5章で、方程式 ∣ A ∣ \lvert A \rvert ∣ A ∣ = B {}= B = B では先に B B B ≧ 0 {}\geqq 0 ≧ 0 を確かめたのと比べると、不等式のほうが扱いが楽です。
場合分けで解くときは、これまでと同じく境目を右側の範囲に含めて「x x x ≧ a {}\geqq a ≧ a / x x x < a {}< a < a 」 と分け、それぞれの範囲の中にある解だけを残します。
絶対値の不等式は − B -B − B < A {}< A < A < B {}< B < B などの連立不等式に直し、∣ x ∣ \lvert x \rvert ∣ x ∣ を含むなら ∣ x ∣ \lvert x \rvert ∣ x ∣ をひとかたまりの文字とみるか、符号で場合を分けるということです。
例題6:絶対値を含む不等式
次の不等式を解きなさい。
(1) x 2 x^2 x 2 − ∣ x ∣ {}- \lvert x \rvert − ∣ x ∣ − 6 {}- 6 − 6 < 0 {}< 0 < 0
(2) ∣ x 2 − 4 ∣ \lvert x^2 - 4 \rvert ∣ x 2 − 4 ∣ < 3 x {}< 3x < 3 x
【解答】
(1) x 2 x^2 x 2 = ∣ x ∣ 2 {}= \lvert x \rvert^2 = ∣ x ∣ 2 なので、不等式は
∣ x ∣ 2 \displaystyle \lvert x \rvert^2 ∣ x ∣ 2 − ∣ x ∣ \displaystyle {}- \lvert x \rvert − ∣ x ∣ − 6 \displaystyle {}- 6 − 6 < 0 \displaystyle {}< 0 < 0 ⟺ ( ∣ x ∣ + 2 ) ( ∣ x ∣ − 3 ) \displaystyle {}\iff (\lvert x \rvert + 2)(\lvert x \rvert - 3) ⟺ (∣ x ∣ + 2 ) (∣ x ∣ − 3 ) < 0 \displaystyle {}< 0 < 0 ∣ x ∣ \lvert x \rvert ∣ x ∣ + 2 {}+ 2 + 2 > 0 {}> 0 > 0 なので、両辺をこれで割って ∣ x ∣ \lvert x \rvert ∣ x ∣ − 3 {}- 3 − 3 < 0 {}< 0 < 0 、 つまり ∣ x ∣ \lvert x \rvert ∣ x ∣ < 3 {}< 3 < 3 です。
− 3 < x < 3 ‾ \underline{-3 < x < 3} − 3 < x < 3 場合分けでも確かめられます。x x x ≧ 0 {}\geqq 0 ≧ 0 なら x 2 x^2 x 2 − x {}- x − x − 6 {}- 6 − 6 = ( x + 2 ) ( x − 3 ) {}= (x + 2)(x - 3) = ( x + 2 ) ( x − 3 ) < 0 {}< 0 < 0 より − 2 -2 − 2 < x {}< x < x < 3 {}< 3 < 3 で、x x x ≧ 0 {}\geqq 0 ≧ 0 と合わせて 0 0 0 ≦ x {}\leqq x ≦ x < 3 {}< 3 < 3 。x x x < 0 {}< 0 < 0 なら x 2 x^2 x 2 + x {}+ x + x − 6 {}- 6 − 6 = ( x + 3 ) ( x − 2 ) {}= (x + 3)(x - 2) = ( x + 3 ) ( x − 2 ) < 0 {}< 0 < 0 より − 3 -3 − 3 < x {}< x < x < 2 {}< 2 < 2 で、x x x < 0 {}< 0 < 0 と合わせて − 3 -3 − 3 < x {}< x < x < 0 {}< 0 < 0 。 まとめると − 3 -3 − 3 < x {}< x < x < 3 {}< 3 < 3 です。
(2) 公式6より、− 3 x -3x − 3 x < x 2 {}< x^2 < x 2 − 4 {}- 4 − 4 < 3 x {}< 3x < 3 x と同じです。
x 2 x^2 x 2 − 4 {}- 4 − 4 < 3 x {}< 3x < 3 x より x 2 x^2 x 2 − 3 x {}- 3x − 3 x − 4 {}- 4 − 4 = ( x + 1 ) ( x − 4 ) {}= (x + 1)(x - 4) = ( x + 1 ) ( x − 4 ) < 0 {}< 0 < 0 、 よって − 1 -1 − 1 < x {}< x < x < 4 {}< 4 < 4
− 3 x -3x − 3 x < x 2 {}< x^2 < x 2 − 4 {}- 4 − 4 より x 2 x^2 x 2 + 3 x {}+ 3x + 3 x − 4 {}- 4 − 4 = ( x + 4 ) ( x − 1 ) {}= (x + 4)(x - 1) = ( x + 4 ) ( x − 1 ) > 0 {}> 0 > 0 、 よって x x x < − 4 , {}< -4, < − 4 , 1 1 1 < x {}< x < x
共通する範囲は
1 < x < 4 ‾ \underline{1 < x < 4} 1 < x < 4 x x x = 2 {}= 2 = 2 を代入すると ∣ 0 ∣ \lvert 0 \rvert ∣ 0 ∣ = 0 {}= 0 = 0 < 6 {}< 6 < 6 で成り立ち、端の x x x = 4 {}= 4 = 4 では 12 12 12 < 12 {}< 12 < 12 となって成り立ちません。右辺 3 x 3x 3 x が負になる x x x < 0 {}< 0 < 0 では、公式6の連立不等式が自動的に解なしになっています(1 つ目の − 1 -1 − 1 < x {}< x < x < 4 {}< 4 < 4 と 2 つ目の x x x < − 4 {}< -4 < − 4 が重ならず、− 1 -1 − 1 < x {}< x < x < 0 {}< 0 < 0 の部分も 2 つ目を満たしません)。
第8章へ——解の「位置」を条件にする
この章で、判別式が文字の式になっても、不等式として解けるようになりました。第8章では、「方程式の解がどこにあるか」を条件にした問題を扱います。
たとえば、「x 2 x^2 x 2 − 2 a x {}- 2ax − 2 a x + a {}+ a + a + 6 {}+ 6 + 6 = 0 {}= 0 = 0 が異なる 2 つの正の解をもつ」ような a a a の範囲を考えます。グラフ y y y = x 2 {}= x^2 = x 2 − 2 a x {}- 2ax − 2 a x + a {}+ a + a + 6 {}+ 6 + 6 が x x x 軸の正の部分と 2 点で交わるには
x x x 軸と 2 点で交わる:D 4 \dfrac{D}{4} 4 D = a 2 {}= a^2 = a 2 − a {}- a − a − 6 {}- 6 − 6 > 0 {}> 0 > 0
軸が正の側にある:a a a > 0 {}> 0 > 0
y y y 軸との交点が x x x 軸より上にある:a a a + 6 {}+ 6 + 6 > 0 {}> 0 > 0
の 3 つがそろえばよく、1 つ目はこの章の二次不等式 ( a + 2 ) ( a − 3 ) (a + 2)(a - 3) ( a + 2 ) ( a − 3 ) > 0 {}> 0 > 0 で a a a < − 2 , {}< -2, < − 2 , 3 3 3 < a {}< a < a です。3 つを合わせて a a a > 3 {}> 3 > 3 となります。条件をグラフの言葉に翻訳し、それぞれを不等式で解いて共通部分をとる——この章の道具が、そのまま次の章の土台になります。
ダンクシュートはなぜ「浮いて」見えるのか
バスケットボールのダンクシュートやバレーボールのスパイクを見ていると、選手が空中でふわりと止まっているように感じることがあります。実際には、人の体は投げ上げたボールと同じく、重力に引かれて放物線を描いているだけです。それでも「浮いて」見える理由を、二次不等式で測ってみましょう。
真上に秒速 3.92 3.92 3.92 m で跳び上がった選手の、体の重心の高さ(踏み切ったときからの上昇分)を考えます。t t t 秒後の高さ h h h m は、空気の抵抗を無視すると
h \displaystyle h h = 3.92 t \displaystyle {}= 3.92t = 3.92 t − 4.9 t 2 \displaystyle {}- 4.9t^2 − 4.9 t 2 = 4.9 t ( 0.8 − t ) \displaystyle {}= 4.9t(0.8 - t) = 4.9 t ( 0.8 − t ) です。t t t = 0 {}= 0 = 0 で踏み切り、t t t = 0.8 {}= 0.8 = 0.8 で着地するので、滞空時間は 0.8 0.8 0.8 秒。いちばん高いのは真ん中の t t t = 0.4 {}= 0.4 = 0.4 で、h h h = 4.9 × 0.4 × 0.4 {}= 4.9 \times 0.4 \times 0.4 = 4.9 × 0.4 × 0.4 = 0.784 {}= 0.784 = 0.784 m、つまり約 78 78 78 cm 跳び上がっています。
では、最高点から上の 4 分の 1 、つまり高さ 0.784 × 3 4 0.784 \times \dfrac{3}{4} 0.784 × 4 3 = 0.588 {}= 0.588 = 0.588 m 以上にいるのは、何秒間でしょうか。
4.9 t ( 0.8 − t ) \displaystyle 4.9t(0.8 - t) 4.9 t ( 0.8 − t ) ≧ 0.588 \displaystyle {}\geqq 0.588 ≧ 0.588 ⟺ t 2 \displaystyle {}\iff t^2 ⟺ t 2 − 0.8 t \displaystyle {}- 0.8t − 0.8 t + 0.12 \displaystyle {}+ 0.12 + 0.12 ≦ 0 \displaystyle {}\leqq 0 ≦ 0 ⟺ ( t − 0.2 ) ( t − 0.6 ) \displaystyle {}\iff (t - 0.2)(t - 0.6) ⟺ ( t − 0.2 ) ( t − 0.6 ) ≦ 0 \displaystyle {}\leqq 0 ≦ 0 より 0.2 0.2 0.2 ≦ t {}\leqq t ≦ t ≦ 0.6 {}\leqq 0.6 ≦ 0.6 。 なんと 0.4 0.4 0.4 秒、滞空時間のちょうど半分 です。高さでいえばたった 20 20 20 cm ほどの範囲に、時間の半分がつぎ込まれています。
これは跳び方によらず成り立ちます。最高点からの高さの割合を r r r とすると、その範囲にいる時間は滞空時間の r \sqrt{r} r 倍になります。上の 1 4 \dfrac{1}{4} 4 1 なら 1 2 \dfrac{1}{2} 2 1 、 上の 1 100 \dfrac{1}{100} 100 1 (この例では 8 8 8 mm ほど)でも、時間は 1 10 \dfrac{1}{10} 10 1 にあたる 0.08 0.08 0.08 秒もあります。頂点の近くではほとんど高さが変わらないまま時間が過ぎるので、見ている人の目には「空中で止まった」ように映る、と説明されています(※見え方の感じ方には、腕や脚の動きなども関わるとされます)。
第3章の小話で、打ち上げ花火が頂点で開くことと「頂点の近くは平ら」という話をしました。そのとき「平ら」と言ったことを、この章の不等式で「時間の長さ」として数えたのが、今回の計算です。
豆知識
滞空時間 T T T 秒と跳び上がる高さ H H H m の間には、H H H = 4.9 4 T 2 {}= \dfrac{4.9}{4}T^2 = 4 4.9 T 2 という関係があります(上の例なら T T T = 0.8 {}= 0.8 = 0.8 で H H H = 0.784 {}= 0.784 = 0.784 )。 滞空時間を 1 1 1 秒にするには H H H = 1.225 {}= 1.225 = 1.225 m、つまり重心を 1 1 1 m 以上も持ち上げる必要があります。世界のトップ選手でも垂直跳びは 1 1 1 m 前後と言われるので(※測り方によって違います)、「1 秒間浮いていた」と感じる場面でも、実際の滞空時間は長くて 0.9 0.9 0.9 秒ほど(H H H = 1 {}= 1 = 1 のとき T T T ≒ 0.90 {}\fallingdotseq 0.90 ≒ 0.90 ) と考えられます。
コンピューターに「範囲」で計算させる——区間演算
コンピューターの小数計算には、わずかな誤差がつきものです。ふつうは気にしなくてよい大きさですが、橋の設計や数学の証明のように「絶対に間違えられない」場面では困ります。そこで考えられたのが区間演算 です。数を 1 つの値ではなく「この範囲のどこかにある」という下限と上限の組 で持ち、計算のたびに、答えが確実に入る範囲を求めていきます。
足し算や引き算は、不等式の性質そのものです。1 1 1 ≦ x {}\leqq x ≦ x ≦ 2 {}\leqq 2 ≦ 2 ,3 3 3 ≦ y {}\leqq y ≦ y ≦ 5 {}\leqq 5 ≦ 5 なら
4 \displaystyle 4 4 ≦ x \displaystyle {}\leqq x ≦ x + y \displaystyle {}+ y + y ≦ 7 , \displaystyle {}\leqq 7, ≦ 7 , − 4 \displaystyle -4 − 4 ≦ x \displaystyle {}\leqq x ≦ x − y \displaystyle {}- y − y ≦ − 1 \displaystyle {}\leqq -1 ≦ − 1 となります(引き算は「小さい x x x から大きい y y y を引いたとき」が下限です)。
ところが、同じ式でも書き方によって、得られる範囲の広さが変わります。1 1 1 ≦ x {}\leqq x ≦ x ≦ 2 {}\leqq 2 ≦ 2 のとき、x 2 x^2 x 2 − 2 x {}- 2x − 2 x の範囲を 3 通りに計算してみます。
x 2 x^2 x 2 − 2 x {}- 2x − 2 x のまま :1 1 1 ≦ x 2 {}\leqq x^2 ≦ x 2 ≦ 4 {}\leqq 4 ≦ 4 ,2 2 2 ≦ 2 x {}\leqq 2x ≦ 2 x ≦ 4 {}\leqq 4 ≦ 4 から、1 1 1 − 4 {}- 4 − 4 ≦ x 2 {}\leqq x^2 ≦ x 2 − 2 x {}- 2x − 2 x ≦ 4 {}\leqq 4 ≦ 4 − 2 {}- 2 − 2 、 つまり − 3 -3 − 3 ≦ x 2 {}\leqq x^2 ≦ x 2 − 2 x {}- 2x − 2 x ≦ 2 {}\leqq 2 ≦ 2
x ( x − 2 ) x(x - 2) x ( x − 2 ) と因数分解 :1 1 1 ≦ x {}\leqq x ≦ x ≦ 2 {}\leqq 2 ≦ 2 と − 1 -1 − 1 ≦ x {}\leqq x ≦ x − 2 {}- 2 − 2 ≦ 0 {}\leqq 0 ≦ 0 の積なので、− 2 -2 − 2 ≦ x ( x − 2 ) {}\leqq x(x - 2) ≦ x ( x − 2 ) ≦ 0 {}\leqq 0 ≦ 0
( x − 1 ) 2 (x - 1)^2 ( x − 1 ) 2 − 1 {}- 1 − 1 と平方完成 :0 0 0 ≦ x {}\leqq x ≦ x − 1 {}- 1 − 1 ≦ 1 {}\leqq 1 ≦ 1 から 0 0 0 ≦ ( x − 1 ) 2 {}\leqq (x - 1)^2 ≦ ( x − 1 ) 2 ≦ 1 {}\leqq 1 ≦ 1 なので、− 1 -1 − 1 ≦ ( x − 1 ) 2 {}\leqq (x - 1)^2 ≦ ( x − 1 ) 2 − 1 {}- 1 − 1 ≦ 0 {}\leqq 0 ≦ 0
本当の値域は、第3章の方法で求めると − 1 -1 − 1 ≦ x 2 {}\leqq x^2 ≦ x 2 − 2 x {}- 2x − 2 x ≦ 0 {}\leqq 0 ≦ 0 です。平方完成した式だけが、ぴったり正しい範囲を出しました。
ずれの原因は、x x x が式に 2 回出てくることです。区間演算は、x 2 x^2 x 2 の x x x と 2 x 2x 2 x の x x x を「別々に動ける数」として扱ってしまいます。実際には同じ x x x なので、x 2 x^2 x 2 = 4 {}= 4 = 4 (x x x = 2 {}= 2 = 2 ) と 2 x 2x 2 x = 2 {}= 2 = 2 (x x x = 1 {}= 1 = 1 ) が同時に起こることはありません。平方完成で x x x を 1 か所にまとめると、このすれ違いが消えるのです。
この方法は「精度保証付き数値計算」と呼ばれ、数学の証明にも使われています。2002 年ごろ、ウォーリック・タッカーは、気象のモデルから生まれた「ローレンツ・アトラクタ」と呼ばれる図形の性質を、区間演算を使ったコンピューター計算で証明しました(※数学者スメールが 1998 年に挙げた未解決問題の 1 つとされます)。
豆知識
区間演算の考え方を早い時期に論文にまとめた一人は、日本の須永照雄(1958 年)で、アメリカのラモン・ムーアが 1966 年の本で広めたとされます(※先行する研究には諸説あります)。2015 年には、区間演算の国際的な規格(IEEE 1788)も定められました。
「すべての」と「ある」——∀ と ∃ の記号
この章では、「すべての実数 x x x について〜が成り立つ」という条件をたくさん扱いました。数学では、この「すべての」と、その相棒の「〜となるものがある」を、専用の記号で書くことがあります。
∀ x ( x 2 + 1 > 0 ) \displaystyle \forall x \ (x^2 + 1 > 0) ∀ x ( x 2 + 1 > 0 ) ∃ x ( x 2 < 1 ) \displaystyle \exists x \ (x^2 < 1) ∃ x ( x 2 < 1 ) 左は「すべての x x x について x 2 x^2 x 2 + 1 {}+ 1 + 1 > 0 {}> 0 > 0 」、 右は「x 2 x^2 x 2 < 1 {}< 1 < 1 となる x x x がある」と読みます。∀ \forall ∀ は英語の A ll(ドイツ語の A lle)の A を逆さにしたもの、∃ \exists ∃ は E xists の E を裏返したものです。∃ \exists ∃ はイタリアのジュゼッペ・ペアノが 1897 年ごろに、∀ \forall ∀ はドイツのゲルハルト・ゲンツェンが 1935 年の論文で、∃ \exists ∃ にならって使い始めたとされます(※それ以前にも別の書き方があり、最初の使用者には諸説あります)。
この 2 つの記号は、否定するとお互いに入れかわります。「すべての x x x で P P P 」 を否定すると、「P P P でない x x x がある」になります。数と式 第6章の「命題の否定」と同じ考え方です。
例題4(1) で、「すべての実数 x x x について x 2 x^2 x 2 − 2 k x {}- 2kx − 2 k x + k {}+ k + k + 6 {}+ 6 + 6 > 0 {}> 0 > 0 」 となる k k k の範囲は − 2 -2 − 2 < k {}< k < k < 3 {}< 3 < 3 でした。すると、その否定
「 x 2 \displaystyle \text{「}x^2 「 x 2 − 2 k x \displaystyle {}- 2kx − 2 k x + k \displaystyle {}+ k + k + 6 \displaystyle {}+ 6 + 6 ≦ 0 となる実数 x がある」 \displaystyle {}\leqq 0 \ \text{となる実数}\ x \ \text{がある」} ≦ 0 となる実数 x がある」 となる k k k の範囲は、残りの部分 k k k ≦ − 2 , {}\leqq -2, ≦ − 2 , 3 3 3 ≦ k {}\leqq k ≦ k だと、計算しなくても分かります。グラフで言えば、「全体が x x x 軸より上」の否定は「どこか 1 か所でも x x x 軸に届く」で、それは判別式 D D D ≧ 0 {}\geqq 0 ≧ 0 のことです。実際、D 4 \dfrac{D}{4} 4 D = ( k + 2 ) ( k − 3 ) {}= (k + 2)(k - 3) = ( k + 2 ) ( k − 3 ) ≧ 0 {}\geqq 0 ≧ 0 を解くと同じ答えになります。
「すべて」の条件は 1 つでも反例があれば崩れ、「ある」の条件は 1 つでも例があれば成り立ちます。記号にしてみると、この裏返しの関係がはっきり見えてきます。
豆知識
∀ x \forall x ∀ x は、日本語の数学書ではよく「任意の x x x に対して」と読まれます。この「任意」は「どれを選んでもよい(どれを選んでも成り立つ)」という意味で、「参加は任意です」の「やってもやらなくてもよい」とは少し違います。数学の文章で「任意の」が出てきたら、「すべての」と読みかえると意味がつかみやすくなります。
※ここは発展ページ です。高校の範囲では、公式1〜6の手順が使えれば十分です。「内側・外側」の表はなぜ正しいのか、「すべての x x x で成り立つ」条件は本当に「a a a > 0 {}> 0 > 0 かつ D D D < 0 {}< 0 < 0 」 で過不足ないのか、下に凸なら両端だけ調べればよいのはなぜか、解から係数がただ 1 通りに決まるのはなぜか——が気になる人のために、根拠を示します。
以下、f ( x ) f(x) f ( x ) = a x 2 {}= ax^2 = a x 2 + b x {}+ bx + b x + c ( a ≠ 0 ) {}+ c \ (a \neq 0) + c ( a = 0 ) ,D D D = b 2 {}= b^2 = b 2 − 4 a c {}- 4ac − 4 a c ,p p p = − b 2 a {}= -\dfrac{b}{2a} = − 2 a b とします。
定義1:不等式の解の集合
実数 x x x についての条件 P ( x ) P(x) P ( x ) (不等式など)に対し、P ( x ) P(x) P ( x ) を満たす実数 x x x 全体の集合を P ( x ) P(x) P ( x ) の解の集合 という。2 つの条件の解の集合が等しいとき、2 つの条件は同値 であるといい、 ⟺ \iff ⟺ で結ぶ。
「すべての 実数 x x x について P ( x ) P(x) P ( x ) が成り立つ」とは、解の集合が実数全体に等しいことをいう。
「P ( x ) P(x) P ( x ) を満たす実数 x x x が存在する 」とは、解の集合が空集合でないことをいう。
不等式を「解く」とは、解の集合を、− 1 -1 − 1 < x {}< x < x < 3 {}< 3 < 3 のような分かりやすい形の条件で書き表すことです。途中の変形がすべて同値変形(解の集合を変えない変形)であれば、最後に得た範囲が正しい答えになります。「両辺に正の数を掛ける」「両辺に負の数を掛けて向きを変える」「両辺に同じ式を足す」は、どれも同値変形です(数と式 第4章の不等式の性質から、逆向きの変形もできるため)。
定理1:積の符号
実数 A A A ,B B B について
A B \displaystyle AB A B > 0 \displaystyle {}> 0 > 0 ⟺ ( A > 0 かつ B > 0 ) \displaystyle {}\iff (A > 0 \ \text{かつ}\ B > 0) ⟺ ( A > 0 かつ B > 0 ) または ( A < 0 かつ B < 0 ) \displaystyle \qquad \text{または}\ (A < 0 \ \text{かつ}\ B < 0) または ( A < 0 かつ B < 0 ) A B \displaystyle AB A B < 0 \displaystyle {}< 0 < 0 ⟺ ( A > 0 かつ B < 0 ) \displaystyle {}\iff (A > 0 \ \text{かつ}\ B < 0) ⟺ ( A > 0 かつ B < 0 ) または ( A < 0 かつ B > 0 ) \displaystyle \qquad \text{または}\ (A < 0 \ \text{かつ}\ B > 0) または ( A < 0 かつ B > 0 ) とくに、α \alpha α < β {}< \beta < β のとき
( x − α ) ( x − β ) \displaystyle (x - \alpha)(x - \beta) ( x − α ) ( x − β ) < 0 \displaystyle {}< 0 < 0 ⟺ α \displaystyle {}\iff \alpha ⟺ α < x \displaystyle {}< x < x < β , \displaystyle {}< \beta, < β , ( x − α ) ( x − β ) \displaystyle (x - \alpha)(x - \beta) ( x − α ) ( x − β ) > 0 \displaystyle {}> 0 > 0 ⟺ x \displaystyle {}\iff x ⟺ x < α または β \displaystyle {}< \alpha \ \text{または}\ \beta < α または β < x \displaystyle {}< x < x 証明 A A A ,B B B はそれぞれ「正・0 0 0 ・ 負」のどれか 1 つにあたるので、組み合わせは 9 通りである。不等式の性質から、正と正の積、負と負の積は正、正と負の積は負、どちらかが 0 0 0 なら積は 0 0 0 となる。9 通りのうち積が正になるのは「ともに正」「ともに負」の 2 通り、負になるのは「異符号」の 2 通りだけなので、前半が成り立つ。
後半では A A A = x {}= x = x − α {}- \alpha − α ,B B B = x {}= x = x − β {}- \beta − β とおく。A A A − B {}- B − B = β {}= \beta = β − α {}- \alpha − α > 0 {}> 0 > 0 なので、つねに A A A > B {}> B > B である。
「A A A > 0 {}> 0 > 0 かつ B B B > 0 {}> 0 > 0 」 は、B B B > 0 {}> 0 > 0 (このとき A A A > B {}> B > B > 0 {}> 0 > 0 ) と同じで、x x x > β {}> \beta > β である。
「A A A < 0 {}< 0 < 0 かつ B B B < 0 {}< 0 < 0 」 は、A A A < 0 {}< 0 < 0 と同じで、x x x < α {}< \alpha < α である。
「A A A < 0 {}< 0 < 0 かつ B B B > 0 {}> 0 > 0 」 は A A A < 0 {}< 0 < 0 < B {}< B < B となって A A A > B {}> B > B に反するので起こらない。「A A A > 0 {}> 0 > 0 かつ B B B < 0 {}< 0 < 0 」 は α \alpha α < x {}< x < x < β {}< \beta < β である。
前半と合わせて、後半の 2 つの同値が得られる。(証明終)
A A A > B {}> B > B という一言が効いています。2 つの因数は、どの x x x でも「x x x − α {}- \alpha − α のほうが大きい」という順番を崩さないので、符号の組み合わせは「+ , +, + , + {}+ + 」 「+ , +, + , − {}- − 」 「− , -, − , − {}- − 」 の 3 通りしか現れません。数直線を左から見ていくと、α \alpha α を過ぎたところで 1 つ目の因数が、β \beta β を過ぎたところで 2 つ目の因数が、それぞれ負から正に変わる——これが「内側で負、外側で正」の正体です。
定理2:二次不等式の解の表
a a a > 0 {}> 0 > 0 とする。
(i) D D D > 0 {}> 0 > 0 のとき、f ( x ) f(x) f ( x ) = 0 {}= 0 = 0 の 2 つの実数解を α \alpha α < β {}< \beta < β とすると、f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 ⟺ α {}\iff \alpha ⟺ α < x {}< x < x < β {}< \beta < β ,f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 ⟺ x {}\iff x ⟺ x < α または β {}< \alpha \ \text{または}\ \beta < α または β < x {}< x < x である。
(ii) D D D = 0 {}= 0 = 0 のとき、f ( x ) f(x) f ( x ) = a ( x − p ) 2 {}= a(x - p)^2 = a ( x − p ) 2 であり、f ( x ) f(x) f ( x ) ≧ 0 {}\geqq 0 ≧ 0 はすべての実数で成り立ち、等号は x x x = p {}= p = p のときに限る。
(iii) D D D < 0 {}< 0 < 0 のとき、すべての実数 x x x について f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 である。
a a a < 0 {}< 0 < 0 のときは、− f ( x ) -f(x) − f ( x ) に (i)〜(iii) を当てはめる。
証明 平方完成により
f ( x ) \displaystyle f(x) f ( x ) = a ( x − p ) 2 \displaystyle {}= a(x - p)^2 = a ( x − p ) 2 − D 4 a \displaystyle {}- \frac{D}{4a} − 4 a D (i) D D D > 0 {}> 0 > 0 なら、第5章の解の公式より f ( x ) f(x) f ( x ) = a ( x − α ) ( x − β ) {}= a(x - \alpha)(x - \beta) = a ( x − α ) ( x − β ) と因数分解できる。a a a > 0 {}> 0 > 0 なので、f ( x ) f(x) f ( x ) と ( x − α ) ( x − β ) (x - \alpha)(x - \beta) ( x − α ) ( x − β ) の符号は同じである(正の数を掛けても符号は変わらない)。あとは定理1による。
(ii) D D D = 0 {}= 0 = 0 なら f ( x ) f(x) f ( x ) = a ( x − p ) 2 {}= a(x - p)^2 = a ( x − p ) 2 。( x − p ) 2 (x - p)^2 ( x − p ) 2 ≧ 0 {}\geqq 0 ≧ 0 と a a a > 0 {}> 0 > 0 から f ( x ) f(x) f ( x ) ≧ 0 {}\geqq 0 ≧ 0 。f ( x ) f(x) f ( x ) = 0 {}= 0 = 0 ⟺ ( x − p ) 2 {}\iff (x - p)^2 ⟺ ( x − p ) 2 = 0 {}= 0 = 0 ⟺ x {}\iff x ⟺ x = p {}= p = p である。
(iii) D D D < 0 {}< 0 < 0 なら − D 4 a -\dfrac{D}{4a} − 4 a D > 0 {}> 0 > 0 なので、f ( x ) f(x) f ( x ) ≧ − D 4 a {}\geqq -\dfrac{D}{4a} ≧ − 4 a D > 0 {}> 0 > 0 。
a a a < 0 {}< 0 < 0 のとき、f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 ⟺ − f ( x ) {}\iff -f(x) ⟺ − f ( x ) > 0 {}> 0 > 0 などは、両辺に − 1 -1 − 1 を掛ける同値変形である。− f ( x ) -f(x) − f ( x ) の x 2 x^2 x 2 の係数 − a -a − a は正で、判別式は ( − b ) 2 (-b)^2 ( − b ) 2 − 4 ( − a ) ( − c ) {}- 4(-a)(-c) − 4 ( − a ) ( − c ) = D {}= D = D と変わらないので、(i)〜(iii) が使える。(証明終)
公式1・公式2の表は、この定理を 4 種類の不等号について書き並べたものです。(ii) から、たとえば f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 の解の集合は「実数全体から p p p を 1 つ除いたもの」、f ( x ) f(x) f ( x ) ≦ 0 {}\leqq 0 ≦ 0 の解の集合は「p p p だけからなる集合」になります。
定理3:すべての x で成り立つ条件と、その否定
次の同値が成り立つ(a a a ≠ 0 {}\neq 0 = 0 とする)。
すべての実数 x について f ( x ) \displaystyle \text{すべての実数}\ x \ \text{について}\ f(x) すべての実数 x について f ( x ) > 0 \displaystyle {}> 0 > 0 ⟺ a \displaystyle {}\iff a ⟺ a > 0 かつ D \displaystyle {}> 0 \ \text{かつ}\ D > 0 かつ D < 0 \displaystyle {}< 0 < 0 すべての実数 x について f ( x ) \displaystyle \text{すべての実数}\ x \ \text{について}\ f(x) すべての実数 x について f ( x ) ≧ 0 \displaystyle {}\geqq 0 ≧ 0 ⟺ a \displaystyle {}\iff a ⟺ a > 0 かつ D \displaystyle {}> 0 \ \text{かつ}\ D > 0 かつ D ≦ 0 \displaystyle {}\leqq 0 ≦ 0 したがって、否定をとると
f ( x ) \displaystyle f(x) f ( x ) ≦ 0 となる実数 x が存在する \displaystyle {}\leqq 0 \ \text{となる実数}\ x \ \text{が存在する} ≦ 0 となる実数 x が存在する ⟺ a \displaystyle {}\iff a ⟺ a < 0 または D \displaystyle {}< 0 \ \text{または}\ D < 0 または D ≧ 0 \displaystyle {}\geqq 0 ≧ 0 証明 1 つ目を示す。q q q = − D 4 a {}= -\dfrac{D}{4a} = − 4 a D とおくと、f ( x ) f(x) f ( x ) = a ( x − p ) 2 {}= a(x - p)^2 = a ( x − p ) 2 + q {}+ q + q ,f ( p ) f(p) f ( p ) = q {}= q = q である。
(⇐ \Leftarrow ⇐ ) 定理2 (iii) による。
(⇒ \Rightarrow ⇒ ) すべての x x x で f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 とする。まず x x x = p {}= p = p として q q q = f ( p ) {}= f(p) = f ( p ) > 0 {}> 0 > 0 。 次に、a a a < 0 {}< 0 < 0 と仮定して矛盾を導く。s s s = 2 q − a {}= \sqrt{\dfrac{2q}{-a}} = − a 2 q とおくと s 2 s^2 s 2 = − 2 q a {}= -\dfrac{2q}{a} = − a 2 q なので
f ( p + s ) \displaystyle f(p + s) f ( p + s ) = a s 2 \displaystyle {}= as^2 = a s 2 + q \displaystyle {}+ q + q = − 2 q \displaystyle {}= -2q = − 2 q + q \displaystyle {}+ q + q = − q \displaystyle {}= -q = − q < 0 \displaystyle {}< 0 < 0 となり、仮定に反する。よって a a a > 0 {}> 0 > 0 。 このとき q q q = − D 4 a {}= -\dfrac{D}{4a} = − 4 a D > 0 {}> 0 > 0 と a a a > 0 {}> 0 > 0 から D D D < 0 {}< 0 < 0 である。
2 つ目も同様に示せる(⇒ \Rightarrow ⇒ では q q q ≧ 0 {}\geqq 0 ≧ 0 を得る。a a a < 0 {}< 0 < 0 なら f ( p + s ) f(p + s) f ( p + s ) = a s 2 {}= as^2 = a s 2 + q {}+ q + q は s s s を大きくとると負になる。たとえば s s s = q + 1 − a {}= \sqrt{\dfrac{q + 1}{-a}} = − a q + 1 で f ( p + s ) f(p + s) f ( p + s ) = − 1 {}= -1 = − 1 )。
3 つ目の左辺は「すべての x x x で f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 」 の否定である。右辺「a a a > 0 {}> 0 > 0 かつ D D D < 0 {}< 0 < 0 」 の否定は、ド・モルガンの法則により「a a a ≦ 0 {}\leqq 0 ≦ 0 または D D D ≧ 0 {}\geqq 0 ≧ 0 」 で、a a a ≠ 0 {}\neq 0 = 0 だから「a a a < 0 {}< 0 < 0 または D D D ≧ 0 {}\geqq 0 ≧ 0 」 となる。(証明終)
第6章の定理2では、a a a > 0 {}> 0 > 0 を前提にして「すべての x x x で f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 ⟺ D {}\iff D ⟺ D < 0 {}< 0 < 0 」 を示しました。定理3では、その前提も条件の中に取り込みました。「a a a < 0 {}< 0 < 0 ならいつかは負になる」という部分は、上に凸の放物線は頂点から離れるほどいくらでも下がる、ということを式で確かめたものです。
小話3で見たように、「すべて」の否定は「ある」になります。a a a < 0 {}< 0 < 0 なら頂点から遠くで、D D D ≧ 0 {}\geqq 0 ≧ 0 なら頂点で、f ( x ) f(x) f ( x ) ≦ 0 {}\leqq 0 ≦ 0 となる x x x が実際に見つかります。
定理4:範囲を限ったときの条件
s s s < t {}< t < t とし、I I I を s s s ≦ x {}\leqq x ≦ x ≦ t {}\leqq t ≦ t を満たす x x x の範囲とする。
(i) I I I のすべての x x x について f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 ⟺ {}\iff ⟺ (I I I での f ( x ) f(x) f ( x ) の最小値)> 0 > 0 > 0
(ii) a a a > 0 {}> 0 > 0 のとき、I I I のすべての x x x について f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 ⟺ f ( s ) {}\iff f(s) ⟺ f ( s ) < 0 {}< 0 < 0 かつ f ( t ) f(t) f ( t ) < 0 {}< 0 < 0
証明 (i) 第3章の定理3より、I I I での最小値 m m m が存在し、I I I のある点 x 0 x_0 x 0 で m m m = f ( x 0 ) {}= f(x_0) = f ( x 0 ) となる。(⇒ \Rightarrow ⇒ ) x 0 x_0 x 0 は I I I に属するので m m m = f ( x 0 ) {}= f(x_0) = f ( x 0 ) > 0 {}> 0 > 0 。(⇐ \Leftarrow ⇐ ) I I I のすべての x x x で f ( x ) f(x) f ( x ) ≧ m {}\geqq m ≧ m > 0 {}> 0 > 0 。
(ii)(⇒ \Rightarrow ⇒ ) s s s ,t t t は I I I に属するので明らか。(⇐ \Leftarrow ⇐ ) I I I の点 x x x は、0 0 0 ≦ λ {}\leqq \lambda ≦ λ ≦ 1 {}\leqq 1 ≦ 1 を満たす λ \lambda λ を使って x x x = ( 1 − λ ) s {}= (1 - \lambda)s = ( 1 − λ ) s + λ t {}+ \lambda t + λ t と表せる。このとき
( 1 − λ ) f ( s ) \displaystyle (1 - \lambda)f(s) ( 1 − λ ) f ( s ) + λ f ( t ) \displaystyle {}+ \lambda f(t) + λ f ( t ) − f ( x ) \displaystyle {}- f(x) − f ( x ) = a λ ( 1 − λ ) ( t − s ) 2 \displaystyle {}= a\lambda(1 - \lambda)(t - s)^2 = aλ ( 1 − λ ) ( t − s ) 2 が成り立つ(b x bx b x + c {}+ c + c の部分は左辺で打ち消し合い、a x 2 ax^2 a x 2 の部分は ( 1 − λ ) s 2 (1 - \lambda)s^2 ( 1 − λ ) s 2 + λ t 2 {}+ \lambda t^2 + λ t 2 − { ( 1 − λ ) s + λ t } 2 {}- \{(1 - \lambda)s + \lambda t\}^2 − {( 1 − λ ) s + λ t } 2 = λ ( 1 − λ ) ( t − s ) 2 {}= \lambda(1 - \lambda)(t - s)^2 = λ ( 1 − λ ) ( t − s ) 2 となる)。右辺は 0 0 0 以上なので
f ( x ) \displaystyle f(x) f ( x ) ≦ ( 1 − λ ) f ( s ) \displaystyle {}\leqq (1 - \lambda)f(s) ≦ ( 1 − λ ) f ( s ) + λ f ( t ) \displaystyle {}+ \lambda f(t) + λ f ( t ) < 0 \displaystyle {}< 0 < 0 (f ( s ) f(s) f ( s ) < 0 {}< 0 < 0 , f ( t ) f(t) f ( t ) < 0 {}< 0 < 0 で、1 1 1 − λ {}- \lambda − λ ,λ \lambda λ は 0 0 0 以上かつ同時に 0 0 0 にならないため。)(証明終)
(ii) の不等式 f ( x ) f(x) f ( x ) ≦ ( 1 − λ ) f ( s ) {}\leqq (1 - \lambda)f(s) ≦ ( 1 − λ ) f ( s ) + λ f ( t ) {}+ \lambda f(t) + λ f ( t ) は、「下に凸のグラフは、両端を結ぶ線分より下(または線分上)にある」という意味です。右辺は、点 ( s , f ( s ) ) (s,\ f(s)) ( s , f ( s )) と点 ( t , f ( t ) ) (t,\ f(t)) ( t , f ( t )) を結ぶ線分の、x x x における高さだからです。両端が x x x 軸より下なら線分全体も下にあり、グラフはさらにその下を通ります。実践問題 j16 はこの定理の応用で、j17 は (i) を使って最小値で場合を分けた問題です。「下に凸」という性質は、微分積分の分野で「凸関数」として一般の関数に広げられます。
定理5:解から不等式が決まる
α \alpha α < β {}< \beta < β とする。不等式 f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 の解の集合が α \alpha α < x {}< x < x < β {}< \beta < β となるための必要十分条件は
a \displaystyle a a > 0 \displaystyle {}> 0 > 0 かつ \displaystyle \text{かつ} かつ f ( x ) \displaystyle f(x) f ( x ) = a ( x − α ) ( x − β ) \displaystyle {}= a(x - \alpha)(x - \beta) = a ( x − α ) ( x − β ) である。
証明 (⇐ \Leftarrow ⇐ ) 定理2 (i) による。
(⇒ \Rightarrow ⇒ ) a a a < 0 {}< 0 < 0 とすると、定理2 を − f ( x ) -f(x) − f ( x ) に当てはめて、f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 ⟺ − f ( x ) {}\iff -f(x) ⟺ − f ( x ) > 0 {}> 0 > 0 の解の集合は「x x x < γ {}< \gamma < γ または δ \delta δ < x {}< x < x の形(D D D > 0 {}> 0 > 0 )」 「実数全体から 1 点を除いたもの(D D D = 0 {}= 0 = 0 )」 「実数全体(D D D < 0 {}< 0 < 0 )」 のどれかである。どれも、いくらでも大きい x x x を含むので、α \alpha α < x {}< x < x < β {}< \beta < β にはならない。よって a a a > 0 {}> 0 > 0 。
a a a > 0 {}> 0 > 0 で D D D ≦ 0 {}\leqq 0 ≦ 0 なら、定理2 (ii)(iii) より f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 は解をもたないが、α \alpha α < x {}< x < x < β {}< \beta < β は空でないので不適。よって D D D > 0 {}> 0 > 0 で、f ( x ) f(x) f ( x ) = 0 {}= 0 = 0 の解を α ′ \alpha' α ′ < β ′ {}< \beta' < β ′ とすると、解の集合は α ′ \alpha' α ′ < x {}< x < x < β ′ {}< \beta' < β ′ である。
2 つの範囲 α \alpha α < x {}< x < x < β {}< \beta < β と α ′ \alpha' α ′ < x {}< x < x < β ′ {}< \beta' < β ′ が一致するとき、α \alpha α = α ′ {}= \alpha' = α ′ である。実際、α \alpha α < α ′ {}< \alpha' < α ′ なら、α \alpha α と min ( α ′ , β ) \min(\alpha',\ \beta) min ( α ′ , β ) の中点は前者に属し後者に属さない。α ′ \alpha' α ′ < α {}< \alpha < α でも同様。同じように β \beta β = β ′ {}= \beta' = β ′ である。したがって f ( x ) f(x) f ( x ) = a ( x − α ′ ) ( x − β ′ ) {}= a(x - \alpha')(x - \beta') = a ( x − α ′ ) ( x − β ′ ) = a ( x − α ) ( x − β ) {}= a(x - \alpha)(x - \beta) = a ( x − α ) ( x − β ) 。 (証明終)
例題5(2) や実践問題 j12 (2) の「> 0 > 0 > 0 の解が内側」の場合は、− f ( x ) -f(x) − f ( x ) < 0 {}< 0 < 0 に定理5を当てはめれば、「− a -a − a > 0 {}> 0 > 0 かつ − f ( x ) -f(x) − f ( x ) = − a ( x − α ) ( x − β ) {}= -a(x - \alpha)(x - \beta) = − a ( x − α ) ( x − β ) 」、 つまり a a a < 0 {}< 0 < 0 で f ( x ) f(x) f ( x ) = a ( x − α ) ( x − β ) {}= a(x - \alpha)(x - \beta) = a ( x − α ) ( x − β ) となります。解の形を見ただけで x 2 x^2 x 2 の係数の符号まで決まり、残りは係数比較(第4章 定理1)でただ 1 通りに決まる——解から係数を「定める」問題の答えがただ 1 つになる根拠が、この定理です。