ボールを投げたときの軌跡のような「山なりの曲線」は、y = a x 2 + b x + c y=ax^2+bx+c y = a x 2 + b x + c という式で表されます。この記事では、式を 1 回変形するだけで曲線の頂点や対称の軸が読み取れることを確かめ、そこから「ある区間での最大・最小」「方程式の解の個数」「解がどこにあるか」といった問題を、場合分けの漏れなく解けるようにします。
2 次関数のグラフの形(放物線 、頂点、軸)は、すべて平方完成 a x 2 + b x + c = a ( x + b 2 a ) 2 − D 4 a ax^2+bx+c=a\bigl(x+\tfrac{b}{2a}\bigr)^2-\tfrac{D}{4a} a x 2 + b x + c = a ( x + 2 a b ) 2 − 4 a D (D = b 2 − 4 a c D=b^2-4ac D = b 2 − 4 a c )という 1 つの恒等式から読み取れます。
閉区間 [ m , M ] [m,M] [ m , M ] での最大値・最小値は、軸の位置による場合分けで決まります。この記事では、場合分けが漏れなく、重複なく 全体を尽くすことを示します(最小は 3 通り、最大は 2 通り)。
解の公式と判別式 D D D は、平方完成の直接の帰結です。さらに、D = a 2 ( α − β ) 2 D=a^2(\alpha-\beta)^2 D = a 2 ( α − β ) 2 という式により、判別式の正体は「2 つの解の差の 2 乗(の a 2 a^2 a 2 倍)」だとわかります。
解の配置問題(「2 つの解がともに k k k より大きい」「p p p と q q q の間にちょうど 1 つの解がある」)は、f ( k ) f(k) f ( k ) の符号・軸の位置・判別式の 3 条件に翻訳できます。後者は中間値の定理(連続な関数が正の値と負の値をとるなら、その間で 0 0 0 もとる、という性質)を使います。
「すべての実数 t t t について a t 2 + b t + c ≥ 0 at^2+bt+c\ge0 a t 2 + b t + c ≥ 0 」は、a ≠ 0 a\ne0 a = 0 のとき「a > 0 a>0 a > 0 かつ D ≤ 0 D\le0 D ≤ 0 」と同値です(a = 0 a=0 a = 0 の場合は命題の中で別に扱います)。この型の判別式の不等式は、次章の Cauchy–Schwarz の不等式(2 つのベクトルの内積の大きさを、それぞれの長さの積で抑える不等式)の証明に使います。
大学では、2 次関数は凸関数(グラフが下にふくらんだ形の関数)と2 次形式 (x 2 x^2 x 2 、x y xy x y 、y 2 y^2 y 2 のように 2 次の項だけでできた式。線形代数の主軸定理で扱います)に一般化されます。
この記事で使う事前知識
実数の計算規則と不等式 : 和・積の交換や分配、平方は 0 0 0 以上、といった実数の基本的な性質。→ 数と式
絶対値 : 数直線上で、数 x x x と原点との距離を表す量 ∣ x ∣ |x| ∣ x ∣ 。→ 絶対値
放物線 : 2 次関数のグラフとして現れる、左右対称な山なり(または谷なり)の曲線。→ 放物線
連続性 : 関数のグラフが途切れずにつながっていること。解の配置の証明で使います。→ 連続性
2 次関数は、高校数学で最初に出会う「非自明な」関数です。1 次関数 y = a x + b y=ax+b y = a x + b は増えるか減るかのどちらかで、最大・最小は端点でしか起こりません。2 次関数では減る領域と増える領域が切り替わるため、最大・最小が内部で起こり、場合分けが必要になります。
また、2 次関数は一般の関数を近似する最初の道具でもあります。微分を学ぶと、なめらかな関数は各点のまわりで 1 次関数、次いで 2 次関数で近似されます(Taylor の定理。関数を多項式で近似する定理です)。極値の判定(第 2 次導関数の符号)は、まさに「その点のまわりの 2 次関数の形」を見るものです。
この記事では、高校の 2 次関数の話題を、定義 → 定理 → 証明の形に整理します。使う道具は前章 数と式 で示した計算規則・絶対値・平方根の性質と、中間値の定理だけです。
定義 2.1 (関数のグラフと 2 次関数 ) ↗
実数の部分集合 A A A から R \mathbb{R} R への関数 f f f に対し、平面 R 2 \mathbb{R}^2 R 2 の部分集合
G f = { ( x , f ( x ) ) ∣ x ∈ A } G_f=\{(x,f(x))\mid x\in A\} G f = {( x , f ( x )) ∣ x ∈ A } を f f f のグラフ という。a ≠ 0 a\ne0 a = 0 として f ( x ) = a x 2 + b x + c f(x)=ax^2+bx+c f ( x ) = a x 2 + b x + c と書ける関数を 2 次関数 という。
証明(命題 2.2) (1) 点 ( X , Y ) (X,Y) ( X , Y ) が新しいグラフ上にあることは、Y = f ( X − p ) + q Y=f(X-p)+q Y = f ( X − p ) + q 、すなわち Y − q = f ( X − p ) Y-q=f(X-p) Y − q = f ( X − p ) ということです。これは点 ( X − p , Y − q ) (X-p,\,Y-q) ( X − p , Y − q ) が G f G_f G f 上にあることと同じです。したがって新しいグラフは { ( x + p , y + q ) ∣ ( x , y ) ∈ G f } \{(x+p,\,y+q)\mid(x,y)\in G_f\} {( x + p , y + q ) ∣ ( x , y ) ∈ G f } です。
(2) 点 ( X , Y ) (X,Y) ( X , Y ) が y = − f ( x ) y=-f(x) y = − f ( x ) のグラフ上にあることは − Y = f ( X ) -Y=f(X) − Y = f ( X ) 、すなわち ( X , − Y ) ∈ G f (X,-Y)\in G_f ( X , − Y ) ∈ G f ということで、これは G f G_f G f の点 ( x , y ) (x,y) ( x , y ) を ( x , − y ) (x,-y) ( x , − y ) に写す対称移動の像と同じです。他の 2 つも、( x , y ) ↦ ( − x , y ) (x,y)\mapsto(-x,y) ( x , y ) ↦ ( − x , y ) 、( x , y ) ↦ ( − x , − y ) (x,y)\mapsto(-x,-y) ( x , y ) ↦ ( − x , − y ) について同じです。
∎
補題 3.1 (平方完成 ) ✓
a ≠ 0 a\ne0 a = 0 とし、D = b 2 − 4 a c D=b^2-4ac D = b 2 − 4 a c とおく。すべての実数 x x x について
a x 2 + b x + c = a ( x + b 2 a ) 2 − D 4 a . ax^2+bx+c=a\Bigl(x+\frac{b}{2a}\Bigr)^2-\frac{D}{4a}. a x 2 + b x + c = a ( x + 2 a b ) 2 − 4 a D . とくに、a > 0 a>0 a > 0 ならば a x 2 + b x + c ≥ − D 4 a ax^2+bx+c\ge-\dfrac{D}{4a} a x 2 + b x + c ≥ − 4 a D で、等号は x = − b 2 a x=-\dfrac{b}{2a} x = − 2 a b のときに限る。a < 0 a<0 a < 0 ならば不等号が逆向きで、等号条件は同じである。
証明(補題 3.1) 右辺を展開すると a ( x 2 + b a x + b 2 4 a 2 ) − b 2 − 4 a c 4 a = a x 2 + b x + b 2 4 a − b 2 4 a + c a\bigl(x^2+\tfrac{b}{a}x+\tfrac{b^2}{4a^2}\bigr)-\tfrac{b^2-4ac}{4a}=ax^2+bx+\tfrac{b^2}{4a}-\tfrac{b^2}{4a}+c a ( x 2 + a b x + 4 a 2 b 2 ) − 4 a b 2 − 4 a c = a x 2 + b x + 4 a b 2 − 4 a b 2 + c で、左辺に一致します。a > 0 a>0 a > 0 のとき、( x + b 2 a ) 2 ≥ 0 \bigl(x+\tfrac{b}{2a}\bigr)^2\ge0 ( x + 2 a b ) 2 ≥ 0 (命題 2.2[数と式] (3))で、a > 0 a>0 a > 0 をかけて a ( x + b 2 a ) 2 ≥ 0 a\bigl(x+\tfrac{b}{2a}\bigr)^2\ge0 a ( x + 2 a b ) 2 ≥ 0 。等号は平方が 0 0 0 のとき、すなわち(命題 2.2[数と式] (2))x = − b 2 a x=-\tfrac{b}{2a} x = − 2 a b のときに限ります。a < 0 a<0 a < 0 のときは a ( x + b 2 a ) 2 ≤ 0 a\bigl(x+\tfrac{b}{2a}\bigr)^2\le0 a ( x + 2 a b ) 2 ≤ 0 です。
∎
したがって、y = a x 2 + b x + c y=ax^2+bx+c y = a x 2 + b x + c のグラフは、y = a x 2 y=ax^2 y = a x 2 のグラフを平行移動したもの(命題 2.2 (1)、p = − b 2 a p=-\tfrac{b}{2a} p = − 2 a b 、q = − D 4 a q=-\tfrac{D}{4a} q = − 4 a D )であり、頂点 ( − b 2 a , − D 4 a ) \bigl(-\tfrac{b}{2a},-\tfrac{D}{4a}\bigr) ( − 2 a b , − 4 a D ) をもち、軸 x = − b 2 a x=-\tfrac{b}{2a} x = − 2 a b に関して対称です。軸に関する対称性は、f ( p + t ) = f ( p − t ) = a t 2 + q f(p+t)=f(p-t)=at^2+q f ( p + t ) = f ( p − t ) = a t 2 + q からすぐに従います。
頂点 (p, q) をもつ放物線と、閉区間 [m, M]。軸が区間の内側にあるか外側にあるかで最小値の取り方が変わる
定理 4.1 (閉区間での 2 次関数の最大・最小 ) ✓
f ( x ) = a ( x − p ) 2 + q f(x)=a(x-p)^2+q f ( x ) = a ( x − p ) 2 + q (a > 0 a>0 a > 0 )とし、閉区間 [ m , M ] [m,M] [ m , M ] (m < M m<M m < M )での最小値・最大値を考える。
最小値 : (i) p < m p<m p < m のとき f ( m ) f(m) f ( m ) 、(ii) m ≤ p ≤ M m\le p\le M m ≤ p ≤ M のとき f ( p ) = q f(p)=q f ( p ) = q 、(iii) M < p M<p M < p のとき f ( M ) f(M) f ( M ) 。
最大値 : (iv) p ≤ m + M 2 p\le\dfrac{m+M}{2} p ≤ 2 m + M のとき f ( M ) f(M) f ( M ) 、(v) p ≥ m + M 2 p\ge\dfrac{m+M}{2} p ≥ 2 m + M のとき f ( m ) f(m) f ( m ) 。
(i)〜(iii) は互いに排反で全体を尽くす。(iv) と (v) は p = m + M 2 p=\tfrac{m+M}{2} p = 2 m + M で重なるが、そのとき f ( m ) = f ( M ) f(m)=f(M) f ( m ) = f ( M ) なので値は一致する。a < 0 a<0 a < 0 のときは、− f -f − f に上を適用して最大と最小を入れ替えればよい。
この定理の方針は、「頂点(軸)に近い点ほど値が小さい」ことを使って、軸が区間のどこにあるかで場合を分けることです。たとえば f ( x ) = ( x − 2 ) 2 f(x)=(x-2)^2 f ( x ) = ( x − 2 ) 2 を区間 [ 0 , 3 ] [0,3] [ 0 , 3 ] で考えると、軸 x = 2 x=2 x = 2 は区間の内側にあるので最小値は f ( 2 ) = 0 f(2)=0 f ( 2 ) = 0 、軸は区間の中点 1.5 1.5 1.5 より右にあるので最大値は遠い端点の f ( 0 ) = 4 f(0)=4 f ( 0 ) = 4 です(f ( 3 ) = 1 f(3)=1 f ( 3 ) = 1 より大きい)。証明では、これを式で確かめます。
軸 p p p を左から右へ動かしたとき、最小の点(緑の丸)と最大の点(赤い四角)がどう移るかを見てください。最小は端点、軸、端点と切り替わり、最大は中点(橙の点線)を越えた瞬間に反対側の端点へ飛びます。
区間 [1, 4] で f(x)=(x−p)² の軸 p を −0.5 から 5.5 まで動かす。最小の点は (i)(ii)(iii) の順に移り、最大の点は区間の中点で左右の端点を入れ替える。
証明(定理 4.1) 網羅性。 実数 p p p は、順序の公理(三分律)により p < m p<m p < m 、m ≤ p ≤ M m\le p\le M m ≤ p ≤ M 、M < p M<p M < p のちょうど 1 つを満たします。p p p と m + M 2 \tfrac{m+M}{2} 2 m + M の大小も同様に、p ≤ m + M 2 p\le\tfrac{m+M}{2} p ≤ 2 m + M と p ≥ m + M 2 p\ge\tfrac{m+M}{2} p ≥ 2 m + M のいずれか(少なくとも一方)が成り立ちます。
値。 f ( x ) = a ∣ x − p ∣ 2 + q f(x)=a|x-p|^2+q f ( x ) = a ∣ x − p ∣ 2 + q で、a > 0 a>0 a > 0 かつ t ↦ t 2 t\mapsto t^2 t ↦ t 2 は t ≥ 0 t\ge0 t ≥ 0 で狭義単調増加(命題 2.2[数と式] (6))なので、f ( x ) f(x) f ( x ) は ∣ x − p ∣ |x-p| ∣ x − p ∣ が大きいほど大きくなります。したがって、[ m , M ] [m,M] [ m , M ] での f f f の最小・最大は、∣ x − p ∣ |x-p| ∣ x − p ∣ の最小・最大で決まります。
(i) p < m p<m p < m なら、x ∈ [ m , M ] x\in[m,M] x ∈ [ m , M ] で x − p ≥ m − p > 0 x-p\ge m-p>0 x − p ≥ m − p > 0 。最小は x = m x=m x = m 。(ii) p ∈ [ m , M ] p\in[m,M] p ∈ [ m , M ] なら ∣ x − p ∣ ≥ 0 = ∣ p − p ∣ |x-p|\ge0=|p-p| ∣ x − p ∣ ≥ 0 = ∣ p − p ∣ で最小は x = p x=p x = p 。(iii) M < p M<p M < p なら ∣ x − p ∣ = p − x ≥ p − M |x-p|=p-x\ge p-M ∣ x − p ∣ = p − x ≥ p − M で最小は x = M x=M x = M 。
(iv)(v) x ∈ [ m , M ] x\in[m,M] x ∈ [ m , M ] とすると m − p ≤ x − p ≤ M − p m-p\le x-p\le M-p m − p ≤ x − p ≤ M − p なので、t = max ( ∣ m − p ∣ , ∣ M − p ∣ ) t=\max(|m-p|,|M-p|) t = max ( ∣ m − p ∣ , ∣ M − p ∣ ) とおくと − t ≤ m − p ≤ x − p ≤ M − p ≤ t -t\le m-p\le x-p\le M-p\le t − t ≤ m − p ≤ x − p ≤ M − p ≤ t (定理 3.2[数と式] (2))、よって ∣ x − p ∣ ≤ t |x-p|\le t ∣ x − p ∣ ≤ t (定理 3.2[数と式] (6))で、x x x が m m m または M M M のとき等号が成り立つので最大は t t t です。どちらが大きいかは ( m − p ) 2 − ( M − p ) 2 = ( m − M ) ( m + M − 2 p ) (m-p)^2-(M-p)^2=(m-M)(m+M-2p) ( m − p ) 2 − ( M − p ) 2 = ( m − M ) ( m + M − 2 p ) の符号で決まります。m − M < 0 m-M<0 m − M < 0 なので、p ≥ m + M 2 p\ge\tfrac{m+M}{2} p ≥ 2 m + M (すなわち m + M − 2 p ≤ 0 m+M-2p\le0 m + M − 2 p ≤ 0 )のとき ∣ m − p ∣ ≥ ∣ M − p ∣ |m-p|\ge|M-p| ∣ m − p ∣ ≥ ∣ M − p ∣ で最大は f ( m ) f(m) f ( m ) 、p ≤ m + M 2 p\le\tfrac{m+M}{2} p ≤ 2 m + M のとき最大は f ( M ) f(M) f ( M ) です。
∎
例 4.2 (文字を含む場合の最小値 )
f ( x ) = x 2 − 2 a x + 3 f(x)=x^2-2ax+3 f ( x ) = x 2 − 2 a x + 3 (a a a は定数)の区間 [ 0 , 2 ] [0,2] [ 0 , 2 ] での最小値 g ( a ) g(a) g ( a ) を求める。平方完成すると f ( x ) = ( x − a ) 2 + 3 − a 2 f(x)=(x-a)^2+3-a^2 f ( x ) = ( x − a ) 2 + 3 − a 2 で、軸は x = a x=a x = a 。定理 4.1 により、a < 0 a<0 a < 0 なら g ( a ) = f ( 0 ) = 3 g(a)=f(0)=3 g ( a ) = f ( 0 ) = 3 、0 ≤ a ≤ 2 0\le a\le2 0 ≤ a ≤ 2 なら g ( a ) = 3 − a 2 g(a)=3-a^2 g ( a ) = 3 − a 2 、a > 2 a>2 a > 2 なら g ( a ) = f ( 2 ) = 7 − 4 a g(a)=f(2)=7-4a g ( a ) = f ( 2 ) = 7 − 4 a 。3 つの場合は a a a の範囲として切れ目なくつながり(a = 0 a=0 a = 0 で 3 3 3 、a = 2 a=2 a = 2 で − 1 -1 − 1 に一致する)、グラフは連続です。場合分けの境目の値が一致することを確かめるのは、計算の誤りを見つける有効な検算です。
例 4.3 (折れ線の関数の最小値 )
h ( x ) = ∣ x − 1 ∣ + ∣ x − 4 ∣ + ∣ x − 6 ∣ h(x)=|x-1|+|x-4|+|x-6| h ( x ) = ∣ x − 1∣ + ∣ x − 4∣ + ∣ x − 6∣ の最小値を求める。区間ごとに 1 次式になります。x ≤ 1 x\le1 x ≤ 1 で h = 11 − 3 x h=11-3x h = 11 − 3 x 、1 ≤ x ≤ 4 1\le x\le4 1 ≤ x ≤ 4 で h = 9 − x h=9-x h = 9 − x 、4 ≤ x ≤ 6 4\le x\le6 4 ≤ x ≤ 6 で h = x + 1 h=x+1 h = x + 1 、6 ≤ x 6\le x 6 ≤ x で h = 3 x − 11 h=3x-11 h = 3 x − 11 。傾きは − 3 , − 1 , + 1 , + 3 -3,-1,+1,+3 − 3 , − 1 , + 1 , + 3 と増えていくので、最小は傾きが負から正に変わる x = 4 x=4 x = 4 (3 数の中央値)で、h ( 4 ) = 5 h(4)=5 h ( 4 ) = 5 です。2 次関数の最小が軸で起こるのと対応して、折れ線関数の最小は傾きの符号が変わる点で起こります。
証明(定理 5.1) 補題 3.1 により、方程式は a ( x + b 2 a ) 2 = D 4 a a\bigl(x+\tfrac{b}{2a}\bigr)^2=\tfrac{D}{4a} a ( x + 2 a b ) 2 = 4 a D 、すなわち ( x + b 2 a ) 2 = D 4 a 2 = ( D 2 a ) 2 \bigl(x+\tfrac{b}{2a}\bigr)^2=\tfrac{D}{4a^2}=\bigl(\tfrac{\sqrt D}{2a}\bigr)^2 ( x + 2 a b ) 2 = 4 a 2 D = ( 2 a D ) 2 と同値です(a ≠ 0 a\ne0 a = 0 で両辺を割った)。u 2 = v 2 u^2=v^2 u 2 = v 2 は ( u − v ) ( u + v ) = 0 (u-v)(u+v)=0 ( u − v ) ( u + v ) = 0 と同値で、命題 2.2[数と式] (2) により u = v u=v u = v または u = − v u=-v u = − v です。よって x + b 2 a = ± D 2 a x+\tfrac{b}{2a}=\pm\tfrac{\sqrt D}{2a} x + 2 a b = ± 2 a D 。
∎
定理 5.2 (判別式と解の個数 ) ✓
a ≠ 0 a\ne0 a = 0 、D = b 2 − 4 a c D=b^2-4ac D = b 2 − 4 a c とする。方程式 a x 2 + b x + c = 0 ax^2+bx+c=0 a x 2 + b x + c = 0 の実数解の個数は、D > 0 D>0 D > 0 のとき 2 個、D = 0 D=0 D = 0 のとき 1 個(重解)、D < 0 D<0 D < 0 のとき 0 個である。
証明(定理 5.2) D ≥ 0 D\ge0 D ≥ 0 の場合は 定理 5.1 で、D > 0 D>0 D > 0 なら D > 0 \sqrt D>0 D > 0 より 2 つの値は異なり、D = 0 D=0 D = 0 なら一致します。D < 0 D<0 D < 0 とすると、補題 3.1 により a x 2 + b x + c = a ( x + b 2 a ) 2 − D 4 a = 1 4 a ( 4 a 2 ( x + b 2 a ) 2 − D ) ax^2+bx+c=a\bigl(x+\tfrac{b}{2a}\bigr)^2-\tfrac{D}{4a}=\tfrac{1}{4a}\bigl(4a^2(x+\tfrac{b}{2a})^2-D\bigr) a x 2 + b x + c = a ( x + 2 a b ) 2 − 4 a D = 4 a 1 ( 4 a 2 ( x + 2 a b ) 2 − D ) で、括弧の中は ( 2 a x + b ) 2 + ( − D ) > 0 (2ax+b)^2+(-D)>0 ( 2 a x + b ) 2 + ( − D ) > 0 (命題 2.2[数と式] (3))なので 0 0 0 になりません。解は存在しません。
∎
命題 5.3 (判別式の正体と解と係数の関係 ) ✓
D ≥ 0 D\ge0 D ≥ 0 のときの 2 解を α , β \alpha,\beta α , β (D = 0 D=0 D = 0 なら α = β \alpha=\beta α = β )とする。このとき
α + β = − b a , α β = c a , D = a 2 ( α − β ) 2 , \alpha+\beta=-\frac{b}{a},\qquad \alpha\beta=\frac{c}{a},\qquad D=a^2(\alpha-\beta)^2, α + β = − a b , α β = a c , D = a 2 ( α − β ) 2 , かつ a x 2 + b x + c = a ( x − α ) ( x − β ) ax^2+bx+c=a(x-\alpha)(x-\beta) a x 2 + b x + c = a ( x − α ) ( x − β ) である。
証明(命題 5.3) 定理 5.1 の 2 解 α , β = − b ± D 2 a \alpha,\beta=\dfrac{-b\pm\sqrt D}{2a} α , β = 2 a − b ± D について、和は − b / a -b/a − b / a 、積は b 2 − D 4 a 2 = 4 a c 4 a 2 = c a \dfrac{b^2-D}{4a^2}=\dfrac{4ac}{4a^2}=\dfrac ca 4 a 2 b 2 − D = 4 a 2 4 a c = a c 、差は α − β = D a \alpha-\beta=\dfrac{\sqrt D}{a} α − β = a D なので a 2 ( α − β ) 2 = D a^2(\alpha-\beta)^2=D a 2 ( α − β ) 2 = D です。最後の等式は a ( x − α ) ( x − β ) = a ( x 2 − ( α + β ) x + α β ) = a x 2 + b x + c a(x-\alpha)(x-\beta)=a\bigl(x^2-(\alpha+\beta)x+\alpha\beta\bigr)=ax^2+bx+c a ( x − α ) ( x − β ) = a ( x 2 − ( α + β ) x + α β ) = a x 2 + b x + c です。
∎
判別式が D = a 2 ( α − β ) 2 D=a^2(\alpha-\beta)^2 D = a 2 ( α − β ) 2 と書けるので、D = 0 D=0 D = 0 は「2 つの解が一致する」、D > 0 D>0 D > 0 は「2 つの解が実数で異なる」ことを表します。解が複素数のときの D < 0 D<0 D < 0 の意味は、多項式の割り算と高次方程式 で扱います。
定理 6.1 (2 次不等式の解 ) ✓
a > 0 a>0 a > 0 とし、f ( x ) = a x 2 + b x + c f(x)=ax^2+bx+c f ( x ) = a x 2 + b x + c 、D = b 2 − 4 a c D=b^2-4ac D = b 2 − 4 a c とする。
D > 0 D>0 D > 0 で解を α < β \alpha<\beta α < β とすると、f ( x ) > 0 ⟺ x < α f(x)>0\iff x<\alpha f ( x ) > 0 ⟺ x < α または x > β x>\beta x > β 、f ( x ) < 0 ⟺ α < x < β f(x)<0\iff\alpha<x<\beta f ( x ) < 0 ⟺ α < x < β 。
D = 0 D=0 D = 0 で重解を α \alpha α とすると、f ( x ) > 0 ⟺ x ≠ α f(x)>0\iff x\ne\alpha f ( x ) > 0 ⟺ x = α 、f ( x ) < 0 f(x)<0 f ( x ) < 0 を満たす x x x はない。
D < 0 D<0 D < 0 ならば、すべての実数 x x x で f ( x ) > 0 f(x)>0 f ( x ) > 0 。
a < 0 a<0 a < 0 のときは、− f -f − f に適用すれば不等号の向きが逆の結果が得られる。
証明(定理 6.1) D ≥ 0 D\ge0 D ≥ 0 のとき、命題 5.3 により f ( x ) = a ( x − α ) ( x − β ) f(x)=a(x-\alpha)(x-\beta) f ( x ) = a ( x − α ) ( x − β ) 。a > 0 a>0 a > 0 なので f ( x ) > 0 f(x)>0 f ( x ) > 0 は ( x − α ) ( x − β ) > 0 (x-\alpha)(x-\beta)>0 ( x − α ) ( x − β ) > 0 と同値、すなわち 2 因数が同符号です。α < β \alpha<\beta α < β とすると、ともに正なら x > β x>\beta x > β 、ともに負なら x < α x<\alpha x < α 。α < x < β \alpha<x<\beta α < x < β なら x − α > 0 > x − β x-\alpha>0>x-\beta x − α > 0 > x − β で積は負、x = α , β x=\alpha,\beta x = α , β なら積は 0 0 0 です。D = 0 D=0 D = 0 なら f ( x ) = a ( x − α ) 2 ≥ 0 f(x)=a(x-\alpha)^2\ge0 f ( x ) = a ( x − α ) 2 ≥ 0 で、0 0 0 になるのは x = α x=\alpha x = α のときだけです。D < 0 D<0 D < 0 のときは 補題 3.1 により f ( x ) ≥ − D 4 a > 0 f(x)\ge-\tfrac{D}{4a}>0 f ( x ) ≥ − 4 a D > 0 (a > 0 a>0 a > 0 、D < 0 D<0 D < 0 )です。
∎
定理 6.2 (解の配置 ) ✓
f ( x ) = a x 2 + b x + c f(x)=ax^2+bx+c f ( x ) = a x 2 + b x + c (a > 0 a>0 a > 0 )、D = b 2 − 4 a c D=b^2-4ac D = b 2 − 4 a c とし、k , p , q k,p,q k , p , q を実数とする。
f ( p ) < 0 f(p)<0 f ( p ) < 0 ならば、f f f は異なる 2 つの実数解 α < p < β \alpha<p<\beta α < p < β をもつ。
2 つの実数解(重解は 2 つと数える)がともに k k k より大きいための必要十分条件は、D ≥ 0 D\ge0 D ≥ 0 、− b 2 a > k -\dfrac{b}{2a}>k − 2 a b > k 、f ( k ) > 0 f(k)>0 f ( k ) > 0 の 3 つがすべて成り立つことである。
p < q p<q p < q とする。f ( p ) f ( q ) < 0 f(p)f(q)<0 f ( p ) f ( q ) < 0 ならば、( p , q ) (p,q) ( p , q ) にちょうど 1 つの解がある。
証明は (1)〜(3) の順に行います。(1) は「f ( p ) f(p) f ( p ) が負なら、グラフが x x x 軸をまたぐ」、(2) は 3 条件が「2 解がともに k k k の右にある」ことと同じ意味であること(必要と十分の両方向)、(3) は 2 つの端点で符号が違えば、間にちょうど 1 つ解があること(存在と、1 つしかないことの 2 段階)を示します。
証明(定理 6.2) (1) f ( p ) < 0 f(p)<0 f ( p ) < 0 とすると、D = b 2 − 4 a c D=b^2-4ac D = b 2 − 4 a c について 補題 3.1 より − D 4 a ≤ f ( p ) < 0 -\tfrac{D}{4a}\le f(p)<0 − 4 a D ≤ f ( p ) < 0 なので D > 0 D>0 D > 0 。2 解 α < β \alpha<\beta α < β をとると f ( p ) = a ( p − α ) ( p − β ) < 0 f(p)=a(p-\alpha)(p-\beta)<0 f ( p ) = a ( p − α ) ( p − β ) < 0 で、定理 6.1 により α < p < β \alpha<p<\beta α < p < β 。
(2) (必要)2 解 α ≤ β \alpha\le\beta α ≤ β がともに k k k より大きいなら、実数解をもつので D ≥ 0 D\ge0 D ≥ 0 。f ( k ) = a ( k − α ) ( k − β ) > 0 f(k)=a(k-\alpha)(k-\beta)>0 f ( k ) = a ( k − α ) ( k − β ) > 0 (負の数 2 つの積)。軸 − b 2 a = α + β 2 > k -\tfrac{b}{2a}=\tfrac{\alpha+\beta}{2}>k − 2 a b = 2 α + β > k です。(十分)D ≥ 0 D\ge0 D ≥ 0 から実数解 α ≤ β \alpha\le\beta α ≤ β があります。f ( k ) > 0 f(k)>0 f ( k ) > 0 から ( k − α ) ( k − β ) > 0 (k-\alpha)(k-\beta)>0 ( k − α ) ( k − β ) > 0 で、2 因数は同符号です。ともに正なら k > β ≥ α k>\beta\ge\alpha k > β ≥ α で、すると α + β 2 ≤ β < k \tfrac{\alpha+\beta}{2}\le\beta<k 2 α + β ≤ β < k となり軸の条件に反します。したがってともに負で、k < α ≤ β k<\alpha\le\beta k < α ≤ β です。
(3) 存在。f f f は連続で(多項式関数の連続性(系 5.2)[極限と連続性] )f ( p ) f(p) f ( p ) と f ( q ) f(q) f ( q ) は異符号なので、0 0 0 はその間にあり、中間値の定理(定理 5.7)[極限と連続性] により f ( c ) = 0 f(c)=0 f ( c ) = 0 となる c ∈ [ p , q ] c\in[p,q] c ∈ [ p , q ] が存在します。f ( p ) , f ( q ) ≠ 0 f(p),f(q)\ne0 f ( p ) , f ( q ) = 0 なので c ∈ ( p , q ) c\in(p,q) c ∈ ( p , q ) 。一意性。異なる解 α < β \alpha<\beta α < β が ( p , q ) (p,q) ( p , q ) に 2 つあれば、p < α < β < q p<\alpha<\beta<q p < α < β < q で、f ( p ) = a ( p − α ) ( p − β ) > 0 f(p)=a(p-\alpha)(p-\beta)>0 f ( p ) = a ( p − α ) ( p − β ) > 0 、f ( q ) = a ( q − α ) ( q − β ) > 0 f(q)=a(q-\alpha)(q-\beta)>0 f ( q ) = a ( q − α ) ( q − β ) > 0 となり f ( p ) f ( q ) > 0 f(p)f(q)>0 f ( p ) f ( q ) > 0 で仮定に反します。重解の場合も同じ議論です。
∎
2 解がともに k より大きい場合。実数解がある(D≥0)、軸が k の右、k での値 f(k) が正、の 3 条件が図のどこに当たるか
(2) の 3 条件はそれぞれ、「実数解がある」「解の中点(軸)が k k k より右」「f ( k ) f(k) f ( k ) が正(k k k は 2 解の外側)」を表します。「k k k が 2 解の外側」と「軸が k k k の右」を組み合わせることで、「外側かつ左側」という 1 つの位置が決まる、というのが配置の考え方です。
命題 7.1 (2 つの 2 次方程式の共通解 ) ✓
p ≠ p ′ p\ne p' p = p ′ とし、x 2 + p x + q = 0 x^2+px+q=0 x 2 + p x + q = 0 と x 2 + p ′ x + q ′ = 0 x^2+p'x+q'=0 x 2 + p ′ x + q ′ = 0 を考える。両方を満たす実数 x x x は存在すれば x 0 = − q ′ − q p ′ − p x_0=-\dfrac{q'-q}{p'-p} x 0 = − p ′ − p q ′ − q ただ 1 つで、存在するための必要十分条件は
( q ′ − q ) 2 = ( p ′ − p ) ( p q ′ − p ′ q ) (q'-q)^2=(p'-p)(pq'-p'q) ( q ′ − q ) 2 = ( p ′ − p ) ( p q ′ − p ′ q ) である。
方針は、2 つの式を引いて x 2 x^2 x 2 を消し、x x x の 1 次式にすることです。共通解があるならこの 1 次式の解しかありえないので、候補が 1 つに絞れます。あとはその候補が元の式を満たす条件を計算します(途中の u , v , w u,v,w u , v , w は、式を見やすくするための置き換えです)。
証明(命題 7.1) 2 式を引くと ( p ′ − p ) x + ( q ′ − q ) = 0 (p'-p)x+(q'-q)=0 ( p ′ − p ) x + ( q ′ − q ) = 0 で、p ′ ≠ p p'\ne p p ′ = p から共通解は x 0 = − q ′ − q p ′ − p x_0=-\tfrac{q'-q}{p'-p} x 0 = − p ′ − p q ′ − q だけです。u = p ′ − p u=p'-p u = p ′ − p 、v = q ′ − q v=q'-q v = q ′ − q 、w = p q ′ − p ′ q w=pq'-p'q w = p q ′ − p ′ q とおきます。x 0 = − v / u x_0=-v/u x 0 = − v / u が第 1 式を満たす条件は x 0 2 + p x 0 + q = 0 x_0^2+px_0+q=0 x 0 2 + p x 0 + q = 0 、すなわち v 2 u 2 − p v u + q = v 2 − p u v + q u 2 u 2 = 0 \tfrac{v^2}{u^2}-\tfrac{pv}{u}+q=\tfrac{v^2-puv+qu^2}{u^2}=0 u 2 v 2 − u p v + q = u 2 v 2 − p uv + q u 2 = 0 です。分子は v 2 − u ( p v − q u ) v^2-u(pv-qu) v 2 − u ( p v − q u ) で、p v − q u = p ( q ′ − q ) − q ( p ′ − p ) = p q ′ − p ′ q = w pv-qu=p(q'-q)-q(p'-p)=pq'-p'q=w p v − q u = p ( q ′ − q ) − q ( p ′ − p ) = p q ′ − p ′ q = w なので、条件は v 2 = u w v^2=uw v 2 = u w です。x 0 x_0 x 0 が第 1 式を満たせば、( p ′ − p ) x 0 + ( q ′ − q ) = 0 (p'-p)x_0+(q'-q)=0 ( p ′ − p ) x 0 + ( q ′ − q ) = 0 により第 2 式も満たします。
∎
命題 7.2 (判別式で示す不等式 ) ✓
実数 a , b , c a,b,c a , b , c について、すべての実数 t t t で a t 2 + b t + c ≥ 0 at^2+bt+c\ge0 a t 2 + b t + c ≥ 0 が成り立つための必要十分条件は、「a > 0 a>0 a > 0 かつ b 2 − 4 a c ≤ 0 b^2-4ac\le0 b 2 − 4 a c ≤ 0 」または「a = 0 a=0 a = 0 かつ b = 0 b=0 b = 0 かつ c ≥ 0 c\ge0 c ≥ 0 」である。
証明は a a a の符号で 3 つに分けます。a = 0 a=0 a = 0 (b ≠ 0 b\ne0 b = 0 のとき)と a < 0 a<0 a < 0 の場合は、「この t t t を代入すると値が負になる」という具体的な t t t を 1 つ見つけて不成立を示します(a < 0 a<0 a < 0 の t t t の式が複雑なのは、どんな a , b , c a,b,c a , b , c でも使えるように選ぶためです)。a > 0 a>0 a > 0 の場合は平方完成から最小値が読めるので、その符号を見ます。
証明(命題 7.2) a = 0 a=0 a = 0 のとき。 b ≠ 0 b\ne0 b = 0 なら t = − c + 1 b t=-\tfrac{c+1}{b} t = − b c + 1 で b t + c = − 1 < 0 bt+c=-1<0 b t + c = − 1 < 0 なので不成立です。b = 0 b=0 b = 0 なら不等式は c ≥ 0 c\ge0 c ≥ 0 と同値です。
a < 0 a<0 a < 0 のとき。 不成立であることを示します。補題 3.1 により a t 2 + b t + c = − ∣ a ∣ s 2 + D 4 ∣ a ∣ at^2+bt+c=-|a|s^2+\tfrac{D}{4|a|} a t 2 + b t + c = − ∣ a ∣ s 2 + 4∣ a ∣ D (s = t + b 2 a s=t+\tfrac{b}{2a} s = t + 2 a b 、a = − ∣ a ∣ a=-|a| a = − ∣ a ∣ を使った)です。s = ( ∣ D ∣ 4 ∣ a ∣ + 1 ) / ∣ a ∣ s=\sqrt{\bigl(\tfrac{|D|}{4|a|}+1\bigr)/|a|} s = ( 4∣ a ∣ ∣ D ∣ + 1 ) /∣ a ∣ となる t t t をとれば、値は − ∣ D ∣ 4 ∣ a ∣ − 1 + D 4 ∣ a ∣ ≤ − 1 < 0 -\tfrac{|D|}{4|a|}-1+\tfrac{D}{4|a|}\le-1<0 − 4∣ a ∣ ∣ D ∣ − 1 + 4∣ a ∣ D ≤ − 1 < 0 です。
a > 0 a>0 a > 0 のとき。 補題 3.1 により最小値は − D 4 a -\tfrac{D}{4a} − 4 a D (t = − b 2 a t=-\tfrac{b}{2a} t = − 2 a b で達成)で、全 t t t で ≥ 0 \ge0 ≥ 0 となるのは最小値が 0 0 0 以上のとき、すなわち − D 4 a ≥ 0 ⟺ D ≤ 0 -\tfrac{D}{4a}\ge0\iff D\le0 − 4 a D ≥ 0 ⟺ D ≤ 0 のときです。
∎
この命題は次章の Cauchy–Schwarz の不等式 の証明にそのまま使います。ベクトル u , v \boldsymbol u,\boldsymbol v u , v に対して t t t の 2 次式 ∣ t u + v ∣ 2 ≥ 0 |t\boldsymbol u+\boldsymbol v|^2\ge0 ∣ t u + v ∣ 2 ≥ 0 を作り、判別式が 0 0 0 以下であることを読み取る証明です。
2 次関数のグラフが凸(下に開く放物線)であることは、凸関数(real-analysis)の最初の例です。f ( x ) = a x 2 + b x + c f(x)=ax^2+bx+c f ( x ) = a x 2 + b x + c (a > 0 a>0 a > 0 )が下に凸であることは、f ′ ′ ( x ) = 2 a > 0 f''(x)=2a>0 f ′′ ( x ) = 2 a > 0 から従い、一般には Jensen の不等式 へつながります。平方完成は、多変数では対称行列の対角化(線形代数のスペクトル定理と主軸定理)です。2 変数 2 次形式 a x 2 + 2 b x y + c y 2 ax^2+2bxy+cy^2 a x 2 + 2 b x y + c y 2 の正定値性の判定が、この記事の判別式の不等式の拡張です(スペクトル定理 )。閉区間での最大・最小は、連続関数の最大値の定理(微分積分学)の特殊な場合です。
演習 9.1 標準
f ( x ) = − x 2 + 4 x + k f(x)=-x^2+4x+k f ( x ) = − x 2 + 4 x + k の区間 [ a , a + 1 ] [a,a+1] [ a , a + 1 ] (a a a は定数)での最大値を a a a の範囲で場合分けして求めよ。
解答 f ( x ) = − ( x − 2 ) 2 + 4 + k f(x)=-(x-2)^2+4+k f ( x ) = − ( x − 2 ) 2 + 4 + k 。− f -f − f は ( x − 2 ) 2 − 4 − k (x-2)^2-4-k ( x − 2 ) 2 − 4 − k で a > 0 a>0 a > 0 型なので、f f f の最大は − f -f − f の最小です。軸 x = 2 x=2 x = 2 と区間 [ a , a + 1 ] [a,a+1] [ a , a + 1 ] の位置関係で 定理 4.1 (i)〜(iii) を適用します。2 < a 2<a 2 < a なら − f -f − f の最小は x = a x=a x = a で f f f の最大は f ( a ) = − a 2 + 4 a + k f(a)=-a^2+4a+k f ( a ) = − a 2 + 4 a + k 。a ≤ 2 ≤ a + 1 a\le2\le a+1 a ≤ 2 ≤ a + 1 、すなわち 1 ≤ a ≤ 2 1\le a\le2 1 ≤ a ≤ 2 なら最大は f ( 2 ) = 4 + k f(2)=4+k f ( 2 ) = 4 + k 。a + 1 < 2 a+1<2 a + 1 < 2 、すなわち a < 1 a<1 a < 1 なら最大は f ( a + 1 ) = − ( a + 1 ) 2 + 4 ( a + 1 ) + k = − a 2 + 2 a + 3 + k f(a+1)=-(a+1)^2+4(a+1)+k=-a^2+2a+3+k f ( a + 1 ) = − ( a + 1 ) 2 + 4 ( a + 1 ) + k = − a 2 + 2 a + 3 + k 。3 つの場合は a < 1 a<1 a < 1 、1 ≤ a ≤ 2 1\le a\le2 1 ≤ a ≤ 2 、a > 2 a>2 a > 2 と互いに排反で全体を尽くし、境目で値が連続につながっています(a = 1 a=1 a = 1 で 4 + k 4+k 4 + k 、a = 2 a=2 a = 2 で 4 + k 4+k 4 + k )。
演習 9.2 標準
方程式 x 2 − 2 m x + m + 2 = 0 x^2-2mx+m+2=0 x 2 − 2 m x + m + 2 = 0 が x > 1 x>1 x > 1 の範囲に異なる 2 つの実数解をもつような定数 m m m の範囲を求めよ。
解答 f ( x ) = x 2 − 2 m x + m + 2 f(x)=x^2-2mx+m+2 f ( x ) = x 2 − 2 m x + m + 2 。異なる 2 解がともに 1 1 1 より大きい条件は 定理 6.2 (2) の D ≥ 0 D\ge0 D ≥ 0 を D > 0 D>0 D > 0 に強めたものです(D > 0 D>0 D > 0 なら 2 解は異なり、異なる 2 解があれば D > 0 D>0 D > 0 )。D / 4 = m 2 − m − 2 = ( m − 2 ) ( m + 1 ) > 0 D/4=m^2-m-2=(m-2)(m+1)>0 D /4 = m 2 − m − 2 = ( m − 2 ) ( m + 1 ) > 0 より m < − 1 m<-1 m < − 1 または m > 2 m>2 m > 2 。軸 x = m > 1 x=m>1 x = m > 1 。f ( 1 ) = 1 − 2 m + m + 2 = 3 − m > 0 f(1)=1-2m+m+2=3-m>0 f ( 1 ) = 1 − 2 m + m + 2 = 3 − m > 0 より m < 3 m<3 m < 3 。以上をすべて満たすのは 2 < m < 3 2<m<3 2 < m < 3 です。
演習 9.3 標準
2 つの方程式 x 2 + a x + 1 = 0 x^2+ax+1=0 x 2 + a x + 1 = 0 と x 2 + x + a = 0 x^2+x+a=0 x 2 + x + a = 0 が共通の実数解をもつような実数 a a a をすべて求めよ。
解答 p = a , q = 1 , p ′ = 1 , q ′ = a p=a,\ q=1,\ p'=1,\ q'=a p = a , q = 1 , p ′ = 1 , q ′ = a 。a ≠ 1 a\ne1 a = 1 のとき 命題 7.1 により、条件は ( a − 1 ) 2 = ( 1 − a ) ( a ⋅ a − 1 ⋅ 1 ) = ( 1 − a ) ( a 2 − 1 ) (a-1)^2=(1-a)(a\cdot a-1\cdot1)=(1-a)(a^2-1) ( a − 1 ) 2 = ( 1 − a ) ( a ⋅ a − 1 ⋅ 1 ) = ( 1 − a ) ( a 2 − 1 ) 。a ≠ 1 a\ne1 a = 1 で ( a − 1 ) 2 = ( 1 − a ) ( a − 1 ) ( a + 1 ) = − ( a − 1 ) 2 ( a + 1 ) (a-1)^2=(1-a)(a-1)(a+1)=-(a-1)^2(a+1) ( a − 1 ) 2 = ( 1 − a ) ( a − 1 ) ( a + 1 ) = − ( a − 1 ) 2 ( a + 1 ) ですから 1 = − ( a + 1 ) 1=-(a+1) 1 = − ( a + 1 ) 、a = − 2 a=-2 a = − 2 。このとき共通解は x 0 = − a − 1 1 − a = 1 x_0=-\tfrac{a-1}{1-a}=1 x 0 = − 1 − a a − 1 = 1 で、確かに 1 + ( − 2 ) + 1 = 0 1+(-2)+1=0 1 + ( − 2 ) + 1 = 0 、1 + 1 − 2 = 0 1+1-2=0 1 + 1 − 2 = 0 です。a = 1 a=1 a = 1 のときは 2 式が一致し x 2 + x + 1 = 0 x^2+x+1=0 x 2 + x + 1 = 0 で D = − 3 < 0 D=-3<0 D = − 3 < 0 なので実数解がありません。よって a = − 2 a=-2 a = − 2 。
演習 9.4 易
すべての実数 x x x について x 2 − ( k + 1 ) x + k + 4 > 0 x^2-(k+1)x+k+4>0 x 2 − ( k + 1 ) x + k + 4 > 0 が成り立つような定数 k k k の範囲を求めよ。
解答 定理 6.1 の第 3 の場合により、a = 1 > 0 a=1>0 a = 1 > 0 なので条件は D < 0 D<0 D < 0 。D = ( k + 1 ) 2 − 4 ( k + 4 ) = k 2 − 2 k − 15 = ( k − 5 ) ( k + 3 ) < 0 D=(k+1)^2-4(k+4)=k^2-2k-15=(k-5)(k+3)<0 D = ( k + 1 ) 2 − 4 ( k + 4 ) = k 2 − 2 k − 15 = ( k − 5 ) ( k + 3 ) < 0 より − 3 < k < 5 -3<k<5 − 3 < k < 5 。
杉浦光夫『解析入門 I』東京大学出版会、1980 — 第 I 章(実数)・第 II 章(連続関数)。
文部科学省『高等学校学習指導要領(平成 30 年告示)解説 数学編 理数編』— 数学 I「二次関数」。
Walter Rudin, Principles of Mathematical Analysis , 3rd ed., McGraw-Hill, 1976 — Chapter 4(連続性と中間値の定理)。
G. H. Hardy, J. E. Littlewood, G. Pólya, Inequalities , 2nd ed., Cambridge University Press, 1952 — Chapter 2(判別式による Cauchy の不等式の証明)。