2020 東大理系数学第1問

更新日 2021-02-25
投稿日 2020-02-26
著者サトゥー
カテゴリー数学の問題

第1問を解いてみました。

$a, b, c, p$ を実数とする。不等式
$$ ax^2 + bx + c > 0 \\ bx^2 + cx + a > 0 \\ cx^2 + ax + b > 0 $$
をすべて満たす実数 $x$ の集合と、 $x > p$ を満たす実数 $x$ の集合が一致しているとする。
(1) $a, b, c$ はすべて $0$ 以上であることを示せ。
(2) $a, b, c$ のうち少なくとも1個は $0$ であることを示せ。
(3) $p = 0$ であることを示せ。
東京大学 2020 理系

解いてみた感想

数式を、グラフを使ってビジュアル的に解釈することができればそこまで難しい問題ではありませんね。完答を狙いたいですね。

(1) a < 0 と仮定して矛盾を導く

$a, b, c$ に対称性があるので、とりあえず (1) では $a$ について示すことができれば、同様に示すことができそうです。そこでまずは $a < 0$ と仮定しておかしなところができないかを調べてみます。

$a < 0$ のとき、 $ax^2 + bx + c > 0$ の左辺の式は、上に凸の放物線と見ることができますね。では、上に凸の放物線と $x$ 軸の関係から、この不等式 $ax^2 + bx + c > 0$ を満たす $x$ の形を考えてみます。

すると次の 2 通りの形があることが分かります。

前者の場合、すべての実数 $x$ に対して $ax^2 + bx + c > 0$ が成立しないので、これを満たす $x$ はないと。つまり与えられた 3 つの不等式を満たす $x$ が存在しないことになってしまいます。よって当然 $x > p$ の形になることもありえません。これは誤り。

後者の場合、不等式 $ax^2 + bx + c > 0$ を満たす $x$ は $\alpha < x < \beta$ の形をしていることがわかります。この場合は、与えられた 3 つの不等式を満たす $x$ の区間は、少なくとも区間 $\alpha < x < \beta$ 内に含まれると言えます。が、区間 $x > p$ は上に限りなく広がっている区間なので、区間 $\alpha < x < \beta$ 内には含まれません。よってこれも誤り。

ということは、そもそも $a < 0$ の仮定が間違っていると結論づけることができますね。

よって $a \geq 0$ で、$a, b, c$ の対称性から $b, c$ の場合も同様に示せます。めでたしめでたし。