🏠 Home / 東京大学 / 東大理系

東京大学 理系 2016年度 第1問 解説

問題編

【問題】
eを自然対数の底、すなわち$\displaystyle e=\lim_{t\to\infty}\left(1+\frac{1}{t}\right)^t$とする。すべての正の実数xに対し、次の不等式が成り立つことを示せ。
\[ \left(1+\frac{1}{x}\right)^x \lt e \lt \left(1+\frac{1}{x}\right)^{x+\frac{1}{2} } \]

【考え方】
eの定義が書かれていますが、この定義を使って式変形していくような問題ではありません。関数を使った不等式の問題によくある、微分を使って解く問題です。

左と右で同じような式が出てくるので、ここではまとめて計算することにします。


解答編

【問題】
eを自然対数の底、すなわち$\displaystyle e=\lim_{t\to\infty}\left(1+\frac{1}{t}\right)^t$とする。すべての正の実数xに対し、次の不等式が成り立つことを示せ。
\[ \left(1+\frac{1}{x}\right)^x \lt e \lt \left(1+\frac{1}{x}\right)^{x+\frac{1}{2} } \]

【解答】
aを0以上の実数とし、\[f(x)=\left(1+\frac{1}{x}\right)^{x+a}\]とする。このとき、\[\log f(x)=(x+a) \log \left(1+\frac{1}{x}\right)\]となる。

これを微分すると
\begin{eqnarray} \frac{f'(x)}{f(x)} &=& \log \left(1+\frac{1}{x}\right) + (x+a)\frac{-\frac{1}{x^2} }{1+\frac{1}{x} } \\[5pt] &=& \log \left(1+\frac{1}{x}\right) - (x+a)\frac{1}{x(x+1)} \end{eqnarray}となる。

この左辺を$g(x)$とおいて、もう一度微分すると、
\begin{eqnarray} g'(x) &=& \frac{-\frac{1}{x^2} }{1+\frac{1}{x} } -\frac{x(x+1) - (x+a)(2x+1)}{x^2(x+1)^2} \\[5pt] &=& \frac{-1}{x(x+1)} -\frac{-x^2 -2ax -a}{x^2(x+1)^2} \\[5pt] &=& \frac{-x(x+1) +x^2 +2ax +a}{x^2(x+1)^2} \\[5pt] &=& \frac{(2a-1)x +a}{x^2(x+1)^2} \end{eqnarray}となる。

この式から、$a=0、x\gt 0$のとき、$g'(x)\lt 0$である。よって、$g(x)$は単調減少。また、$x\to\infty$のとき$g(x)\to 0$なので、$g(x)\gt 0$となる。よって、$\log f(x)$は単調増加となり、$f(x)$も単調増加となる。$x\to\infty$のとき$f(x)\to e$なので、$f(x) \lt e$、つまり、左側の不等式が成り立つ。

また、先ほどの式から、$a=\frac{1}{2}$のとき、$g'(x)\gt 0$である。よって、$g(x)$は単調増加。また、$x\to\infty$のとき$g(x)\to 0$なので、$g(x)\lt 0$となる。よって、$\log f(x)$は単調減少となり、$f(x)$も単調減少となる。$x\to\infty$のとき$f(x)\to e$なので、$f(x) \gt e$、つまり、右側の不等式が成り立つ。

よって、\[ \left(1+\frac{1}{x}\right)^x \lt e \lt \left(1+\frac{1}{x}\right)^{x+\frac{1}{2} } \]が成り立つ。

【解答終】

【解説】
2回微分をする必要はありますが、極値をとることがないので、微分した後の議論はスムーズになります。上のようにまとめて計算しなくても、左側・右側の不等式を別々に出してもいいです。似たような計算になりますが。

関連するページ

YouTubeもやってます

チャンネル登録はコチラから (以下は、動画のサンプルです)
東北大学2024年度後期数学文理共通第4問 横浜国立大学文系2024年度後期数学第1問 奈良女子大学理学部2024年度数学第1問 成城大学経済学部2024年度A方式1日目数学第3問 一橋大学2024年度後期数学第5問1 近畿大学医学部2024年度後期数学第3問