問題
第 問
を実数とする。不等式
をすべて満たす実数の集合と、を満たす実数の集合が一致しているとする。
はすべて以上であることを示せ。
のうち少なくとも個はであることを示せ。
であることを示せ。
解答
とすると、題意より、
「はすべて以上である。」を否定して、「のうち少なくとも個は負である。」とする。不等式の対称性から、として良い。
の判別式が、となるとき、つの解をとすると、
となる。このとき、を満たすを選ぶことができ、
となり、に矛盾する。
また、となるとき、となり、よりとなり矛盾する。
よって、はすべて以上である。
「のうち少なくとも個はである。」を否定して、「はすべて正である。」とする。のとき、
ならば、となる。
他も同様だから、を満たすを選ぶことができ、
となり、に矛盾する。
よって、のうち少なくとも個はである。
がすべての場合
となり、よりとなり矛盾する。
のうち個がの場合
不等式の対称性から、として良い。
だから、
よって、
のうち個がの場合
不等式の対称性から、として良い。
,
,
はすべての実数
だから、
よって、
したがって、より、
ブログ全体の目次(過去の記事の一覧)