(1) すべての自然数 $n$ に対して、$x \ge 0$ のとき、$e^x > \frac{x^n}{n!}$ が成り立つことを数学的帰納法によって示す。 (2) 関数 $f(x) = x^{n-1}e^{-x}$ について、極限 $\lim_{x \to \infty} f(x)$ を求める。

解析学数学的帰納法極限指数関数ロピタルの定理
2025/6/15

1. 問題の内容

(1) すべての自然数 nn に対して、x0x \ge 0 のとき、ex>xnn!e^x > \frac{x^n}{n!} が成り立つことを数学的帰納法によって示す。
(2) 関数 f(x)=xn1exf(x) = x^{n-1}e^{-x} について、極限 limxf(x)\lim_{x \to \infty} f(x) を求める。

2. 解き方の手順

(1)
(i) n=1n = 1 のとき: ex>x1!e^x > \frac{x}{1!} を示す。x0x \ge 0ex=1+x+x22!+>1+x>xe^x = 1 + x + \frac{x^2}{2!} + \dots > 1 + x > x であるから、ex>xe^x > x が成り立つ。
(ii) n=kn = k のとき、ex>xkk!e^x > \frac{x^k}{k!} が成り立つと仮定する。
(iii) n=k+1n = k+1 のとき、ex>xk+1(k+1)!e^x > \frac{x^{k+1}}{(k+1)!} を示す。
ex>xkk!e^x > \frac{x^k}{k!} の両辺を積分すると、0xetdt>0xtkk!dt\int_0^x e^t dt > \int_0^x \frac{t^k}{k!} dt
よって、ex1>xk+1(k+1)!e^x - 1 > \frac{x^{k+1}}{(k+1)!}
x0x \ge 0 より、ex>1+xk+1(k+1)!>xk+1(k+1)!e^x > 1 + \frac{x^{k+1}}{(k+1)!} > \frac{x^{k+1}}{(k+1)!} が成り立つ。
したがって、数学的帰納法により、x0x \ge 0 のとき、すべての自然数 nn に対して、ex>xnn!e^x > \frac{x^n}{n!} が成り立つ。
(2)
limxf(x)=limxxn1ex=limxxn1ex\lim_{x \to \infty} f(x) = \lim_{x \to \infty} x^{n-1}e^{-x} = \lim_{x \to \infty} \frac{x^{n-1}}{e^x}
これは \frac{\infty}{\infty} の不定形であるから、ロピタルの定理を用いる。
nn は自然数なので、n1n-1 回ロピタルの定理を適用すると、
limxxn1ex=limx(n1)xn2ex=limx(n1)(n2)xn3ex==limx(n1)!ex=0\lim_{x \to \infty} \frac{x^{n-1}}{e^x} = \lim_{x \to \infty} \frac{(n-1) x^{n-2}}{e^x} = \lim_{x \to \infty} \frac{(n-1)(n-2)x^{n-3}}{e^x} = \dots = \lim_{x \to \infty} \frac{(n-1)!}{e^x} = 0

3. 最終的な答え

(1) すべての自然数 nn に対して、x0x \ge 0 のとき、ex>xnn!e^x > \frac{x^n}{n!} が成り立つ。(証明終わり)
(2) limxf(x)=0\lim_{x \to \infty} f(x) = 0

「解析学」の関連問題

数列 $\{a_n\}$ が $a_1 = 1$ および漸化式 $a_{n+1} = \frac{7a_n + 16}{2a_n + 7}$ で定義されている。 (1) すべての自然数 $n$ に対し...

数列漸化式数学的帰納法極限
2025/6/18

$x > 0$ の範囲で、関数 $f(x) = x^2 \log(\frac{x}{3})$ が与えられています。この関数の導関数 $f'(x)$ が 0 になる $x$ の値を、$f'(x) = 0...

微分導関数対数関数関数の最大最小
2025/6/18

関数 $f(x) = (x+1)e^{7x+3}$ が与えられたとき、導関数 $f'(x)$ が 0 となる $x$ の値を求める。

微分導関数指数関数積の微分法
2025/6/18

関数 $f(x)$ と $g(x)$ が与えられており、$f(x) = 2x^2 + 4x - \frac{3}{2} \int_1^x g(t) dt$ ... (1) および $g(x) = \i...

積分微分極値関数の解析
2025/6/18

関数 $y = \log_2(x-1)$ のグラフを描く問題です。

対数関数グラフ平行移動定義域漸近線
2025/6/18

関数 $f(x) = kx^2$ (ただし $0 < a < 1$, $k > 0$) について、放物線 $y=f(x)$ と直線 $y=f(a)$ および $x=0$ で囲まれた図形の面積を $S_...

積分関数面積定積分放物線
2025/6/18

$a$ と $k$ は定数で、$0 < a < 1$, $k > 0$ とする。関数 $f(x)$ を $f(x) = kx^2$ とし、$x \geq 0$ において、放物線 $y = f(x)$ ...

積分面積定積分関数放物線
2025/6/18

$f(x) = kx^2$($k > 0$)とし、$0 < a < 1$ とする。 $A = \int_0^1 f(x)dx$, $B = \int_0^a f(x)dx$, $C = \int_a^...

積分定積分大小比較
2025/6/18

$f(x) = kx^2$ ($k > 0$, $x \ge 0$) が与えられている。 $A = \int_{0}^{a} f(x) dx$, $B = \int_{a}^{1} f(x) dx$,...

積分定積分関数大小比較
2025/6/18

与えられた関数 $f(x)$ がすべての実数で連続となるように、定数 $a$ の値を求める問題です。具体的には、以下の4つの関数について、$a$ の値を求めます。 (1) $f(x) = \begin...

関数の連続性極限関数の極限分数関数
2025/6/18