これらは,\ 全ての正の実数$a,\ b,\ c$に対して絶対的に成立する絶対不等式}}の1つである. \\[.5zh] \bm{\bunsuu{a+b}{2},\ \bunsuu{a+b+c}{3}\,を相加平均},\ \bm{\ruizyoukon{ab},\ \ruizyoukon[3]{abc}\,を相乗平均}という. \\[.8zh] \ruizyoukon[3]{abc}\,を「3乗根abc」といい,\ 3乗してabcになる数を表す(後に詳しく学習). \rei\ \ \ruizyoukon[3]{8}=2 \\[1zh] 相加平均と相乗平均の大小関係は,\ 常に\bm{(相加平均)\geqq(相乗平均)}であるという主張である. \\[.2zh] ただし,\ \bm{前提条件}があることに注意しなければならない. \\[1zh] 参考書によっては,\ a+b\geqq2\ruizyoukon{ab}\,の前提条件が\ a\geqq0,\ b\geqq0\ となっている. \\[.2zh] この不等式は,\ a=0またはb=0の場合も成り立つからである. \\[.2zh] もちろん,\ a=b=0の場合も0\geqq0となり成立する. \\[.2zh] \geqq は\dot{ま}\dot{た}\dot{は}=」を意味するから,\ 0\geqq0は正しい不等式である. \\[.2zh] ただし,\ a=0またはb=0のときはab=0となってしまい,\ 相乗平均\ruizyoukon{ab}\,が意味を持たなくなる. \\[.2zh] そこで,\ 多くの場合はa>0,\ b>0としているのである. \\[.2zh] 適用範囲が広まるので,\ 実用上はa\geqq0,\ b\geqq0と考えておくとよい. \\[1zh] 証明は容易で,\ 差をとるだけである.\ 3文字の場合の証明は別項で示す. \\[.5zh] \syoumei\ \ a+b-2\ruizyoukon{ab}=(\ruizyoukon a\,)^2-2\ruizyoukon{ab}+(\ruizyoukon b\,)^2=(\ruizyoukon a-\ruizyoukon b\,)^2\geqq0 \\[.2zh] \phantom{\syoumei}\ \ \ruizyoukon a-\ruizyoukon b=0,\ つまりa=bのときに等号が成立する. 絶対不等式は{不等式の証明問題や最大・最小問題}}で利用できる. \\[.2zh] しかし,\ 特に最大・最小問題においてその利用に\textbf{\textcolor{red}{落とし穴・限界}}がある. \\[.2zh] この部分の認識が不足していると,\ 試験で思わぬ失点をすることになる. \\[.2zh] 以下で実際の問題を通して確認する. \\\\\\ き,\ x+\bunsuu1x\geqq2\ が成り立つことを証明せよ.$ \\[1zh] x+\bunsuu1x\ の最小値を求めよであるから$ \\[.5zh] $\textcolor{purple}{(相加平均)\geqq(相乗平均)}より a=x,\ b=\bunsuu1x\,として,\ 公式a+b\geqq2\ruizyoukon{ab}\,を利用すればよい. \\[.8zh] ただし,\ 必ず最初に\bm{公式の適用条件a>0,\ b>0を確認する}ことを忘れてはならない. \\[.2zh] 高校数学における多くの公式・定理では,\ 適用条件の記述なく利用すると減点は避けられない. \\[1zh] 公式自体が差を計算して証明できるから,\ 公式適用で証明できるならば差を計算しても証明できる. \\[.2zh] x+\bunsuu1x-2=\bunsuu{x^2-2x+1}{x}=\bunsuu{(x-1)^2}{x}\geqq0 a=x,\ b=\bunsuu1x\,として公式利用しているので,\ 等号成立条件a=bはx=\bunsuu1x\,である. \\[.8zh] x=\bunsuu1x\ より\ \ x^2=1 よって,\ x>0も考慮すると x=1 \end{array}}\right]$}} \\\\\\\\ さて,\ \textbf{\textcolor{red}{等号成立条件の確認が必要か否か}}が(1)と(2)の違いである. \\[1zh] (1)は,\ \textbf{\textcolor{purple}{「2以上」を示せという問題で「2以上」を示せた}}ので,\ これで十分である. \\[.2zh] しかし,\ (2)は「2以上」を示すだけでは不十分である. \\[.2zh] \textbf{\textcolor{red}{「2以上」は「最小値2」をも意味するわけではない}}からである. \\[.2zh] 例えば,\ 最小値が100であったとしても,\ それは「2以上」である. \\[.2zh] これが\textbf{絶対不等式を利用して最大・最小を求めるときの\textcolor{red}{落とし穴}}である. \\[1zh] 「2以上($\geqq2$)」から「最小値2」を確定させるには,\ \textbf{\textcolor{magenta}{$\bm{=2}$になりうることを示す}}必要がある. \\[.2zh] 等号を成立させる実数$x$が1個でも存在していれば,\ $=2$になりうることになる. \\[.2zh] つまり,\ $\bm{\textcolor{magenta}{「x+\bunsuu1x\geqq2\ \dot{か}\dot{つ}\ x+\bunsuu1x=2\ となる実数xが存在する」\ →\ 「最小値2」}}である.$ \\[.5zh] 結局,\ \textbf{\textcolor{red}{絶対不等式で最大・最小を求める場合,\ 等号成立条件の確認が必須}}である. \\[.2zh] 等号成立の確認なく最小値2と答えると0点にされると思っておいたほうがよいだろう. \\[.2zh] 単に不等式を証明するだけの問題では,\ 指示されない限り等号成立条件を調べる必要はない. \ y=x+\bunsuu1x\ のとりうる値の範囲を求めよ. $\textcolor{purple}{(相加平均)\geqq(相乗平均)}より \textcolor{red}{x+\bunsuu1x\geqq2\ruizyoukon{x\cdot\bunsuu1x}}=2$ \\[1zh] \phantom{ (1)}\ \ $\textcolor{green}{\underline{\textcolor{black}{\textcolor{red}{x=\bunsuu1x}\ かつ\ x>0,\ つまり\textcolor{red}{x=1のとき等号が成立する.}}}}$ \\[1zh] \phantom{ (1)}\ \ また,\ \textcolor{red}{$y=x+\bunsuu1x$は$x>0$で連続であり,\ $\dlim{x\to\infty}\left(x+\bunsuu1x\right)=\infty$}である. \\\\[.5zh] \centerline{$\therefore \bm{y=x+\bunsuu1x\,のとりうる値の範囲は\ \ y\geqq2}$} \\\\[1zh] \betu\ \ 分母をはらって整理すると $x^2-yx+1=0\ \ \cdots\,\maru1$ $f(x)=x^2-yx+1$とおく. \\[.5zh] \phantom{ (1)}\ \ \textcolor{red}{$x$の方程式\maru1が少なくとも1つの正の実数解をもつような$y$の範囲を求めればよい.} \\[1zh] \phantom{ (1)}\ \ [1]\ \ \maru1の判別式を$D$とすると $D=y^2-4\geqq0\ より y\leqq-\,2,\ 2\leqq y$ \\[.5zh] \phantom{ (1)}\ \ [2]\ \ $f(x)$の軸について[.5zh] \centerline{$\therefore\ \ [1]\,～\,[3]\,より \bm{y\geqq2}$} \\\\ \bm{「2以上」は,\ 「最小値2」や「最大値なし」をも意味するわけではない.} \\[.2zh] よって,\ 「2以上」だからといって直ちに「とりうる値の範囲がy\geqq2」とはできない. \\[.2zh] 実際のとりうる値の範囲が3\leqq y\leqq4であったとしても,\ それは「2以上」である. \\[1zh] 本問の場合,\ 「最小値2」は等号成立条件の確認で示せたが,\ それ以上は相加相乗では対応できない. \\[.2zh] \bm{相加平均と相乗平均の大小関係の限界}がここにあり,\ 別法が必要になる. \\[.2zh] また,\,「最小値2」を示せたのも,\,たまたまそのときのx=1がx>0を満たしていたからにすぎない. \\[.2zh] よって,\ 例えば「x\geqq3の範囲での最小値」となると,\ これも相加相乗では求められなくなる. \\[1zh] 本問の場合,\ 数\text{I\hspace{-.1em}I\hspace{-.1em}I}の極限を利用すると簡潔にとりうる値の範囲が求められる. \\[.2zh] yが\,\infty\ (無限大)までいくことを示すことにより,\ 「最大値なし」を示すことができる. \\[.2zh] ただし,\ 「最小値2」かつ「最大値なし」でもまだ「とりうる値の範囲がy\geqq2」とはできない. \\[.2zh] 実際のとりうる値の範囲が2\leqq y\leqq3,\ 4\leqq yかもしれないからである. \\[.2zh] \bm{「yが2以上の\dot{す}\dot{べ}\dot{て}の値をとる」}ことを示してはじめて「とりうる値の範囲がy\geqq2」とできる. \\[.2zh] 連続関数(途中で途切れていない関数)であれば,\ 最小値2から\,\infty\,までのすべての値をとるといえる. \\[.2zh] 実際には整式や分数式が連続関数であることは自明としてよく,\ 一言断っておけば十分である. \\[1zh] 数\text{I\hspace{-.1em}I}までの範囲内で求めるには,\ \bm{逆像法}(後に学習)の考え方が必要になる(別解). \\[.2zh] x>0なるxの値に対応してyの値が定まる. \\[.2zh] 逆に考えると,\ \bm{求める範囲内のyの値には必ず対応する実数x\ (x>0)の値が存在する}はずである. \\[.2zh] そこで,\ \bm{xの方程式とみてこれが実数解をもつようなyの範囲を求める}ことになる. \\[.2zh] xに範囲がなければ判別式で一発だが,\ x>0なので解の存在範囲の問題(数\text I)に帰着する. \\[.2zh] この問題は,\ 判別式と軸と区間の端のy座標に着目するのであった. \\[.2zh] 常にを考慮すると,\ \bm{D\geqq0と(軸)}が条件となる. $x\geqq0のとき,\ x^2+1\ の最小値を求めよ.$相加相乗の利用にはさらなる限界がある.}}\ それを確認するため,\ まず\textbf{\textcolor{red}{誤答}}を示す. \\[1zh] $x^2\geqq0$であるから $(相加平均)\geqq(相乗平均)$より $x^2+1\geqq2\ruizyoukon{x^2\cdot1}=2x$ \\[.5zh] $x^2=1\ かつ\ x>0$,\ つまり$x=1$のときに等号が成立する. \\[.2zh] $x=1$のとき$2x=2$であるから,\ $x^2+1$の最小値は2である. \\\\ なぜこれが誤答になるかは,\ \textbf{図形的意味を考える}と理解しやすい. \\\\[.5zh] $y=x^2+1$が$y=2x$の上側にあるから,\ $x^2+1\geqq2x$自体が間違っているわけではない. \\[.2zh] また,\ $x=1$のときに等号が成立する($x^2+1=2x$となる)ことも間違ってはいない. \\[.2zh] しかし,\ 以上のことは\textbf{\textcolor{red}{$\bm{y=x^2+1}$の最小値とは全く関係が無い.}} \\[.2zh] 当然,\ \textbf{$\bm{x^2+1\ (x\geqq0)}$の最小値は,\ $\bm{x=0}$のとき1}である. \\[.2zh] \textbf{\textcolor{red}{等号を成立させる実数$\bm{x}$が存在していても,\ その時に最小となるとは限らない}}のである. \\[1zh] $x+\bunsuu1x\geqq2$も図形的に考えると,\ 最大・最小問題における相加相乗の有効範囲が見えてくる. \\[.2zh] 右辺が\textbf{\textcolor{red}{\.{定}\.{数}}}なので,\ \textbf{\textcolor{red}{等号成立時の$\bm{y}$座標と$\bm{x+\bunsuu1x}$の最小値が一致する.}} \\\\ 結局,\ \textbf{\textcolor{blue}{$\bm{a+b\geqq2\ruizyoukon{ab}}$で最大・最小が求まるのは, 次の2パターンに限られる.}} \\[1zh] \centerline{{\large $[1]\ \ \bm{\textcolor{red}{積abが定数}}になるとき,\ \bm{\textcolor{red}{和a+bの最\dot{小}値}が求まる.}$}} \\[.5zh] \centerline{{\large $[2]\ \ \bm{\textcolor{red}{和a+bが定数}}になるとき,\ \bm{\textcolor{red}{積abの最\dot{大}値}が求まる.}$}} \\\\ このように,\ 最大・最小問題における相加相乗の有効範囲はかなり限定的である. \\[.2zh] だからといって受験数学において利用機会が少ないわけではなく,\ むしろかなり多い. \\[.2zh] 問題作成者が相加相乗を利用できる問題をあえて作成するからである. \\[.2zh] 実際には様々な形式で出題されるので,\ 別項で演習する.
