与えられた極限 $\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/30

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. 解き方の手順

まず、与えられた極限を変形して、以下の形にする。
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)}
ここで、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} + ...
この展開を上の式に代入すると、
limx0x(xx22+x33...)x(xx22+x33...)=limx0x22x33+...x2x32+...=limx012x3+...1x2+...\lim_{x \to 0} \frac{x - (x - \frac{x^2}{2} + \frac{x^3}{3} - ...)}{x (x - \frac{x^2}{2} + \frac{x^3}{3} - ...)} = \lim_{x \to 0} \frac{\frac{x^2}{2} - \frac{x^3}{3} + ...}{x^2 - \frac{x^3}{2} + ...} = \lim_{x \to 0} \frac{\frac{1}{2} - \frac{x}{3} + ...}{1 - \frac{x}{2} + ...}
x0x \to 0 のとき、上記の極限は 1/21=12\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}
再度ロピタルの定理を適用する。
limx01log(1+x)+1+x/(1+x)+1=limx01log(1+x)+2+x/(1+x)\lim_{x \to 0} \frac{1}{\log(1+x) + 1 + x/(1+x) + 1} = \lim_{x \to 0} \frac{1}{\log(1+x) + 2 + x/(1+x)}
limx01log(1+x)+2+x/(1+x)=10+2+0=12\lim_{x \to 0} \frac{1}{\log(1+x) + 2 + x/(1+x)} = \frac{1}{0 + 2 + 0} = \frac{1}{2}
別の解法として、eae^aのマクローリン展開を利用する。
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)}
xxea1e^a-1で置き換えると、x0x\to 0a0a\to 0に相当する。するとlog(1+x)=a\log(1+x)=aとなる。
lima0ea1a(ea1)a=lima0ea1aa2a(ea1)/a=12×1=12\lim_{a\to 0} \frac{e^a-1 - a}{(e^a-1)a}=\lim_{a\to 0} \frac{e^a-1-a}{a^2}\frac{a}{(e^a-1)/a} = \frac{1}{2} \times 1 = \frac{1}{2}

3. 最終的な答え

12\frac{1}{2}

「解析学」の関連問題

スカラー場 $z = xy + xy^2$ の勾配 (grad $z$) を求める。

偏微分勾配ベクトル場
2025/5/31

## 1. 問題の内容

極限ロピタルの定理三角関数絶対値
2025/5/31

2次元スカラー場 $z = f(x, y)$ における grad $z$ と $z$ の全微分の違いを説明します。

偏微分勾配全微分スカラー場ベクトル場
2025/5/31

関数 $f(x) = 2^{x+1} - 1$ について、以下の問いに答える。 (1) 関数 $y = f(x)$ の定義域と値域を求める。 (2) 関数 $f(x)$ の逆関数 $f^{-1}(x)...

指数関数逆関数対数関数漸近線グラフ
2025/5/31

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

極限ロピタルの定理対数指数関数三角関数
2025/5/31

関数 $f(x) = \frac{2x-3}{x-1}$ について、以下の問いに答えます。 (1) 関数 $y = f(x)$ の定義域と値域を求めます。 (2) 関数 $f(x)$ の逆関数 $f^...

関数定義域値域逆関数漸近線極限分数関数
2025/5/31

関数 $f(x) = 1 - \sqrt{x-2}$ について、以下の問いに答えます。 (1) 関数 $y = f(x)$ の定義域と値域を求めます。 (2) 関数 $f(x)$ の逆関数 $f^{-...

関数定義域値域逆関数グラフ平方根
2025/5/31

与えられた極限を計算します。具体的には、以下の問題が含まれます。 [1] 1. $\lim_{x \to 2} \frac{x^3 - 8}{x - 2}$

極限関数の極限三角関数指数関数対数関数
2025/5/31

関数 $f(x) = 1 - \sqrt{x-2}$ について、以下の問題を解きます。 (1) $y = f(x)$ の定義域と値域を求めます。 (2) $f(x)$ の逆関数 $f^{-1}(x)$...

関数定義域値域逆関数グラフ
2025/5/31

関数 $y = e^{-x}\sin x$ の極大値、極小値、凹凸、変曲点を調べ、曲線 $y = f(x)$ の概形を描け。

関数のグラフ微分極値変曲点指数関数三角関数
2025/5/31