検索用コード
常には等号が成立しないから$ \\[.5zh] 通常,\ 中央の積分は計算できない.\ 計算できないから不等式で評価するわけである. \\[.2zh] 与えられた不等式を利用して目標の不等式を作ることを目指す. \\[.2zh] このとき,\ \bm{不等式の中央の項に着目}する.\ つまり,\ \sin x\,から\,\dint{0}{\frac{\pi}{2}}e^{\sin x}\,dx\ を順番に作り出す. \\[.8zh] まず,\ p\leqq q\ \Longleftrightarrow\ e^p\leqq e^q\,(\because\ e^x\,は単調増加関数)を利用すると,\ e^{\sin x}\ を評価できる. \\[.2zh] 後は各辺を区間\left[0\,→\,\bunsuu{\pi}{2}\right]で積分すればよい.\ 大抵は,\ 自動的に左辺と右辺が目標の式と一致する. \\[.6zh] 定積分の値が一致するのは,\ 区間内のすべてのxについてf(x)=g(x)が成立する場合のみである. \\[.2zh] e^{\frac{2}{\pi}x},\ e^{\sin x},\ e^x\,はすべてのxについて一致しないから,\ 定積分する時点で等号をはずせる. \\[1zh] さて,\ 基準の不等式が与えられているならば話が早いが,\ そうでなければ自分で持ち出す必要がある. \\[.2zh] 一定の知識と経験がなければ,\ \bunsuu{2}{\pi}x\leqq \sin x\leqq x\ をいきなり持ち出すことはできないだろう. \\[.6zh] まず,\ \sin x\,については\ \bm{0\leqq x\leqq\bunsuu{\pi}{2}\ のとき\ 0\leqq \sin x\leqq x}\ が成立することを常識としておきたい. \\[.6zh] もし本問の不等式の下限が0だったならば,\ これを定積分すれば済んだわけである. \\[.2zh] なお,\ 0\leqq\sin x\,は自明だが,\ \sin x\leqq x\,は自明ではないので,\ これを(微分で)証明した上で利用する. \\[1zh] 本問では下限をより厳しく評価した\ \bunsuu{2}{\pi}x\leqq \sin x\leqq x\ (\bm{ジョルダンの不等式})を持ち出す必要がある. \\[.6zh] これは,\ 三角関数\sin x\,を単純な関数である直線で厳しく評価する不等式である. \\[.2zh] 図形的意味を理解しておけば暗記する必要はないだろう(下図).\ 証明は微分の項目で行う. \\\\ 基準の不等式が与えられていないから自分で持ち出さなければならない. \\[.2zh] つまり,\ ○<\bunsuu{1}{\ruizyoukon{1-x^3}}<○\ を満たし,\ 積分すると\ \bunsuu12,\ \bunsuu{\pi}{6}\ になるような関数を考えるのである. \\[.8zh] 全くの無から考え出すわけではなく,\ \bm{積分区間\ 0\leqq x\leqq\bunsuu12\ を元にする}のが基本である. \\[.2zh] これを元に,\ 中央の\ \bunsuu{1}{\ruizyoukon{1-x^3}}\ を作成することを目指す.\ 不等号の向きに注意すること. \\[1.2zh] 0\leqq x^3\leqq \bunsuu18 → 0\geqq -\,x^3\geqq-\bunsuu18\ (-\,1を掛ける) → 1\geqq1-x^3\geqq\bunsuu78\ (1を足す) \\[.6zh] → (逆数をとる) \\[1.5zh] 左の不等式は示されたが,\ \bunsuu{\pi}{6}\kinzi0.523\ <\ \ruizyoukon{\bunsuu27}\kinzi0.534\ であるから,\ まだ評価が甘い. \\[.8zh] つまり,\ 上からの評価が\ x^3\leqq\bunsuu18\ では不十分であり,\ より厳しく評価しなければならない. \\[.5zh] この場合,\ 次の不等式が利用できることを知識として持っておく必要がある.\ \\[.2zh] つまり,\ x^3\,は\ 00\,なので絶対値ははずれる.