$x > 0$ のとき、$\sqrt{1+x} > 1 + \frac{1}{2}x - \frac{1}{8}x^2$ が成り立つことを示す問題です。

解析学不等式関数の微分関数の単調性テイラー展開
2025/7/13

1. 問題の内容

x>0x > 0 のとき、1+x>1+12x18x2\sqrt{1+x} > 1 + \frac{1}{2}x - \frac{1}{8}x^2 が成り立つことを示す問題です。

2. 解き方の手順

関数 f(x)=1+x(1+12x18x2)f(x) = \sqrt{1+x} - (1 + \frac{1}{2}x - \frac{1}{8}x^2) を考えます。x>0x > 0f(x)>0f(x) > 0 を示すことが目標です。
まず、f(0)f(0) を計算します。
f(0)=1+0(1+12(0)18(0)2)=11=0f(0) = \sqrt{1+0} - (1 + \frac{1}{2}(0) - \frac{1}{8}(0)^2) = 1 - 1 = 0
次に、f(x)f'(x) を計算します。
f(x)=121+x12+14xf'(x) = \frac{1}{2\sqrt{1+x}} - \frac{1}{2} + \frac{1}{4}x
さらに、f(x)f''(x) を計算します。
f(x)=14(1+x)32+14=14(11(1+x)32)f''(x) = -\frac{1}{4(1+x)^{\frac{3}{2}}} + \frac{1}{4} = \frac{1}{4}\left(1-\frac{1}{(1+x)^{\frac{3}{2}}}\right)
x>0x > 0 のとき、(1+x)32>1(1+x)^{\frac{3}{2}} > 1 なので、1(1+x)32<1\frac{1}{(1+x)^{\frac{3}{2}}} < 1 となり、11(1+x)32>01 - \frac{1}{(1+x)^{\frac{3}{2}}} > 0。したがって、f(x)>0f''(x) > 0 となります。
これは、f(x)f'(x) が単調増加であることを意味します。f(0)f'(0) を計算すると、f(0)=121+012+14(0)=1212=0f'(0) = \frac{1}{2\sqrt{1+0}} - \frac{1}{2} + \frac{1}{4}(0) = \frac{1}{2} - \frac{1}{2} = 0
f(x)f'(x) は単調増加であり、f(0)=0f'(0)=0 なので、x>0x > 0f(x)>0f'(x) > 0 となります。
これは、f(x)f(x) が単調増加であることを意味します。f(0)=0f(0)=0 であり、f(x)f(x) は単調増加なので、x>0x > 0f(x)>0f(x) > 0 となります。
したがって、x>0x > 0 のとき、1+x>1+12x18x2\sqrt{1+x} > 1 + \frac{1}{2}x - \frac{1}{8}x^2 が成り立ちます。

3. 最終的な答え

x>0x>0 のとき、1+x>1+12x18x2\sqrt{1+x} > 1 + \frac{1}{2}x - \frac{1}{8}x^2 が成り立つ。

「解析学」の関連問題

(1) 連続関数の最大値・最小値の定理を述べる。 (2) 有界開区間上の連続関数で、最大値も最小値も存在しない例を一つ挙げる。

連続関数最大値最小値定理開区間
2025/7/13

問題5 (1) では、任意の実数 $x$ に対して、$\lim_{n \to \infty} (1 + \frac{x}{n})^n$ の極限値を求める問題です。 問題5 (2) では、$e^x$ の...

極限指数関数マクローリン展開複利計算
2025/7/13

問題5の(1)(2)(3)を解きます。 (1) $\lim_{n\to\infty} (1 + \frac{x}{n})^n$ を求めます。 (2) $e^x$ のマクローリン展開を求め、それを用いて...

極限指数関数マクローリン展開連続複利
2025/7/13

関数 $f(x) = \frac{\log x^2}{x}$ (ただし、$x > 0$で、対数は自然対数) について、以下の問題を解く。 (1) $f(x)$ の最大値を求める。 (2) 曲線 $y ...

関数の最大値微分変曲点接線積分面積
2025/7/13

次の関数の増減、極値、グラフの凹凸、変曲点を調べて、グラフの概形を描け。 (1) $y = \frac{1}{4}x^3 - 3x$ (2) $y = \frac{1}{4}x^4 - \frac{3...

関数の増減極値グラフ微分変曲点
2025/7/13

与えられた文章の空欄を埋める問題と、関数の連続性を調べる問題、および中間値の定理に関連する証明問題が出されています。

関数の連続性極限中間値の定理合成関数微分
2025/7/13

与えられた積分を計算します。 $\int (\log x)^2 dx$

積分部分積分対数関数
2025/7/13

与えられた積分を計算します。 積分は $\int \frac{e^x - e^{-x}}{e^x + e^{-x}} dx$ です。

積分指数関数置換積分
2025/7/13

関数 $y = -x^2 + x - 3$ のグラフに点 $C(1, 1)$ から引いた接線が2本ある。この2本の接線の方程式を求める。

微分接線二次関数
2025/7/13

$\int \sin^4 x dx$ を計算してください。

積分三角関数積分計算半角の公式
2025/7/13