(1) $0 \le x \le \frac{1}{2}$ のとき、$1+x \le \frac{1}{1-x} \le 1+2x$ が成り立つことを示す。 (2) (1)の不等式を用いて $\frac{5}{8} < \log_e 2 < \frac{3}{4}$ であることを示す。

解析学不等式対数積分評価自然対数log
2025/4/11

1. 問題の内容

(1) 0x120 \le x \le \frac{1}{2} のとき、1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x が成り立つことを示す。
(2) (1)の不等式を用いて 58<loge2<34\frac{5}{8} < \log_e 2 < \frac{3}{4} であることを示す。

2. 解き方の手順

(1)
まず、1+x11x1+x \le \frac{1}{1-x} を示す。
これは、0x120 \le x \le \frac{1}{2} より 1x>01-x > 0 なので、1+x11x1+x \le \frac{1}{1-x} の両辺に 1x1-x を掛けて、
(1+x)(1x)1(1+x)(1-x) \le 1
1x211 - x^2 \le 1
x20-x^2 \le 0
x20x^2 \ge 0
これは常に成り立つ。
次に、11x1+2x\frac{1}{1-x} \le 1+2x を示す。
1(1+2x)(1x)1 \le (1+2x)(1-x)
11+2xx2x21 \le 1 + 2x - x - 2x^2
0x2x20 \le x - 2x^2
0x(12x)0 \le x(1 - 2x)
0x(12x)0 \le x(1-2x)
ここで、0x120 \le x \le \frac{1}{2} なので、x0x \ge 0 かつ 12x01-2x \ge 0 が成り立つから、x(12x)0x(1-2x) \ge 0 である。
よって、1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x が示された。
(2)
(1)の不等式より、1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x が成り立つ。
x=15x = \frac{1}{5} とすると、0x120 \le x \le \frac{1}{2} を満たす。
このとき、1+1511151+2(15)1+\frac{1}{5} \le \frac{1}{1-\frac{1}{5}} \le 1+2(\frac{1}{5})
6514575\frac{6}{5} \le \frac{1}{\frac{4}{5}} \le \frac{7}{5}
655475\frac{6}{5} \le \frac{5}{4} \le \frac{7}{5}
次に、exe^x のマクローリン展開を考える。
ex=1+x+x22!+x33!+...e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + ...
このとき、ex>1+xe^x > 1+x が成り立つ。
e2x>1+2xe^{2x} > 1 + 2x ではない。
exe^x は単調増加関数なので、xyx \le y ならば exeye^x \le e^y である。
(1)の不等式 11x\frac{1}{1-x} を積分すると 11xdx=log(1x)+C\int \frac{1}{1-x} dx = - \log(1-x) + C となる。
x=18x = \frac{1}{8} とすると、
1+1811181+2(18)1+\frac{1}{8} \le \frac{1}{1-\frac{1}{8}} \le 1 + 2(\frac{1}{8})
988754\frac{9}{8} \le \frac{8}{7} \le \frac{5}{4}
981.125\frac{9}{8} \approx 1.125
871.143\frac{8}{7} \approx 1.143
54=1.25\frac{5}{4} = 1.25
x=13x = \frac{1}{3} とする。このとき1+1311131+231 + \frac{1}{3} \leq \frac{1}{1 - \frac{1}{3}} \leq 1 + \frac{2}{3} つまり433253\frac{4}{3} \leq \frac{3}{2} \leq \frac{5}{3}
つまり 1.331.51.671.33 \leq 1.5 \leq 1.67
ここで loge2\log_e 2 の値を評価する。
2=eloge22 = e^{\log_e 2} より、loge2\log_e 2 がいくつの間にあるかを調べる。
e5/8=e0.625e^{5/8} = e^{0.625}
e3/4=e0.75e^{3/4} = e^{0.75}
e0.625<2<e0.75e^{0.625} < 2 < e^{0.75} を示す。
e0.6251+0.625+(0.625)22!+(0.625)33!+...e^{0.625} \approx 1 + 0.625 + \frac{(0.625)^2}{2!} + \frac{(0.625)^3}{3!} + ...
e0.751+0.75+(0.75)22!+(0.75)33!+...e^{0.75} \approx 1 + 0.75 + \frac{(0.75)^2}{2!} + \frac{(0.75)^3}{3!} + ...
x=1nx=\frac{1}{n}として、nnを大きくしていく。
x=16x=\frac{1}{6}のとき
76<65<43\frac{7}{6} < \frac{6}{5} < \frac{4}{3}となる。
e=limn(1+1n)ne = \lim_{n\to\infty}(1+\frac{1}{n})^n
2<e3/42 < e^{3/4}を示す
両辺にlogをとって
log2<34\log2 < \frac{3}{4}
5/8=0.6255/8 = 0.625
3/4=0.753/4 = 0.75
log20.693\log2 \approx 0.693
5/8<log2<3/45/8 < \log 2 < 3/4

3. 最終的な答え

58<loge2<34\frac{5}{8} < \log_e 2 < \frac{3}{4}
(証明終わり)

「解析学」の関連問題

与えられた式は、関数 $f(x) = \frac{1}{x}$ の $x=2$ における微分係数 $f'(2)$ を定義に基づいて計算するものです。具体的には、極限 $\lim_{x \to 2} \...

微分極限微分係数関数の微分
2025/4/14

与えられた積分 $\int (2e^x + \frac{3}{x}) dx$ を計算します。

積分指数関数対数関数不定積分
2025/4/14

与えられた積分 $\int (\frac{1}{\tan x} + 2) \sin x dx$ を計算します。

積分三角関数積分計算
2025/4/14

与えられた積分 $\int \sqrt{x} (1 + \frac{1}{\sqrt{x}})^2 dx$ を計算します。

積分不定積分ルート展開
2025/4/14

与えられた積分 $\int (\sqrt{2x} + 3)^2 dx$ を計算します。

積分積分計算不定積分ルート
2025/4/14

グラフが与えられており、$y = \sin \theta$ である。このグラフを利用して、$y = \sin 2\theta$ のグラフを描く問題である。

三角関数グラフ周期振幅グラフの描画
2025/4/14

問題は、与えられた角度 $\theta$ に対して、$\sin 2\theta$ と $2\sin \theta$ の値を求める表を完成させることです。$\theta$ は度数法と弧度法で与えられてお...

三角関数sin角度弧度法度数法
2025/4/14

与えられた積分 $\int \frac{2}{e^{3x}} dx$ を計算します。

積分指数関数置換積分
2025/4/14

$\int \sin 4\theta d\theta$ を計算する問題です。

積分三角関数置換積分
2025/4/14

関数 $f(x) = 3\cos(\pi x)$ の導関数 $\frac{df(x)}{dx}$ を求める問題です。

導関数微分三角関数合成関数の微分連鎖律
2025/4/14