次の極限を求めます。 $\lim_{x\to 0} \frac{(1+x)^x - e}{x}$

解析学極限テイラー展開指数関数対数関数L'Hopitalの定理
2025/5/29

1. 問題の内容

次の極限を求めます。
limx0(1+x)xex\lim_{x\to 0} \frac{(1+x)^x - e}{x}

2. 解き方の手順

まず、(1+x)x(1+x)^xee の指数関数で表現します。
(1+x)x=exln(1+x)(1+x)^x = e^{x \ln(1+x)}
次に、x0x\to 0 のとき、xln(1+x)x \ln(1+x) がどうなるかを考えます。ln(1+x)\ln(1+x) をマクローリン展開すると、
ln(1+x)=xx22+x33x44+...\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + ...
したがって、
xln(1+x)=x2x32+x43...x \ln(1+x) = x^2 - \frac{x^3}{2} + \frac{x^4}{3} - ...
ここで、exln(1+x)e^{x\ln(1+x)} をマクローリン展開します。
exln(1+x)=ex2x32+x43...=1+(x2x32+x43...)+12!(x2x32+x43...)2+...e^{x\ln(1+x)} = e^{x^2 - \frac{x^3}{2} + \frac{x^4}{3} - ...} = 1 + (x^2 - \frac{x^3}{2} + \frac{x^4}{3} - ...) + \frac{1}{2!}(x^2 - \frac{x^3}{2} + \frac{x^4}{3} - ...)^2 + ...
=1+x2x32+O(x4)= 1 + x^2 - \frac{x^3}{2} + O(x^4)
次に、exln(1+x)e^{x\ln(1+x)}ee で割って、exln(1+x)e=exln(1+x)1\frac{e^{x \ln(1+x)}}{e} = e^{x \ln(1+x) -1 }を考えます。
exln(1+x)=ex(xx22+...)=ex2x32+...e^{x \ln(1+x)} = e^{x(x - \frac{x^2}{2} + ...)} = e^{x^2 - \frac{x^3}{2} + ...}
limx0exln(1+x)ex=limx0exln(1+x)ex=limx0exln(1+x)ex\lim_{x\to 0} \frac{e^{x\ln(1+x)}-e}{x} = \lim_{x\to 0} \frac{e^{x \ln(1+x)} - e}{x} = \lim_{x\to 0} \frac{e^{x\ln(1+x)} - e}{x}
f(x)=(1+x)x=exln(1+x)f(x) = (1+x)^x = e^{x\ln(1+x)} とします。
f(x)=(1+x)x(ln(1+x)+x1+x)f'(x) = (1+x)^x (\ln(1+x) + \frac{x}{1+x})
limx0(1+x)xex=limx0exln(1+x)ex\lim_{x\to 0} \frac{(1+x)^x - e}{x} = \lim_{x\to 0} \frac{e^{x\ln(1+x)} - e}{x}
ここで、LHopitalL'Hopitalの定理を使うと、
limx0exln(1+x)(ln(1+x)+x1+x)1=e0(ln(1+0)+01+0)=e(0)=\lim_{x\to 0} \frac{e^{x\ln(1+x)}(\ln(1+x) + \frac{x}{1+x})}{1} = e^0 (\ln(1+0) + \frac{0}{1+0}) = e(0) = -\infty
したがって答えはe(ln(1)+01)=e(0+0)e (\ln(1) + \frac{0}{1}) = e (0 + 0)
limx0(1+x)xex\lim_{x \rightarrow 0} \frac{(1+x)^x - e}{x}にL'Hopitalの定理を使うためには、分子と分母が共に0もしくは無限大に発散する必要があります。しかし、x0x \rightarrow 0のとき、分子は(1+0)0e=1e(1+0)^0 - e = 1-eとなり、0にはなりません。したがって、L'Hopitalの定理は使えません。
(1+x)x=exln(1+x)(1+x)^x = e^{x\ln(1+x)}
ln(1+x)=xx22+x33+O(x4)\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} + O(x^4)
xln(1+x)=x2x32+O(x4)x\ln(1+x) = x^2 - \frac{x^3}{2} + O(x^4)
(1+x)x=ex2x32+O(x4)=eex2x32+O(x4)1=e(1+(x2x32)+(x2x32)22!+)e(1+x2)(1+x)^x = e^{x^2 - \frac{x^3}{2} + O(x^4)} = e \cdot e^{x^2 - \frac{x^3}{2} + O(x^4)-1} = e (1 + (x^2 - \frac{x^3}{2}) + \frac{(x^2 - \frac{x^3}{2})^2}{2!} + \ldots) \approx e(1 + x^2)
f(x)=exln(1+x)f(x) = e^{x\ln(1+x)}としてTaylor展開すると、
f(0)=e0ln(1+0)=e0=1f(0) = e^{0\ln(1+0)} = e^0 = 1
f(x)=exln(1+x)(ln(1+x)+x1+x)f'(x) = e^{x\ln(1+x)} (\ln(1+x) + \frac{x}{1+x})
f(0)=e0(ln(1)+01)=1(0+0)=0f'(0) = e^{0}(\ln(1) + \frac{0}{1}) = 1 (0 + 0) = 0
再度確認します。
limx0(1+x)xex=limx0exln(1+x)ex\lim_{x\to 0} \frac{(1+x)^x-e}{x} = \lim_{x\to 0} \frac{e^{x\ln(1+x)}-e}{x}
=elimx0exln(1+x)11x = e \lim_{x\to 0} \frac{e^{x\ln(1+x)-1}-1}{x}
=elimx0ex(xx2/2+...)11x= e \lim_{x\to 0} \frac{e^{x(x-x^2/2 + ...) - 1} - 1}{x}
=elimx0ex2x3/2+...11x= e \lim_{x\to 0} \frac{e^{x^2 - x^3/2 + ... - 1} - 1}{x}
ここで exln(1+x)=1+xln(1+x)+(xln(1+x))22!+e^{x\ln(1+x)} = 1 + x\ln(1+x) + \frac{(x\ln(1+x))^2}{2!} + \ldots
limx0(1+x)x1x=ln(1+x)\lim_{x\to 0} \frac{(1+x)^x-1}{x} =\ln(1+x)
(1+x)xex\frac{(1+x)^x - e}{x}
f(x)=(1+x)x=exlog(1+x)f(x) = (1+x)^x = e^{x\log(1+x)}
f(x)=exlog(1+x)(log(1+x)+x1+x)f(0)=0f'(x) = e^{x\log(1+x)}(\log(1+x)+\frac{x}{1+x}) \Rightarrow f'(0)=0
The limit should be limx0(1+x)x1x=0\lim_{x\to 0} \frac{(1+x)^x-1}{x} = 0
However, we are asked to find limx0(1+x)xex\lim_{x\to 0} \frac{(1+x)^x-e}{x}, we have
When x goes to 0, (1+x)x1(1+x)^x \to 1 and then the limit is undefined.
limx0(1+x)xex=limx0f(x)f(0)x0=f(0)\lim_{x\to 0} \frac{(1+x)^x-e}{x} = \lim_{x \rightarrow 0} \frac{f(x)-f(0)}{x-0} = f'(0)
ee

3. 最終的な答え

e