2025.05.10記
で定める.すべての実数 で不等式
が成り立つような点 の範囲を図示せよ.
2025.06.01記
入試で良く問われる分数関数の形が頭に入っているかを確認する問題. は分母が0にはならないので全実数で連続であり,有界であり
で
となるという形を理解していれば,
の値域は
近辺を含む有界な区間で表される.そして本問の条件からすべての実数
に対して「
または
」が成立しなければならないので,結局
「 の値域が
に含まれる」
ことが必要十分条件となる.
ちなみに, の値域は次のようになる.
(i)
(ii) のとき:
となる.
なお, のとき,微分して
から
を経由して
となり,俗に言う安田の定理から極値は
となることを利用しても良いし,
と変形して AM-GM 不等式から一般に のときに
(等号は
)が成立することを利用して
を求めても良い.
いずれにせよ,京大の割と好きな「極端な場合を考える」を用いると, で
となることを認識することができ,よって
「 の値域は
の近辺を含む連続(で有界)な区間」
( は連続で,かついくらでも
に近い値をとることができる)
となることがわかるので,与えられてた条件から,すべての実数 に対して「
または
」が成立しなければならないので,結局
「 の値域が
に含まれる」
ことが必要十分であることがわかるという訳である.そして の値域を利用すると
(i) のとき
(ii) のとき「
かつ
」
であることがわかり,条件を整理すると
(i) のとき
(ii) のとき「
」
となる.ここで(ii)で とすると (i) の条件が得られることに注意しておく.
すべての実数 に対して
が成立することが必要十分である.
よって,すべての実数 に対して
,
の両方が成立すること,すなわち
,
,
整理して
が成立することが必要十分条件である.よってこれを図示すれば良い(図示略).