京都大学 2019年 文系 第3問 解説

方針・初手
$x^2$ の係数 $a$ の符号によって左辺の関数 $f(x) = ax^2 + bx + c$ のグラフの概形が大きく変わるため、$a < 0$、$a = 0$、$a > 0$ の3つの場合に分けて、題意を満たす条件を調べます。
また、「すべての $b$ に対して、ある $x$ が〜」という論理構造に着目し、この命題の「否定」を考えて、それが成り立たないような $a,\ c$ の条件を求めるアプローチも非常に見通しが良くなります。
解法1
$f(x) = ax^2 + bx + c$ とおく。$a$ の値によって場合分けを行う。
(i) $a < 0$ のとき
$y = f(x)$ のグラフは上に凸の放物線である。
このとき、任意の実数 $b,\ c$ に対して $\displaystyle\lim_{x \to \pm\infty} f(x) = -\infty$ となるため、$f(x) < 0$ となる実数 $x$ は必ず存在する。
よって、$a < 0$ のときは、すべての実数 $b$ に対して命題が成立し、$c$ は任意の実数でよい。
(ii) $a = 0$ のとき
$f(x) = bx + c$ となる。
すべての実数 $b$ に対して「ある実数 $x$ が $bx + c < 0$ を満たす」ための条件を考える。
- $b = 0$ のとき、$f(x) = c$ となるため、ある実数 $x$ に対して $c < 0$ が成り立つ必要がある。よって $c < 0$ が必要である。
- $c < 0$ であるとき、$b = 0$ ならば任意の $x$ で $f(x) = c < 0$ となる。また、$b \neq 0$ ならば $y = bx+c$ は傾きをもつ直線となり、値域は実数全体となるため、必ず $f(x) < 0$ となる $x$ が存在する。
よって、$a=0$ のとき、命題が成立するための必要十分条件は $c < 0$ である。
(iii) $a > 0$ のとき
$y = f(x)$ のグラフは下に凸の放物線である。
「ある実数 $x$ に対して $f(x) < 0$ となる」ための条件は、2次方程式 $ax^2 + bx + c = 0$ が異なる2つの実数解をもつこと、すなわち判別式 $D > 0$ となることである。
$$ D = b^2 - 4ac > 0 $$
命題は、これが「すべての実数 $b$ に対して」成り立つことを求めている。
不等式 $b^2 - 4ac > 0$ が任意の実数 $b$ に対して成立するためには、$b^2 \geqq 0$ であることから、$-4ac > 0$ であればよい。
$a > 0$ であるから、$c < 0$ が必要十分である。
逆に $a > 0,\ c < 0$ のとき、$-4ac > 0$ となり、任意の $b$ に対して $b^2 - 4ac \geqq -4ac > 0$ が必ず成り立つ。
よって、$a > 0$ のときの条件は $c < 0$ である。
(i), (ii), (iii) より、求める必要十分条件は
$$ \boxed{a < 0 \quad \text{または} \quad c < 0} $$
である。
解法2
命題の「否定」を用いて考える。
命題「すべての実数 $b$ に対して、ある実数 $x$ が $ax^2 + bx + c < 0$ を満たす」の否定は、
「ある実数 $b$ が存在して、すべての実数 $x$ に対して $ax^2 + bx + c \geqq 0$ を満たす」
となる。この否定命題が成立するような $a,\ c$ の条件を求める。
すべての実数 $x$ に対して $ax^2 + bx + c \geqq 0$ が成り立つための条件は、
- (ア) $a > 0$ かつ 判別式 $D = b^2 - 4ac \leqq 0$
- (イ) $a = 0$ かつ $b = 0$ かつ $c \geqq 0$
のいずれかである。
否定命題が真となるのは、このような条件を満たす実数 $b$ が「存在する」ことである。
(ア) の場合、$b^2 \leqq 4ac$ となる実数 $b$ が存在するための条件は、$4ac \geqq 0$ である。$a > 0$ であるから、$c \geqq 0$ となる。
(イ) の場合、$a = 0$ かつ $c \geqq 0$ であれば、条件を満たす $b$(すなわち $b=0$)が存在する。
よって、否定命題が成立する条件は
$$ (a > 0 \text{ かつ } c \geqq 0) \quad \text{または} \quad (a = 0 \text{ かつ } c \geqq 0) $$
すなわち、$a \geqq 0$ かつ $c \geqq 0$ である。
もとの命題が成立するための必要十分条件は、この否定命題が成り立たない(偽となる)ことであるから、ド・モルガンの法則により
$$ a < 0 \quad \text{または} \quad c < 0 $$
となる。
解説
「すべての〜」「ある〜」という全称記号($\forall$)と存在記号($\exists$)が入り混じった論理問題の典型です。
解法1のようにグラフの形状から正攻法でアプローチする場合、「$b$ を勝手に決めたとき、必ず $x$ を探せるか?」という順番で考えることが重要です。$a=0$ の場合を忘れずに検討しましょう。
解法2のように命題の否定をとるアプローチは、「$\forall b\ \exists x\ (P)$」の否定が「$\exists b\ \forall x\ (\overline{P})$」となる論理の規則を知っていれば、計算量を大幅に減らすことができる非常に強力な手法です。
答え
必要十分条件:$a < 0$ または $c < 0$
図示:横軸を $a$ 軸、縦軸を $c$ 軸とする座標平面において、第1象限の境界を含む領域($a \geqq 0$ かつ $c \geqq 0$)を除いたすべての部分。
(すなわち、第2象限、第3象限、第4象限全体と、$a$ 軸の負の部分、$c$ 軸の負の部分。境界線は一切含まない。)
自分の記録
誤りを報告
解説の誤り、誤字、表示崩れに気づいた場合は送信してください。ログイン不要です。











