検索用コード
2変数不等式の証明は,\ 様々な解法が考えられる.\ どの解法が優位ということはない. \\[.2zh] いずれの発想も重要であり,\ 解法のストックとしてもっておきたい. \\\\
[\textbf{\textcolor{blue}{比を置換して1変数関数に帰着させる}}] \\[1zh] 本問の式の形は,\ 最初からあからさまに\bm{比の置換を示唆する式}であるから,\ この解法は自然である. \\[.2zh] しかし,\ 一見しただけではこの解法がとれるかがわからないこともある. \\[.2zh] 例えば,\ 本問も\ \bunsuu1b<\bunsuu{\log b-\log a}{b-a}<\bunsuu1a\ という形で出題されうる. \\[.6zh] \bm{2変数が互いに対等}なときは,\ 適切な変形によって比で表せないかを考えてみよう. \\[1zh] 一般に,\ 文字を置換するときは\bm{置換後の文字の範囲を確認}する必要がある. \\[.2zh] 本問では元々a<bという条件があるから,\ tはすべての実数をとれるわけではない. \\[.2zh] a<bの両辺をa\,(>0)\,で割ることで,\ 1<\bunsuu ba=t\ であることがわかる. \\[1zh] 後は微分で証明する.\ t>1より単調増加が示せ,\ かつf(1)=0も確認してf(t)>0が示される. \\[.2zh] g(t)も同様である.\ 単調増加(f'(t)>0)だけではf(t)>0とはいえないので注意.
\end{array}}\right]$}} \\\\\\\\
[\textbf{\textcolor{blue}{一方の文字を変数とみる}}] \\[1zh] \centerline{{\small $\left[\textcolor{brown}{\begin{array}{l}
aを定数,\ bを変数xとして証明する.\ やるべきことは本解と同様である. \\[.2zh] 本問はaでもbでも大差はないが,\ 通常は\bm{導関数が簡単になるほうを変数にする}のがよい. \\[1zh] さて,\ 0<a<xで示したということは,\ \bm{0<a<bをより一般化したものを示した}ことになる. \\[.2zh] 0<a<xで成り立つならば,\ 0<a<cでも0<a<dでも成り立つというわけである. \\[.2zh] 通常は,\ 一般化した場合を示すほうが特殊な場合を示すよりも難しいことが多い. \\[.2zh] ただし,\ 時には\bm{先に一般化した場合を示してしまうことが有効}なわけである. 平均値の定理の利用}}] \\[1zh]   $b-a>0\ より \textcolor{red}{\bunsuu1b<\bunsuu{\log b-\log a}{b-a}<\bunsuu1a}$ \\[.5zh]   $\textcolor[named]{ForestGreen}{f(x)=\log x}\ とすると,\ f(x)はx>0で連続で微分可能な関数である. f'(x)=\bunsuu1x$ \\[.5zh] 平均値の定理より $\textcolor{red}{\bunsuu{\log b-\log a}{b-a}=\bunsuu1c}\ (\textcolor{cyan}{a<c<b})\ を満たす実数cが存在する.$ \\[.5zh] $a<c<b\ より \textcolor{cyan}{\bunsuu1b<\textcolor{red}{\bunsuu1c}<\bunsuu1a}\ \ \left(\because\ \bunsuu1x\ はx>0で単調減少
\log\bunsuu ba=\log b-\log a\ であることに着目すると,\ 平均値の定理の利用が思い浮かぶ. \\[.6zh] 実は,\ 本問は「平均値の定理の不等式への応用」の項目で取り上げた問題と同一問題である. \\[.2zh] よって,\ ここではこれ以上の解説はしない.
すべての実数x,\ yに対して\ x^2+y^2\geqq axy\ が成立するようなaの値の範囲を求めよ.$
[\textbf{\textcolor{blue}{比を置換して1変数に帰着させる}}] \\[1zh] [1]\ \ $\textcolor[named]{ForestGreen}{x=0}\ のとき,\ y^2\geqq0\ となるから,\ aの値によらず成立する.$ \\[1zh] [2]\ \ $\textcolor[named]{ForestGreen}{x\neqq0}\ のとき,\ \textcolor{cyan}{両辺をx^2\,で割る}と 1+\left(\bunsuu yx\right)^2\geqq a\cdot\bunsuu yx$ \\[.5zh] \ \ $\textcolor{red}{\bunsuu yx=t}\ とおいて整理すると t^2-at+1\geqq 0$ \\[.5zh] \ \ $常に不等式が成り立つ条件は 判別式\ \textcolor{magenta}{D=a^2-4\leqq0}\ より -\,2\leqq a\leqq2$ \\\\
\centerline{$\therefore [1],\ [2]より \bm{-\,2\leqq a\leqq2}$} \\\\[.5zh] \centerline{{\small $\left[\textcolor{brown}{\begin{array}{l}
x^2,\ y^2,\ xy\ はいずれも2次式であるから,\ この不等式は\bm{同次式}である. \\[.2zh] 一般に,\ 同次式は比の置換が可能である. \\[.2zh] 比の形にするために両辺をxで割る必要があるから,\ その前に場合分けをする. \\[.2zh] 置換後は\bm{2次不等式が常に成り立つ条件}に帰着する. \\[.2zh] (2次不等式が常に成り立つ)=(2次関数のグラフ\geqq x軸)=(D\leqq0)
相加平均と相乗平均の関係の利用}}] \\[1zh] $x^2\geqq0,\ y^2\geqq0\,より,\ \textcolor{cyan}{相加平均と相乗平均の関係}を適用すると$ \\[.5zh] 同次式では相加平均と相乗平均の関係の利用が有効であることも多い. \\[.2zh] \bm{a\geqq0,\ b\geqq0\ のとき a+b\geqq2\ruizyoukon{ab}} \\[.2zh] \ruizyoukon{( )^2}=\zettaiti{ }\ であることに注意する.\ 絶対値をはずすために場合分けをする. \\[.2zh] また,\ xyで割ることになるので,\ xy=0の場合も分ける. \\[.2zh] xy<0\,のときは,\ 両辺をxyで割ると不等号の向きが逆転する. \bm{2変数が互いに対等で,\ 2文字を左辺と右辺に分離できる}場合に有効な解法である. \\[.2zh] aを右辺に,\ \sin bを左辺に移動するが,\ いずれも範囲内では正なので不等号の向きは変わらない. \\[.2zh] f(a)とf(b)は,\ \bm{関数f(x)のx=aとx=bにおけるy座標とみなす}ことができる. \\[.2zh] よって,\ \bm{f(x)が単調減少であることを示せば,\ f(a)>f(b)が示されたことになる}のである. \\[1zh] f(x)が単調減少であることを示すには,\ f'(x)<0を示せばよい. \\[.2zh] f'(x)の分母x^2\geqq0は明らかなので,\ \bm{符号な不明な分子のみを取り出してさらに微分}する. \\[.2zh] g(0)=0\ も確認してはじめてg(x)<0,\ つまりf'(x)<0が示される. \\[1zh] この解法は,\ 「a^b\,とb^a\,の大小比較」の項目において\ y=\bunsuu{\log x}{x}\ を利用したのと同じである.