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

「解析学」の関連問題

グラフが与えられており、$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

関数 $f(x) = 5\sin(\pi x + 1)$ の導関数 $\frac{df(x)}{dx}$ を求めよ。

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

関数 $f(x) = \frac{3}{e^{4x-1}}$ の導関数 $\frac{df(x)}{dx}$ を求める問題です。

微分導関数指数関数合成関数の微分
2025/4/14

関数 $f(\theta) = \cos^2\theta + 8\sin\theta\cos\theta - 5\sin^2\theta$ を合成せよ。

三角関数合成三角関数の合成
2025/4/14

関数 $y = 3x + 4$ の $a$ から $b$ までの平均変化率を求める問題です。

平均変化率一次関数
2025/4/14

関数 $f(x) = x^2$ について、$f'(a)$ を定義に従って求め、グラフ上の点 $(-3, 9)$ における接線の傾きを求めよ。

微分導関数極限接線グラフ
2025/4/14