与えられた2つの不等式を証明する問題です。 (1) 全ての実数 $x$ に対して $e^x \geq x+1$ を証明する。 (2) $x \geq 0$ のとき、$x \geq \tan^{-1} x$ を証明する。

解析学不等式指数関数逆三角関数微分単調増加関数関数の最小値
2025/6/5

1. 問題の内容

与えられた2つの不等式を証明する問題です。
(1) 全ての実数 xx に対して exx+1e^x \geq x+1 を証明する。
(2) x0x \geq 0 のとき、xtan1xx \geq \tan^{-1} x を証明する。

2. 解き方の手順

(1)
関数 f(x)=ex(x+1)f(x) = e^x - (x+1) を定義します。この関数の最小値を求めることで不等式を証明します。
f(x)=ex1f'(x) = e^x - 1
f(x)=0f'(x) = 0 となる xx を求めます。
ex1=0e^x - 1 = 0
ex=1e^x = 1
x=0x = 0
x<0x < 0 のとき f(x)<0f'(x) < 0 であり、x>0x > 0 のとき f(x)>0f'(x) > 0 であるため、x=0x=0f(x)f(x) は最小値を取ります。
f(0)=e0(0+1)=11=0f(0) = e^0 - (0+1) = 1 - 1 = 0
したがって、f(x)0f(x) \geq 0 が成り立ちます。
ex(x+1)0e^x - (x+1) \geq 0
exx+1e^x \geq x+1
(2)
関数 g(x)=xtan1xg(x) = x - \tan^{-1} x を定義します。この関数の最小値を求めることで不等式を証明します。ただし、x0x \geq 0 です。
g(x)=111+x2=1+x211+x2=x21+x2g'(x) = 1 - \frac{1}{1+x^2} = \frac{1+x^2 - 1}{1+x^2} = \frac{x^2}{1+x^2}
x0x \geq 0 において、g(x)0g'(x) \geq 0 なので、g(x)g(x) は単調増加関数です。
g(0)=0tan1(0)=00=0g(0) = 0 - \tan^{-1}(0) = 0 - 0 = 0
したがって、x0x \geq 0 において g(x)0g(x) \geq 0 が成り立ちます。
xtan1x0x - \tan^{-1} x \geq 0
xtan1xx \geq \tan^{-1} x

3. 最終的な答え

(1) 全ての実数 xx に対して、exx+1e^x \geq x+1 が成り立つ。
(2) x0x \geq 0 のとき、xtan1xx \geq \tan^{-1} x が成り立つ。

「解析学」の関連問題

放物線 $C_1: y=2x^2$ 上の点 $A(1,2)$ における接線 $l$ について、その傾きと方程式を求めます。次に、放物線 $C_2: y = -x^2 + ax - b$ が接線 $l$...

微分積分接線面積
2025/6/6

与えられた関数 $y = 4\sin x \cos x - 2\cos^2 x$ を変形して、$y = \sqrt{\text{コ}} \sin(\text{ク} + \alpha) - \text{...

三角関数三角関数の合成関数の変形
2025/6/6

関数 $f(x) = 3x^2 - 4x + \int_0^3 f(t) dt$ が与えられている。$a = \int_0^3 f(t) dt$ とおいて、$f(x)$ を求めよ。

積分関数定積分
2025/6/6

図2は関数 $y = 2\sin{x} + 2\cos{x}$ のグラフである。図2における $a$ の値を求め、さらに式 $2\sin{x} + 2\cos{x}$ を合成したときの $b$ と $...

三角関数関数の合成グラフ振幅位相
2025/6/6

図1に示された関数 $y=A$ と関数 $y=A'$ の式を、選択肢の中から選ぶ問題です。また、関数 $y=$イ と関数 $y=$ウ のグラフが一致することも考慮して回答する必要があります。

三角関数グラフ振幅周期コサイン関数
2025/6/6

実数 $a$ の範囲が $1/2 < a < 3$ のとき、3次関数 $f(x) = x^3 - 3ax^2 + 3(2a^2 - 1)x + 2$ は極大値と極小値を持つ。$f(x)$ の極大値と極...

三次関数極大値極小値微分最大値最小値
2025/6/6

与えられた数列の和を求める問題です。 数列は$\sum_{k=1}^{n} \frac{1}{\sqrt{k+1} + \sqrt{k}}$で表されます。

数列級数有理化望遠鏡和
2025/6/6

与えられた和 $\sum_{k=1}^{10} \frac{1}{k^2 + 3k + 2}$ を計算します。

級数部分分数分解シグマ
2025/6/6

関数 $f(x) = x^3 - 9x^2 + 15x + 7$ について、以下の問いに答えます。 (1) $f(x)$ の増減を調べ、極値を求め、極値をとるときの $x$ の値を求めます。 (2) ...

微分増減極値三次関数方程式グラフ
2025/6/6

関数 $f(x) = (3x^2 - 6x + 10)^{2/3}$ の導関数 $f'(x)$ と、微分係数 $f'(1)$ を求める問題です。

導関数微分合成関数の微分微分係数
2025/6/6