(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}$ であることを示す。

解析学不等式対数評価
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} を示す。
これは、1x>01-x > 0 より、(1+x)(1x)1(1+x)(1-x) \le 1 と同値である。
(1+x)(1x)=1x2(1+x)(1-x) = 1-x^2 であり、0x120 \le x \le \frac{1}{2} より x20x^2 \ge 0 なので、1x211-x^2 \le 1 が成り立つ。したがって、1+x11x1+x \le \frac{1}{1-x} が成り立つ。
次に、11x1+2x\frac{1}{1-x} \le 1+2x を示す。
これは、1(1x)(1+2x)1 \le (1-x)(1+2x) と同値である。
(1x)(1+2x)=1+2xx2x2=1+x2x2(1-x)(1+2x) = 1 + 2x - x - 2x^2 = 1 + x - 2x^2 なので、11+x2x21 \le 1+x-2x^2 を示せばよい。
これは、0x2x20 \le x - 2x^2 と同値であり、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 が成り立つ。したがって、11x1+2x\frac{1}{1-x} \le 1+2x が成り立つ。
以上より、1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x が成り立つ。
(2)
x=18x = \frac{1}{8} を(1)の不等式に代入する。
1+1811181+2(18)1+\frac{1}{8} \le \frac{1}{1-\frac{1}{8}} \le 1+2(\frac{1}{8})
981781+14\frac{9}{8} \le \frac{1}{\frac{7}{8}} \le 1+\frac{1}{4}
988754\frac{9}{8} \le \frac{8}{7} \le \frac{5}{4}
ここで、loge2\log_e 2 を評価するために、ex=2e^x = 2 となる xx を求めることを考える。
2=ex2 = e^x
988754\frac{9}{8} \le \frac{8}{7} \le \frac{5}{4} であるから、e1/8e^{1/8} を考える。
8e1/8>78e^{1/8} > 7
e1/8>78=0.875e^{1/8} > \frac{7}{8} = 0.875
58=0.625\frac{5}{8} = 0.625
34=0.75\frac{3}{4} = 0.75
ここで、x=1nx = \frac{1}{n} を (1) に代入する。
1+1n111n1+2n1+\frac{1}{n} \le \frac{1}{1-\frac{1}{n}} \le 1 + \frac{2}{n}
1+1nnn11+2n1+\frac{1}{n} \le \frac{n}{n-1} \le 1 + \frac{2}{n}
n=8n=8 のとき
988754\frac{9}{8} \le \frac{8}{7} \le \frac{5}{4}
98=1.125\frac{9}{8} = 1.125
871.143\frac{8}{7} \approx 1.143
54=1.25\frac{5}{4} = 1.25
したがって、 e58=e0.625e^{\frac{5}{8}} = e^{0.625} を考えると、e5/8e^{5/8} は2より小さいので、5/8<loge25/8 < log_e 2
同様に、e3/4=e0.75e^{3/4} = e^{0.75} を考えると、e3/4e^{3/4} は2より大きいので、loge2<3/4log_e 2 < 3/4
したがって、58<loge2<34\frac{5}{8} < \log_e 2 < \frac{3}{4} が成り立つ。

3. 最終的な答え

(1) 1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x は成り立つ。
(2) 58<loge2<34\frac{5}{8} < \log_e 2 < \frac{3}{4} である。

「解析学」の関連問題

関数 $f(x) = 8^x + 4^x + 4^{-x} + 8^{-x}$ について、以下の問いに答えます。 (1) $t = 2^x + 2^{-x}$ とおくとき、$4^x + 4^{-x}$...

指数関数関数の最小値相加平均・相乗平均の関係微分
2025/4/14

関数 $y = e^{-ax} \tan(bx+c)$ を微分しなさい。ここで、$a, b, c$ は定数です。

微分指数関数三角関数合成関数の微分積の微分
2025/4/14

定積分 $\int_{1}^{3} (x^2 + \frac{1}{x}) dx$ の値を求め、選択肢の中から正しいものを選ぶ問題です。

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

関数 $y = 2x^7 \cos x$ の導関数を求める問題です。選択肢の中から正しいものを選びます。もし選択肢の中に正解がない場合は、⑤を選びます。

微分導関数積の微分公式三角関数
2025/4/14

関数 $f(x) = \sqrt{x+1}$ の導関数 $f'(x)$ を、導関数の定義に基づいて求める問題です。導関数の定義は以下の通りです。 $f'(x) = \lim_{h \to 0} \fr...

導関数微分極限有理化
2025/4/14

与えられた関数の極限値 $\lim_{x \to \infty} \frac{20x^2 + 8\sin x}{5x^2 + 4x}$ を求め、選択肢の中から正しいものを選ぶ。

極限関数の極限はさみうちの原理三角関数
2025/4/14

$\lim_{x \to \infty} \frac{20x^2 + 8\sin x}{5x^2 + 4x}$ の値を求め、選択肢の中から正しいものを選ぶ。

極限関数の極限sin関数
2025/4/14

関数 $f(x) = \frac{1}{x^2}$ の導関数を、導関数の定義に基づいて求めます。導関数の定義は、$f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}...

導関数極限微分
2025/4/14

$\sin \frac{11}{3}\pi$ の値を求める問題です。選択肢の中から正しいものを選びます。選択肢に正しいものがない場合は、⑤を選びます。

三角関数sin角度変換ラジアン
2025/4/14

関数 $f(x) = |x|$ が $x = 0$ で連続であるか、微分可能であるかを定義に従って調べ、空欄を埋める問題です。

連続性微分可能性極限絶対値関数
2025/4/14