$\lim_{x \to \infty} (1 + \frac{1}{x})^x = e$ をロピタルの定理を使わずに示す。

解析学極限指数関数数列はさみうちの原理二項定理
2025/4/10

1. 問題の内容

limx(1+1x)x=e\lim_{x \to \infty} (1 + \frac{1}{x})^x = e をロピタルの定理を使わずに示す。

2. 解き方の手順

まず、nn を自然数として、数列 (1+1n)n(1 + \frac{1}{n})^n の極限が ee であることを示す。
二項定理を用いて展開する。
(1+1n)n=k=0n(nk)(1n)k=k=0nn!k!(nk)!1nk=k=0n1k!n(n1)...(nk+1)nk=k=0n1k!(11n)(12n)...(1k1n)(1 + \frac{1}{n})^n = \sum_{k=0}^{n} \binom{n}{k} (\frac{1}{n})^k = \sum_{k=0}^{n} \frac{n!}{k!(n-k)!} \frac{1}{n^k} = \sum_{k=0}^{n} \frac{1}{k!} \frac{n(n-1)...(n-k+1)}{n^k} = \sum_{k=0}^{n} \frac{1}{k!} (1 - \frac{1}{n})(1 - \frac{2}{n})...(1 - \frac{k-1}{n})
ここで、n(n1)...(nk+1)nk<1\frac{n(n-1)...(n-k+1)}{n^k} < 1 であるから、
(1+1n)n<k=0n1k!<k=01k!=e(1 + \frac{1}{n})^n < \sum_{k=0}^{n} \frac{1}{k!} < \sum_{k=0}^{\infty} \frac{1}{k!} = e
また、任意の mnm \le n に対して、
k=0m1k!(11n)(12n)...(1k1n)(1+1n)n\sum_{k=0}^{m} \frac{1}{k!} (1 - \frac{1}{n})(1 - \frac{2}{n})...(1 - \frac{k-1}{n}) \le (1 + \frac{1}{n})^n
nn \to \infty とすると、
k=0m1k!limn(1+1n)n\sum_{k=0}^{m} \frac{1}{k!} \le \lim_{n \to \infty} (1 + \frac{1}{n})^n
mm \to \infty とすると、
elimn(1+1n)ne \le \lim_{n \to \infty} (1 + \frac{1}{n})^n
よって、limn(1+1n)n=e\lim_{n \to \infty} (1 + \frac{1}{n})^n = e となる。
xx \to \infty のときを考える。
n=[x]n = [x] とする。ここで [x][x]xx 以下の最大の整数を表す。
このとき、nx<n+1n \le x < n+1 である。
(1+1n+1)n<(1+1x)x<(1+1n)n+1(1 + \frac{1}{n+1})^n < (1 + \frac{1}{x})^x < (1 + \frac{1}{n})^{n+1}
(1+1n+1)n=(1+1n+1)n+11+1n+1e1=e(n)(1 + \frac{1}{n+1})^n = \frac{(1 + \frac{1}{n+1})^{n+1}}{1 + \frac{1}{n+1}} \to \frac{e}{1} = e \quad (n \to \infty)
(1+1n)n+1=(1+1n)n(1+1n)e1=e(n)(1 + \frac{1}{n})^{n+1} = (1 + \frac{1}{n})^n (1 + \frac{1}{n}) \to e \cdot 1 = e \quad (n \to \infty)
したがって、はさみうちの原理より limx(1+1x)x=e\lim_{x \to \infty} (1 + \frac{1}{x})^x = e となる。

3. 最終的な答え

limx(1+1x)x=e\lim_{x \to \infty} (1 + \frac{1}{x})^x = e

「解析学」の関連問題

実数 $x$ に対して、無限級数 $x + \frac{x}{1+x-x^2} + \frac{x}{(1+x-x^2)^2} + \frac{x}{(1+x-x^2)^3} + \dots$ が収束...

無限級数等比級数収束
2025/7/8

関数 $f(x) = x^3 - 3x^2 + 3$ について、以下の $x$ の値における微分係数 $f'(x)$ を求めよ。 (1) $x = 2$ (2) $x = 0$ (3) $x = -2...

微分微分係数関数の微分
2025/7/8

半径 $r$ の球の体積を $V$、表面積を $S$ とするとき、$V = \frac{4}{3}\pi r^3$、$S = 4\pi r^2$ である。$V$ と $S$ を $r$ の関数とみて、...

微分体積表面積
2025/7/8

与えられた関数 $f(x)$ について、導関数の定義に従って導関数 $f'(x)$ を求める問題です。 (1) $f(x) = 3x$ (2) $f(x) = -x^2$

導関数微分極限関数の微分
2025/7/8

与えられた数列の和 $S$ を求めます。数列 $S$ は以下のように定義されます。 $S = \frac{1}{3\cdot5} + \frac{1}{5\cdot7} + \frac{1}{7\cd...

数列部分分数分解級数
2025/7/8

無限級数 $\sum_{n=1}^{\infty} \frac{3 \cdot 2^n + 2(-3)^n}{5^n}$ の和を求めよ。

無限級数等比級数収束
2025/7/8

関数 $y = \log x$ を、$x = 1$ の周りで5次の項までテーラー展開する。剰余項は考えない。

テーラー展開対数関数微分
2025/7/8

与えられた無限等比級数 $1 - \frac{x-1}{3} + \frac{(x-1)^2}{9} - \frac{(x-1)^3}{27} + \cdots$ が収束するような実数 $x$ の値の...

無限等比級数収束公比不等式
2025/7/8

以下の4つの不定積分を計算します。 (1) $\int (3x+2)^3 dx$ (2) $\int \cos 2x dx$ (3) $\int x\sqrt{2x+1} dx$ (4) $\int ...

不定積分置換積分積分計算
2025/7/8

以下の3つの不定積分を求めます。 (2) $\int x \log x dx$ (3) $\int (x+1)e^x dx$ (4) $\int \log x dx$

積分不定積分部分積分法対数関数指数関数
2025/7/8