与えられた極限 $\lim_{a \to 0} \frac{e^a - 1 - a}{a^2} = \frac{1}{2}$ を用いて、$\lim_{x \to 0} (\frac{1}{\log(1+x)} - \frac{1}{x})$ を求めよ。

解析学極限マクローリン展開ロピタルの定理テイラー展開
2025/5/29

1. 問題の内容

与えられた極限 lima0ea1aa2=12\lim_{a \to 0} \frac{e^a - 1 - a}{a^2} = \frac{1}{2} を用いて、limx0(1log(1+x)1x)\lim_{x \to 0} (\frac{1}{\log(1+x)} - \frac{1}{x}) を求めよ。

2. 解き方の手順

まず、与えられた式を整理する。
limx0(1log(1+x)1x)=limx0xlog(1+x)xlog(1+x)\lim_{x \to 0} (\frac{1}{\log(1+x)} - \frac{1}{x}) = \lim_{x \to 0} \frac{x - \log(1+x)}{x \log(1+x)}
ここで、log(1+x)\log(1+x) のマクローリン展開を用いると、
log(1+x)=xx22+x33x44+...\log(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + ...
したがって、
xlog(1+x)=x22x33+x44...x - \log(1+x) = \frac{x^2}{2} - \frac{x^3}{3} + \frac{x^4}{4} - ...
また、
xlog(1+x)=x(xx22+x33x44+...)=x2x32+x43...x \log(1+x) = x(x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + ...) = x^2 - \frac{x^3}{2} + \frac{x^4}{3} - ...
したがって、求める極限は
limx0x22x33+x44...x2x32+x43...=limx012x3+x24...1x2+x23...=121=12\lim_{x \to 0} \frac{\frac{x^2}{2} - \frac{x^3}{3} + \frac{x^4}{4} - ...}{x^2 - \frac{x^3}{2} + \frac{x^4}{3} - ...} = \lim_{x \to 0} \frac{\frac{1}{2} - \frac{x}{3} + \frac{x^2}{4} - ...}{1 - \frac{x}{2} + \frac{x^2}{3} - ...} = \frac{\frac{1}{2}}{1} = \frac{1}{2}
別の解法として、ロピタルの定理を用いる。
limx0xlog(1+x)xlog(1+x)\lim_{x \to 0} \frac{x - \log(1+x)}{x \log(1+x)}00\frac{0}{0} の不定形である。
したがって、ロピタルの定理を適用する。
limx0111+xlog(1+x)+x1+x=limx0x1+xlog(1+x)+x1+x=limx0x(1+x)log(1+x)+x\lim_{x \to 0} \frac{1 - \frac{1}{1+x}}{\log(1+x) + \frac{x}{1+x}} = \lim_{x \to 0} \frac{\frac{x}{1+x}}{\log(1+x) + \frac{x}{1+x}} = \lim_{x \to 0} \frac{x}{(1+x)\log(1+x) + x}
これも 00\frac{0}{0} の不定形であるため、再度ロピタルの定理を適用する。
limx01log(1+x)+1+1+xx(1+x)2+1=limx01log(1+x)+2+1(1+x)2\lim_{x \to 0} \frac{1}{\log(1+x) + 1 + \frac{1+x - x}{(1+x)^2} + 1} = \lim_{x \to 0} \frac{1}{\log(1+x) + 2 + \frac{1}{(1+x)^2}}
=10+2+1=13= \frac{1}{0 + 2 + 1} = \frac{1}{3}
ただし、与えられた極限 lima0ea1aa2=12\lim_{a \to 0} \frac{e^a - 1 - a}{a^2} = \frac{1}{2} を用いるという指示がある。
limx0(1log(1+x)1x)=limx0xlog(1+x)xlog(1+x)\lim_{x \to 0} (\frac{1}{\log(1+x)} - \frac{1}{x}) = \lim_{x \to 0} \frac{x - \log(1+x)}{x \log(1+x)}
ea=1+a+a22+a36+...e^a = 1 + a + \frac{a^2}{2} + \frac{a^3}{6} + ... なので、ea1a=a22+a36+...e^a - 1 - a = \frac{a^2}{2} + \frac{a^3}{6} + ...
ea1aa2=12+a6+...\frac{e^a - 1 - a}{a^2} = \frac{1}{2} + \frac{a}{6} + ...
ここで、xlog(1+x)x - \log(1+x) を考える。
log(1+x)=xx22+x33...\log(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - ... なので、xlog(1+x)=x22x33+...x - \log(1+x) = \frac{x^2}{2} - \frac{x^3}{3} + ...
xlog(1+x)=x22+O(x3)x - \log(1+x) = \frac{x^2}{2} + O(x^3)
log(1+x)=xx22+O(x3)\log(1+x) = x - \frac{x^2}{2} + O(x^3)
xlog(1+x)=x2x32+O(x4)x \log(1+x) = x^2 - \frac{x^3}{2} + O(x^4)
limx0xlog(1+x)xlog(1+x)=limx0x22+O(x3)x2+O(x3)=12\lim_{x \to 0} \frac{x - \log(1+x)}{x \log(1+x)} = \lim_{x \to 0} \frac{\frac{x^2}{2} + O(x^3)}{x^2 + O(x^3)} = \frac{1}{2}

3. 最終的な答え

1/2