検索用コード
「不等式\ f(x)\geqq g(x)\ の証明は\bm{F(x)=f(x)-g(x)\geqq0\ を示す}」は数\text{I\hspace{-.1em}I}で学習済みである. \\[.2zh] つまり,\ \bm{y=F(x)のグラフがy=0\,(x軸)よりも上側にある}ことを示せばよいわけである. \\[.2zh] ただし,\ グラフを描く必要はなく,\ 増減表を作成しておけば十分である. \\[.2zh] 数\text{I\hspace{-.1em}I\hspace{-.1em}I}では単純に(差)\geqq0だけでは済まない問題が出る.\ 本問はその中で最も基本的なものである. \\[1zh] f'(x)を計算してみるが,\ f'(x)=0を求めることができないために増減表を作成できない. \\[.2zh] f'(0)=0に気付く人もいるだろうが,\ x=0以外の解についても考慮しないと意味がない. \\[.2zh] このように\bm{f'(x)だけで増減表を作成できない場合,\ f”(x)を求める}ことになる. \\[.2zh] f”(x)からf'(x)を考察し,\ さらにf'(x)からf(x)を考察するという二段構えである. \\[1zh] まず,\ 常に\,f”(x)\geqq0\,であることがわかる.\ これは,\ f'(x)が単調増加関数であることを意味する. \\[.2zh] ここで注意すべきは,\ \bm{f'(x)の増減ではなく,\ 正負の考慮が必要}であることである. \\[.2zh] \bm{f”(x)の正負からわかるのはf'(x)の増減だけ}である. \\[.2zh] 逆に,\ \bm{f(x)の増減を知るにはf'(x)の正負が必要}であり,\ f'(x)の増減だけでは不十分である. \\[.2zh] f'(x)が単調増加することは既知なので,\ さらに区間の端における値f'(0)を確認する. \\[.2zh] \bm{f'(0)=0と単調増加を両方考慮することで,\ x\geqq0で常にf'(x)\geqq0\,(常に正)がわかる}. \\[.2zh] すなわち,\ f(x)は単調増加する.\ ここで,\ 示すのはf(x)\geqq0である. \\[.2zh] つまり,\ \bm{f(x)の正負が必要}であり,\ f(x)の増減だけでは不十分である. \\[.2zh] 区間の端における値f(0)=0も考慮してx\geqq0で常にf(x)\geqq0が示されるわけである. \\[.2zh] 本問では単調増加とf'(0)=0,\ f(0)=0が記述してあれば増減表を必ずしも書く必要はない. 左側の不等式は1階微分,\ 右側の不等式は2階微分するとすでに証明済みの不等式に帰着する. \\[1zh] h'(x)\geqq0は\ \cos x\leqq1-\bunsuu{\ x^2}{2}+\bunsuu{\ x^4}{24}\ なので,\ (1)より \bm{1-\bunsuu{\ x^2}{2}\leqq\cos x\leqq1-\bunsuu{\ x^2}{2}+\bunsuu{\ x^4}{24}} \\[1zh] これらはマクローリン展開式を背景としており,\ 同様にしてより高次の不等式も作成できる. \\[.2zh] また,\ (\sin x)’=\cos x,\ (\cos x)’=-\,\sin x\ である. \\[.2zh] それゆえ,\ 微分するたびに\sin xの不等式と\cos xの不等式が交互に現れるわけである. \\[.2zh] この他,\ 証明問題でよく見かける以下の不等式もマクローリン展開式を背景としている. \\[.2zh] \hspace{.5zw}$x>0\ のとき,\ e^x-1>xe^{\frac x2}\ が成り立つことを示せ.$ \\   $ゆえに,\ \textcolor{red}{f(x)はx>0で単調に増加}する.$ \\[.2zh] f'(x)は因数分解できるが,\ f'(x)=0を解くことができないのでもう1度微分する必要がある. \\[.2zh] しかし,\ 微分するたびに関数がどんどん複雑化してしまうことが少なくない. \\[.2zh] 試しにf'(x)を普通に微分してみる. \\[.2zh] 計算が大変なだけならまだしも,\ 式がほとんど変化しておらずこれでは微分する意味がない. \\[1zh] さて,\ 目標はf'(x)の正負からf(x)の増減を知ることである. \\[.2zh] つまり,\ f'(x)の値自体に興味はなく,\ \bm{f'(x)の正負さえわかればよい}のである. \\[.2zh] そこで,\ \bm{正負が不明な部分だけを取り出して微分}する. \\[.2zh] f'(x)において常にe^{\frac x2}>0であるから,\ この部分はf'(x)の正負の変化に影響しない. \\[.2zh] 正負の変化が不明な\ e^{\frac x2}-1-\bunsuu12x\ を新たにg(x)とおいて微分する. \\[.2zh] x>0でe^{\frac x2}>1より,\ 常にg'(x)>0である.\ g(0)=0と合わせてx>0で常にg(x)>0がいえる. \\[.2zh] よって,\ x>0で常にf'(x)>0となり,\ f(0)=0と合わせてx>0で常にf(x)>0がいえる.