任意の実数 $a$ と自然数 $n$ に対して、不等式 $e^x \geq e^a + \frac{e^a}{1!}(x-a) + \frac{e^a}{2!}(x-a)^2 + \cdots + \frac{e^a}{n!}(x-a)^n$ が $x \geq a$ のとき成り立つことを示す。

解析学不等式テイラー展開数学的帰納法指数関数平均値の定理
2025/6/23

1. 問題の内容

任意の実数 aa と自然数 nn に対して、不等式
exea+ea1!(xa)+ea2!(xa)2++ean!(xa)ne^x \geq e^a + \frac{e^a}{1!}(x-a) + \frac{e^a}{2!}(x-a)^2 + \cdots + \frac{e^a}{n!}(x-a)^n
xax \geq a のとき成り立つことを示す。

2. 解き方の手順

f(x)=exf(x) = e^x とおく。このとき、f(k)(x)=exf^{(k)}(x) = e^x である。
xax \geq a において、平均値の定理を繰り返し用いることで、与えられた不等式を証明する。
まず、n=0n=0 の場合を考える。
exeae^x \geq e^a を示す。これは xax \geq a より exeae^x \geq e^a となるので成立する。
次に、n=1n=1 の場合を考える。
exea+ea(xa)e^x \geq e^a + e^a(x-a) を示す。
g(x)=exeaea(xa)g(x) = e^x - e^a - e^a(x-a) とおく。
g(a)=eaeaea(aa)=0g(a) = e^a - e^a - e^a(a-a) = 0
g(x)=exeag'(x) = e^x - e^a
xax \geq a のとき、g(x)0g'(x) \geq 0 であるから、g(x)g(x)xax \geq a で単調増加である。
したがって、g(x)g(a)=0g(x) \geq g(a) = 0 となり、exea+ea(xa)e^x \geq e^a + e^a(x-a) が成立する。
一般の nn について、数学的帰納法を用いる。
n=kn=k のとき、
exea+ea1!(xa)+ea2!(xa)2++eak!(xa)ke^x \geq e^a + \frac{e^a}{1!}(x-a) + \frac{e^a}{2!}(x-a)^2 + \cdots + \frac{e^a}{k!}(x-a)^k
が成立すると仮定する。
n=k+1n=k+1 のとき、
exea+ea1!(xa)+ea2!(xa)2++ea(k+1)!(xa)k+1e^x \geq e^a + \frac{e^a}{1!}(x-a) + \frac{e^a}{2!}(x-a)^2 + \cdots + \frac{e^a}{(k+1)!}(x-a)^{k+1}
を示す。
関数 h(x)=exi=0neai!(xa)ih(x) = e^x - \sum_{i=0}^{n} \frac{e^a}{i!}(x-a)^i を考える。
h(a)=eaea=0h(a) = e^a - e^a = 0
h(x)=exi=1neai!i(xa)i1=exi=1nea(i1)!(xa)i1h'(x) = e^x - \sum_{i=1}^{n} \frac{e^a}{i!} i (x-a)^{i-1} = e^x - \sum_{i=1}^{n} \frac{e^a}{(i-1)!}(x-a)^{i-1}
=exi=0n1eai!(xa)i= e^x - \sum_{i=0}^{n-1} \frac{e^a}{i!}(x-a)^i
xax \geq a のとき、exe^x のテイラー展開を考えると、
ex=i=0eai!(xa)ie^x = \sum_{i=0}^{\infty} \frac{e^a}{i!}(x-a)^i であるから、
h(x)0h(x) \geq 0 が成立する。

3. 最終的な答え

exea+ea1!(xa)+ea2!(xa)2++ean!(xa)ne^x \geq e^a + \frac{e^a}{1!}(x-a) + \frac{e^a}{2!}(x-a)^2 + \cdots + \frac{e^a}{n!}(x-a)^n
(ただし、xax \geq a)

「解析学」の関連問題

不等式 $\sin x (\sin x - 1 + \sqrt{3} \cos x) \ge 0$ を解く問題です。この不等式は、$\sin x \ge 0$ かつ $\sin x + \sqrt{3...

三角関数不等式三角関数の合成
2025/6/23

与えられた関数のグラフの概形を描く問題です。今回は、(3) $y=x - \cos x$ (ただし、$0 \le x \le 2\pi$)のグラフの概形を求めます。

グラフ関数の概形微分増減凹凸三角関数
2025/6/23

問題は、曲線 $y = 4 - x^2$ と直線 $y = 1$ で囲まれた部分を $y$ 軸の周りに回転させてできる立体の体積 $V$ を求めることです。

積分回転体の体積円盤法
2025/6/23

関数 $y = 2\sin(3x + \frac{\pi}{2})$ の周期を求めます。

三角関数周期正弦波
2025/6/23

定積分 $\int_{0}^{\pi} \sin^3 \theta \cos \theta d\theta$ を計算し、その結果に $\frac{8}{3}$ を掛けた値を求めよ。

定積分三角関数置換積分
2025/6/23

与えられた関数 $f(x)$ を $x=0$ のまわりでテイラー展開(マクローリン展開)し、$f(x) = \sum_{n=0}^{\infty} a_n x^n$ の形にまとめる問題です。与えられた...

テイラー展開マクローリン展開関数級数対数関数逆正接関数双曲線関数
2025/6/23

次の関数 $f(x)$ を $x=0$ のまわりでテイラー展開(マクローリン展開)し、$f(x) = \sum_{n=0}^{\infty} a_n x^n$ の形でまとめる問題です。 (a) $f(...

テイラー展開マクローリン展開関数級数
2025/6/23

定積分 $\int_0^\pi \sin^3\theta \cos\theta \, d\theta$ を計算します。解答例では、不定積分が $\frac{8}{3} \left[ \frac{\si...

定積分置換積分三角関数
2025/6/23

与えられた関数 $y = \frac{x^2 - 3}{x - 2}$ のグラフの概形を描く問題です。定義域、漸近線、極値、増減、凹凸、変曲点などの情報を求めてグラフを描きます。

関数のグラフ漸近線微分増減凹凸極値
2025/6/23

定積分 $\int_{0}^{\pi} \sin^3 \theta \cos \theta \, d\theta$ を計算する問題です。与えられた解答では、$\sin^4 \theta / 4$ を原...

定積分置換積分三角関数
2025/6/23