$x > 0$ のとき、次の不等式を証明する。 (1) $\sqrt{1+x} < 1 + \frac{1}{2}x$ (2) $\log(1+x) < \frac{1+x}{2}$

解析学不等式関数の微分対数関数平方根
2025/7/7

1. 問題の内容

x>0x > 0 のとき、次の不等式を証明する。
(1) 1+x<1+12x\sqrt{1+x} < 1 + \frac{1}{2}x
(2) log(1+x)<1+x2\log(1+x) < \frac{1+x}{2}

2. 解き方の手順

(1) f(x)=1+12x1+xf(x) = 1 + \frac{1}{2}x - \sqrt{1+x} とおく。x>0x > 0f(x)>0f(x) > 0 を示す。
まず、f(0)=1+12(0)1+0=11=0f(0) = 1 + \frac{1}{2}(0) - \sqrt{1+0} = 1 - 1 = 0
次に、f(x)=12121+xf'(x) = \frac{1}{2} - \frac{1}{2\sqrt{1+x}}
f(x)=0f'(x) = 0 となるのは、12=121+x\frac{1}{2} = \frac{1}{2\sqrt{1+x}} より、1+x=1\sqrt{1+x} = 1、つまり、1+x=11+x = 1x=0x = 0
x>0x > 0 では、f(x)>0f'(x) > 0 である。なぜなら、x>0x > 0 のとき、1+x>1\sqrt{1+x} > 1 なので、121+x<12\frac{1}{2\sqrt{1+x}} < \frac{1}{2}。したがって、f(x)=12121+x>0f'(x) = \frac{1}{2} - \frac{1}{2\sqrt{1+x}} > 0
よって、x>0x > 0 において、f(x)f(x) は単調増加である。f(0)=0f(0) = 0 なので、x>0x > 0f(x)>0f(x) > 0
したがって、1+x<1+12x\sqrt{1+x} < 1 + \frac{1}{2}x が証明された。
(2) 問題文が不完全なので、不等式を log(1+x)<x2\log(1+x) < \frac{x}{2} と解釈する。
f(x)=x2log(1+x)f(x) = \frac{x}{2} - \log(1+x) とおく。x>0x > 0f(x)>0f(x) > 0 を示す。
f(0)=02log(1+0)=0log(1)=0f(0) = \frac{0}{2} - \log(1+0) = 0 - \log(1) = 0
f(x)=1211+x=1+x22(1+x)=x12(1+x)f'(x) = \frac{1}{2} - \frac{1}{1+x} = \frac{1+x - 2}{2(1+x)} = \frac{x-1}{2(1+x)}
f(x)=0f'(x) = 0 となるのは、x=1x = 1
0<x<10 < x < 1 のとき、f(x)<0f'(x) < 0 なので、f(x)f(x) は単調減少。
x>1x > 1 のとき、f(x)>0f'(x) > 0 なので、f(x)f(x) は単調増加。
したがって、f(x)f(x)x=1x=1 で最小値をとる。
f(1)=12log(2)0.50.693=0.193<0f(1) = \frac{1}{2} - \log(2) \approx 0.5 - 0.693 = -0.193 < 0
よって、x>0x > 0f(x)>0f(x) > 0 が成り立つとは限らない。
しかし、log(1+x)<1+x2\log(1+x) < \frac{1+x}{2}と解釈すると、正しくない。x=1x=1を代入すると、log(2)<22=1\log(2) < \frac{2}{2}=1となり正しいが、x=0x=0を代入すると、log(1)<12\log(1) < \frac{1}{2}より0<120 < \frac{1}{2}となり正しい。
log(1+x)<x2\log(1+x) < \frac{x}{2}の証明を試みる。
f(x)=x2log(1+x)f(x)=\frac{x}{2} - \log(1+x)とおく。f(0)=0f(0) = 0
f(x)=1211+x=x12(1+x)f'(x) = \frac{1}{2} - \frac{1}{1+x} = \frac{x-1}{2(1+x)}
f(x)=0f'(x) = 0となるのは、x=1x=1
0<x<10<x<1f(x)<0f'(x)<0x>1x>1f(x)>0f'(x)>0となる。
f(1)=12log(2)<0f(1)=\frac{1}{2} - \log(2) < 0なので、x>0x>0で常にf(x)>0f(x)>0とはならない。

3. 最終的な答え

(1) 1+x<1+12x\sqrt{1+x} < 1 + \frac{1}{2}x
(2) log(1+x)<x2\log(1+x) < \frac{x}{2} は正しくない
(2) log(1+x)<1+x2\log(1+x) < \frac{1+x}{2} は正しくない

「解析学」の関連問題

定積分 $\int_{-2}^{1} |x^2 - x| dx$ を計算します。

定積分絶対値積分計算
2025/7/7

$I_n = \int \frac{dx}{(ax^2 - b^2)^n}$ という積分が与えられています。特に、$I_1 = \frac{1}{2ab} \log |\frac{ax-b}{ax+b...

積分部分積分漸化式
2025/7/7

$I_n = \int \frac{dt}{(a^2 t^2 - b^2)^n}$ が与えられたとき、$I_{n+1}$ を求める問題を解きます。

積分部分積分漸化式
2025/7/7

問題は、次の積分を$I_n$とおくというものです。 $I_n = \int \frac{dt}{(a^2t^2 - b^2)^n}$

積分部分分数分解定積分
2025/7/7

問題は、積分 $I_n = \int \frac{dt}{(a^2t^2 - b^2)^n}$ を定義し、$I_1$ が与えられたときに、$I_{n+1}$ を $I_n$ を用いて表す漸化式が与えら...

積分漸化式不定積分
2025/7/7

曲線 $y = \frac{1}{x}$ ($x > 0$) を $C$ とする。$C$ 上の点 $(t, \frac{1}{t})$ における接線の方程式を $y = ax + b$ とする。 (1...

接線積分不等式導関数定積分
2025/7/7

与えられた積分 $I_n$ と、その漸化式、$I_1$ の値を求める問題です。 $I_n = \int \frac{dt}{(a^2t^2 - b^2)^n}$ と定義され、$I_1 = \frac{...

積分漸化式不定積分
2025/7/7

3次曲線 $y = ax^3 + bx^2 + cx + d$ が、$x=2$ で $x$ 軸に接し、原点における接線の方程式が $y = -2x$ であるとき、定数 $a, b, c, d$ の値を...

3次関数接線微分代数
2025/7/7

与えられた積分 $I_n = \int \frac{dt}{(a^2t^2 - b^2)^n}$ と、$J_n = \int \frac{dt}{(b^2 - a^2t^2)^n}$ に関する問題です...

積分漸化式部分積分定積分
2025/7/7

関数 $f(x) = x(x-3)(x-4)$ について、 (1) $x=0$ から $x=2$ までの平均変化率を求めよ。 (2) その平均変化率と等しい微分係数を持つ $f(x)$ の $x$ の...

微分平均変化率微分係数平均値の定理二次方程式
2025/7/7