(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} である。

「解析学」の関連問題

放物線 $C_1: y=2x^2$ 上の点 $A(1,2)$ における接線 $l$ について、その傾きと方程式を求めます。次に、放物線 $C_2: y = -x^2 + ax - b$ が接線 $l$...

微分積分接線面積
2025/6/6

与えられた関数 $y = 4\sin x \cos x - 2\cos^2 x$ を変形して、$y = \sqrt{\text{コ}} \sin(\text{ク} + \alpha) - \text{...

三角関数三角関数の合成関数の変形
2025/6/6

関数 $f(x) = 3x^2 - 4x + \int_0^3 f(t) dt$ が与えられている。$a = \int_0^3 f(t) dt$ とおいて、$f(x)$ を求めよ。

積分関数定積分
2025/6/6

図2は関数 $y = 2\sin{x} + 2\cos{x}$ のグラフである。図2における $a$ の値を求め、さらに式 $2\sin{x} + 2\cos{x}$ を合成したときの $b$ と $...

三角関数関数の合成グラフ振幅位相
2025/6/6

図1に示された関数 $y=A$ と関数 $y=A'$ の式を、選択肢の中から選ぶ問題です。また、関数 $y=$イ と関数 $y=$ウ のグラフが一致することも考慮して回答する必要があります。

三角関数グラフ振幅周期コサイン関数
2025/6/6

実数 $a$ の範囲が $1/2 < a < 3$ のとき、3次関数 $f(x) = x^3 - 3ax^2 + 3(2a^2 - 1)x + 2$ は極大値と極小値を持つ。$f(x)$ の極大値と極...

三次関数極大値極小値微分最大値最小値
2025/6/6

与えられた数列の和を求める問題です。 数列は$\sum_{k=1}^{n} \frac{1}{\sqrt{k+1} + \sqrt{k}}$で表されます。

数列級数有理化望遠鏡和
2025/6/6

与えられた和 $\sum_{k=1}^{10} \frac{1}{k^2 + 3k + 2}$ を計算します。

級数部分分数分解シグマ
2025/6/6

関数 $f(x) = x^3 - 9x^2 + 15x + 7$ について、以下の問いに答えます。 (1) $f(x)$ の増減を調べ、極値を求め、極値をとるときの $x$ の値を求めます。 (2) ...

微分増減極値三次関数方程式グラフ
2025/6/6

関数 $f(x) = (3x^2 - 6x + 10)^{2/3}$ の導関数 $f'(x)$ と、微分係数 $f'(1)$ を求める問題です。

導関数微分合成関数の微分微分係数
2025/6/6