次の不等式が成り立つことを示せ.$ \\[1zh] \hspace{.5zw}(1)\ \ $ab+1>a+b$ \ (2)\ \ $abc+2>a+b+c$ \ (3)\ \ $abcd+3>a+b+c+d$ \\ 不等式の証明とその拡張}}}不等式$\bm{A>B}$の証明}}は,\ $\bm{\textcolor{red}{A-B>0\ を示す}}$のが基本である. \\[.2zh] 等式の証明は,\ $A-B$を計算していけば半ば自動的に$=0$になるので容易である. \\[.2zh] 一方,\ \ \textbf{\textcolor{forestgreen}{不等式の証明では$\bm{>0}$を示すのに一工夫必要になる}}ため,\ 等式より難易度が上がる.{(ab+1)-(a+b)}=ab-a-b+1=(a-1)(b-1)$ \\[1zh] \phantom{ (1)}\ \ $ここで \zettaiti a<1,\ \ \zettaiti b<1\ より \textcolor{cyan}{a-1<0,\ \ b-1<0}$ \\[.2zh] \phantom{ (1)}\ \ $ゆえに \textcolor{red}{(a-1)(b-1)>0}$ \\[1zh] ab+1>a+bを示すのが目的なので,\ いきなりab+1-a-b>0と記述してはならない. \\[.2zh] \bm{(左辺)-(右辺)=ab+1-a-bを変形していき,\ >0であることを示す}必要がある. \\[.2zh] 本問の場合は\bm{因数分解}し,\ さらに\bm{与えられた条件を用いる}と>0を示すことができる. \\[.2zh] \zettaiti{a}<1\ \Longleftrightarrow\ -10である. \\[1zh] (2)の不等式は(1)の不等式と同じような形をしているので,\ (1)を元に拡張することを考える. \\[.2zh] ab+1からabc+2を作り出すため,\ \bm{ab+1のaをab,\ bをcに置換する}と ab\cdot c+1>ab+c \\[.2zh] 両辺に1を加えると abc+2>ab+c+1 \\[.2zh] どうしても紛らわしいと思うならば,\ abc=Acなどと一旦置き換えて考えればよい. \\[.2zh] Ac+1>A+c\ より\ abc+1>ab+c,\ これの両辺に1を足して\ abc+2>ab+c+1\ である. \\[.2zh] さらに,\ \bm{右辺のab+1の部分に再び(1)の不等式を適用}すると目的の不等式が導かれる. \\[.2zh] このように,\ \bm{不等式を拡張するとき,\ 2段階で元の不等式を利用する}ことが多い. \\[1zh] さて,\ \bm{既存の不等式を利用するとき,\ \underline{その前提条件を満たすか否かの確認を要する.}} \\[.2zh] ab+1>a+bは,\ \bm{\zettaiti a<1,\ \zettaiti b<1\ のとき}に成り立つ不等式である. \\[.2zh]
よって,\ a\ →\ ab,\ b\ →\ c\ として(1)の不等式を利用するには,\ \bm{\zettaiti{ab}<1,\ \zettaiti {c}<1\ が前提}となる. \\[.2zh]
\zettaiti a<1,\ \zettaiti b<1の辺々を掛けると\zettaiti{ab}<1となることから,\ (1)の不等式を利用できる. \\[1zh] (3)は,\ (2)の不等式を利用してもよいが,\ ここでは(1)の不等式を利用した. \\[.2zh] (1)の不等式において\,\bm{a\ →\ ab,\ b\ →\ cd}とすると,\ abcd+1>ab+cdとなる. \\[.2zh] さらに,\ ab+cd+2にab+1>a+b,\ cd+1>c+dを適用すると目的の不等式が導かれる. \\[1zh] (1)の誘導なしで(2)や(3)の不等式を証明できることが理想的である. \\[.2zh] (2)や(3)をみて,\ もしかするとab+1>a+bが成り立つのではないかと思えるかが重要である. \\[.2zh] \bm{文字が多い不等式の証明では,\ 先に文字が少ない不等式の証明を考える}とよいわけである. (分数の和・差)\geqq0を示すには,\ まず通分する必要がある. \\[.2zh] さらに分子を整理すると因数分解でき,\ \geqq0であることが示される. \\[.2zh] \bm{x,\ yの対称式}なので,\ x+y=A,\ xy=Bとして整理すると見通しがよくなる. \\[.5zh] 実は別解が簡潔なので習得しておきたい. \\[.2zh] y\geqq0より\bm{1+x\leqq1+x+y}であるから,\ \bunsuu{x}{1+x}\geqq\bunsuu{x}{1+x+y}\ である. \\[.8zh] 分子が等しい分数は,\ 分母が大きい方が全体として小さくなることを利用するわけである. \\[1zh] 本問は拡張が容易である.\ まず,\ \bunsuu{z}{1+z}\,を(1)の両辺に加える. \\[.8zh] さらに,\ (1)の不等式において\bm{x\ →\ x+y,\ y\ →\ z}とすればよい. \\[.2zh] (1)の不等式の前提条件はx\geqq0なので,\ x+y\geqq0を確認した上で適用する. \\[1zh] (1)の別解と同様に以下の3式の辺々を足してもよい. \\[.2zh]
