(1) $0 \le x \le \frac{1}{3}$ のとき、$1+x^2 \le \frac{1}{1-x^2} \le 1+\frac{9}{8}x^2$ が成り立つことを示す。 (2) (1)の不等式を用いて、$\log_e 2$ の値を小数第2位まで求める。

解析学不等式対数近似
2025/4/11

1. 問題の内容

(1) 0x130 \le x \le \frac{1}{3} のとき、1+x211x21+98x21+x^2 \le \frac{1}{1-x^2} \le 1+\frac{9}{8}x^2 が成り立つことを示す。
(2) (1)の不等式を用いて、loge2\log_e 2 の値を小数第2位まで求める。

2. 解き方の手順

(1)
まず、1+x211x21+x^2 \le \frac{1}{1-x^2} を示す。
0x130 \le x \le \frac{1}{3} より、0x2190 \le x^2 \le \frac{1}{9}
1x2>01-x^2 > 0 なので、1+x211x21+x^2 \le \frac{1}{1-x^2} の両辺に 1x21-x^2 を掛けると、
(1+x2)(1x2)1(1+x^2)(1-x^2) \le 1
1x411-x^4 \le 1
x40-x^4 \le 0
x40x^4 \ge 0
これは常に成り立つ。
次に、11x21+98x2\frac{1}{1-x^2} \le 1+\frac{9}{8}x^2 を示す。
0x130 \le x \le \frac{1}{3} より、0x2190 \le x^2 \le \frac{1}{9}
1x2>01-x^2 > 0 なので、11x21+98x2\frac{1}{1-x^2} \le 1+\frac{9}{8}x^2 の両辺に 1x21-x^2 を掛けると、
1(1+98x2)(1x2)1 \le (1+\frac{9}{8}x^2)(1-x^2)
11x2+98x298x41 \le 1 - x^2 + \frac{9}{8}x^2 - \frac{9}{8}x^4
018x298x40 \le \frac{1}{8}x^2 - \frac{9}{8}x^4
018x2(19x2)0 \le \frac{1}{8}x^2(1 - 9x^2)
0x2(19x2)0 \le x^2(1 - 9x^2)
x=0x=0 のとき成り立つ。x0x \ne 0のとき、19x201-9x^2 \ge 0 であれば良い。
19x21 \ge 9x^2
x219x^2 \le \frac{1}{9}
13x13-\frac{1}{3} \le x \le \frac{1}{3}
0x130 \le x \le \frac{1}{3} より成り立つ。
(2)
11x2=1+x2+x4+x6+\frac{1}{1-x^2} = 1 + x^2 + x^4 + x^6 + \cdots
loge(1+x)=xx22+x33\log_e(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots
loge(11x2)=loge(1x2)=x2+x42+x63+\log_e(\frac{1}{1-x^2}) = -\log_e(1-x^2) = x^2 + \frac{x^4}{2} + \frac{x^6}{3} + \cdots
loge2=loge(1112)12+(12)22+(12)33+\log_e 2 = \log_e(\frac{1}{1 - \frac{1}{2}}) \approx \frac{1}{2} + \frac{(\frac{1}{2})^2}{2} + \frac{(\frac{1}{2})^3}{3} + \cdots
x2=12x^2 = \frac{1}{2} となるxxは与えられた不等式を使えない。
x2=13x^2 = \frac{1}{3}とすると、0x130 \le x \le \frac{1}{3}を満たさない。
11x2=2\frac{1}{1-x^2} = 2 となるxxを求める。
1=2(1x2)1 = 2(1-x^2)
1=22x21 = 2-2x^2
2x2=12x^2 = 1
x2=12x^2 = \frac{1}{2}
x=12x = \frac{1}{\sqrt{2}}。このとき、不等式は使えない。
11x2=32\frac{1}{1-x^2} = \frac{3}{2} となるxxを求める。
2=3(1x2)2 = 3(1-x^2)
2=33x22 = 3-3x^2
3x2=13x^2 = 1
x2=13x^2 = \frac{1}{3}
x=13x = \frac{1}{\sqrt{3}}。このとき、1+x2=1+13=431+x^2 = 1+\frac{1}{3} = \frac{4}{3}1+98x2=1+9813=1+38=1181+\frac{9}{8}x^2 = 1+\frac{9}{8}\cdot \frac{1}{3} = 1+\frac{3}{8} = \frac{11}{8}
4332118\frac{4}{3} \le \frac{3}{2} \le \frac{11}{8}
loge(32)=loge3loge2\log_e(\frac{3}{2}) = \log_e 3 - \log_e 2
loge2=loge3loge32\log_e 2 = \log_e 3 - \log_e \frac{3}{2}
1+x2321+98x21 + x^2 \le \frac{3}{2} \le 1 + \frac{9}{8} x^2
1+13321+98131 + \frac{1}{3} \le \frac{3}{2} \le 1 + \frac{9}{8} \frac{1}{3}
4332118\frac{4}{3} \le \frac{3}{2} \le \frac{11}{8}
1.3331.51.3751.333 \le 1.5 \le 1.375
13=x2\frac{1}{3} = x^2, x=130.577x=\frac{1}{\sqrt{3}} \approx 0.577
11x21+x2=1+13=43=1.33\frac{1}{1-x^2} \approx 1+x^2 = 1+\frac{1}{3} = \frac{4}{3} = 1.33からloge43=loge4loge3=2loge2loge3=0.287\log_e \frac{4}{3} = \log_e 4 - \log_e 3 = 2\log_e 2 - \log_e 3 = 0.287
loge118=loge11loge8=0.310\log_e \frac{11}{8} = \log_e 11 - \log_e 8 = 0.310
x=13x=\frac{1}{3}とすると、1+(13)211(13)21+98(13)21+(\frac{1}{3})^2 \le \frac{1}{1-(\frac{1}{3})^2} \le 1 + \frac{9}{8}(\frac{1}{3})^2
10911191+9819\frac{10}{9} \le \frac{1}{1-\frac{1}{9}} \le 1 + \frac{9}{8}\frac{1}{9}
1099898\frac{10}{9} \le \frac{9}{8} \le \frac{9}{8}
109=1.11\frac{10}{9} = 1.11, 98=1.125\frac{9}{8} = 1.125
loge(98)=loge9loge8=2.1972.079=0.118\log_e(\frac{9}{8}) = \log_e 9 - \log_e 8 = 2.197 - 2.079 = 0.118
1+x211x21+98x21+x^2 \le \frac{1}{1-x^2} \le 1+\frac{9}{8} x^2
e1+x211x2e1+98x2e^{1+x^2} \le \frac{1}{1-x^2} \le e^{1+\frac{9}{8}x^2}
loge(1+x2)loge(11x2)loge(1+98x2)\log_e(1+x^2) \le \log_e(\frac{1}{1-x^2}) \le \log_e(1+\frac{9}{8}x^2)
loge(11x2)=loge(1x2)=x2+x42+x63+\log_e(\frac{1}{1-x^2})=-\log_e(1-x^2)=x^2+\frac{x^4}{2}+\frac{x^6}{3}+\cdots
x2=14,x=12,1+1411141+9814,54434132x^2=\frac{1}{4}, x=\frac{1}{2}, 1+\frac{1}{4}\le \frac{1}{1-\frac{1}{4}} \le 1+\frac{9}{8}\cdot\frac{1}{4}, \frac{5}{4}\le\frac{4}{3}\le\frac{41}{32}
54=1.25,43=1.333,4132=1.28125\frac{5}{4}=1.25, \frac{4}{3}=1.333, \frac{41}{32}=1.28125
x=14x = \frac{1}{4}とすると、1+(14)2=1716=1.06251+(\frac{1}{4})^2 = \frac{17}{16} = 1.0625, 1+98(14)2=1+9128=137128=1.07031251+\frac{9}{8}(\frac{1}{4})^2 = 1 + \frac{9}{128} = \frac{137}{128} = 1.0703125
1+(14)211(14)21+98(14)21+(\frac{1}{4})^2 \le \frac{1}{1-(\frac{1}{4})^2} \le 1 + \frac{9}{8}(\frac{1}{4})^2
17161615137128\frac{17}{16} \le \frac{16}{15} \le \frac{137}{128}
1.06251.06671.07031251.0625 \le 1.0667 \le 1.0703125
loge(1615)=0.0645\log_e(\frac{16}{15}) = 0.0645
x=14x=\frac{1}{4}の時、
x2+x42=116+12162=0.0625+0.0019=0.0644x^2+\frac{x^4}{2}= \frac{1}{16}+\frac{1}{2\cdot 16^2} = 0.0625+0.0019=0.0644
loge2=0.69\log_e 2 = 0.69とする。

3. 最終的な答え

loge20.69\log_e 2 \approx 0.69

「解析学」の関連問題

与えられた関数 $y = x^4 - 2x^2 + 1$ について、以下の問いに答えます。 (1) $y$ の極大値と、極大値をとる $x$ の値をすべて求めます。 (2) $y$ の極小値と、極小値...

微分極値増減増減表関数のグラフ
2025/4/15

$\cos 2x = \frac{1 - \tan^2 x}{1 + \tan^2 x}$ を証明します。

三角関数恒等式2倍角の公式証明
2025/4/15

与えられた式 $\sin^2 x = \frac{\tan^2 x}{1 + \tan^2 x}$ が成り立つことを証明する。

三角関数恒等式証明
2025/4/15

与えられた式が正しいことを示す問題です。具体的には、$cos^2 x = \frac{1}{1 + tan^2 x}$ が成り立つことを示します。

三角関数恒等式証明
2025/4/15

自然対数の底 $e$ の定義式 $e = \lim_{n \to \infty} (1 + \frac{1}{n})^n$ を既知として、$\lim_{n \to \infty} (1 + \frac...

極限自然対数e数列
2025/4/14

$0 \le x < \pi$ のとき、関数 $y = 3\cos^2 x - \sqrt{3}\sin x \cos x + 1$ の最大値と最小値を求めよ。

三角関数最大値最小値三角関数の合成
2025/4/14

関数 $y = 3\cos^2 x - \sqrt{3} \sin x \cos x + 1$ について、$0 \le x < \pi$ の範囲における最大値と最小値を求める問題です。

三角関数最大値最小値三角関数の合成
2025/4/14

関数 $y = 3\cos^2 x - \sqrt{3} \sin x \cos x + 1$ の、$0 \le x < \pi$ における最大値と最小値を求めます。

三角関数最大値最小値三角関数の合成倍角の公式
2025/4/14

$0 \leq x < \pi$ の範囲において、関数 $y = 3\cos^2 x - \sqrt{3} \sin x \cos x + 1$ の最大値と最小値を求める。

三角関数最大値最小値三角関数の合成
2025/4/14

$0 < \alpha < \pi$ のとき、$\sin \alpha + \sin 2\alpha + \sin 3\alpha + \sin 4\alpha = 0$ を満たす $\alpha$ ...

三角関数三角関数の和積公式方程式
2025/4/14