(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} を示す。
0x120 \le x \le \frac{1}{2} より、1x>01-x > 0 なので、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 を示す。
0x120 \le x \le \frac{1}{2} より、1x>01-x > 0 なので、1x1-x を両辺にかけると
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)
0x0 \le x であり、12x01-2x \ge 0 より成り立つ。
したがって、1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x が成り立つ。
(2)
loge2=121xdx\log_e 2 = \int_{1}^{2} \frac{1}{x} dx である。
x=1+tx = 1+t とおくと、積分範囲は0t10 \le t \le 1 となり、
loge2=0111+tdt\log_e 2 = \int_{0}^{1} \frac{1}{1+t} dt である。
ここで、(1)の不等式において、0x120 \le x \le \frac{1}{2} であることを利用するために、tt を適当な値に固定して考えるのではなく、tt の積分範囲を限定的に考えることにする。
x=14x = \frac{1}{4} とおくと、014120 \le \frac{1}{4} \le \frac{1}{2} を満たすので、(1)の不等式より、
1+1411141+2(14)1+\frac{1}{4} \le \frac{1}{1-\frac{1}{4}} \le 1+2(\frac{1}{4})
544332\frac{5}{4} \le \frac{4}{3} \le \frac{3}{2}
この不等式は正しい。
(1)の不等式より、1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x であり、x-xxx に置き換えると、1x11+x12x1-x \le \frac{1}{1+x} \le 1-2x となる。
12x11+x1x1-2x \le \frac{1}{1+x} \le 1-x
01/2(12x)dx01/211+xdx01/2(1x)dx\int_{0}^{1/2} (1-2x) dx \le \int_{0}^{1/2} \frac{1}{1+x} dx \le \int_{0}^{1/2} (1-x) dx
01/2(12x)dx=[xx2]01/2=12(12)2=1214=14\int_{0}^{1/2} (1-2x) dx = [x-x^2]_0^{1/2} = \frac{1}{2} - (\frac{1}{2})^2 = \frac{1}{2} - \frac{1}{4} = \frac{1}{4}
01/2(1x)dx=[xx22]01/2=12(12)22=1218=38\int_{0}^{1/2} (1-x) dx = [x-\frac{x^2}{2}]_0^{1/2} = \frac{1}{2} - \frac{(\frac{1}{2})^2}{2} = \frac{1}{2} - \frac{1}{8} = \frac{3}{8}
01/211+xdx=[loge(1+x)]01/2=loge(32)loge1=loge32\int_{0}^{1/2} \frac{1}{1+x} dx = [\log_e(1+x)]_0^{1/2} = \log_e(\frac{3}{2}) - \log_e 1 = \log_e \frac{3}{2}
したがって、14loge3238\frac{1}{4} \le \log_e \frac{3}{2} \le \frac{3}{8}
x=18x=\frac{1}{8}とすると、018120 \le \frac{1}{8} \le \frac{1}{2}なので、
1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x
1+1811181+281 + \frac{1}{8} \le \frac{1}{1-\frac{1}{8}} \le 1+\frac{2}{8}
988754\frac{9}{8} \le \frac{8}{7} \le \frac{5}{4}
58<log2<34\frac{5}{8} < \log 2 < \frac{3}{4}を示す問題なので、(1)を利用することを考えると、xxに適当な値を代入してexe^xを求める。
e5/8<2<e3/4e^{5/8} < 2 < e^{3/4}を示すことと同値。
x=1/8x = 1/8とすると1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x, 988754\frac{9}{8} \le \frac{8}{7} \le \frac{5}{4}
x=1/16x = 1/16とすると1+x11x1+2x1+x \le \frac{1}{1-x} \le 1+2x, 1716161598\frac{17}{16} \le \frac{16}{15} \le \frac{9}{8}
x=0.2x = 0.2 とすると、1.210.8=1.251.41.2 \le \frac{1}{0.8} = 1.25 \le 1.4なので、成立する。log2\log 2に近い値になるように、xxの値を選ぶ必要がありそう。
e1/21.64,e1/41.28,e1/81.13e^{1/2} \approx 1.64, e^{1/4} \approx 1.28, e^{1/8} \approx 1.13

3. 最終的な答え

(1) 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} であることを示すことができなかった。

「解析学」の関連問題

与えられた極限を計算します。 $$ \lim_{n \to \infty} \frac{\log(n+a) - \log n}{e^{\frac{a}{n}} - 1} $$

極限ロピタルの定理対数関数指数関数
2025/8/7

数列 $\{a_n\}$ が $a_1 = 1$ および $a_{n+1} = \sqrt{2a_n + 3}$ で定義されているとき、以下の問いに答えます。 (1) 数列 $\{a_n\}$ が極限...

数列極限漸化式不等式
2025/8/7

3次関数 $f(x) = ax^3 + bx^2 + cx + d$ が、$x=0$ で極大値2をとり、$x=2$ で極小値-6をとる時、定数 $a, b, c, d$ の値を求める。

3次関数極値微分連立方程式
2025/8/7

2つの放物線 $C_1: y = x^2 + 2x + 4$ と $C_2: y = x^2 - 2x + 2$ がある。 (1) $C_1$ と $C_2$ の両方に接する直線 $l$ の方程式を求...

放物線接線面積積分
2025/8/7

2つの放物線 $C_1: y = x^2 + 2x + 4$ と $C_2: y = x^2 - 2x + 2$ がある。これらの放物線両方に接する直線を $l$ とする。 (1) 直線 $l$ の方...

放物線接線積分面積
2025/8/7

2つの放物線 $C_1: y = x^2 + 2x + 4$ と $C_2: y = x^2 - 2x + 2$ がある。 (1) $C_1$ と $C_2$ の両方に接する直線 $l$ の方程式を求...

放物線接線面積積分
2025/8/7

2つの放物線 $C_1: y = x^2 + 2x + 4$ と $C_2: y = x^2 - 2x + 2$ がある。 (1) $C_1$ と $C_2$ の両方に接する直線 $l$ の方程式を求...

放物線接線面積積分
2025/8/7

領域 $D = \{(x, y) | x^2 + y^2 \le 4, x \ge 0, y \ge 0\}$ 上で、二重積分 $\iint_D \sqrt{x^2 + y^2} \, dx \, d...

二重積分極座標変換積分
2025/8/7

定積分 $\int_{1}^{4} (x^3 - x^2 + x + 1) dx$ を計算します。

定積分積分積分計算
2025/8/7

与えられた定積分を計算します。積分は $y$ に関するもので、積分範囲は $0$ から $x$ までです。被積分関数は $e^{\frac{y}{x}}$ です。つまり、 $$\int_0^x e^{...

定積分積分指数関数置換積分
2025/8/7