$\lim_{x \to 0} \frac{(e^x - e^{-x})^2}{x^2}$ を求めよ。

解析学極限テイラー展開ロピタルの定理
2025/7/29

1. 問題の内容

limx0(exex)2x2\lim_{x \to 0} \frac{(e^x - e^{-x})^2}{x^2} を求めよ。

2. 解き方の手順

まず、exe^x および exe^{-x} をそれぞれマクローリン展開(テイラー展開)します。
ex=1+x+x22!+x33!+...e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + ...
ex=1x+x22!x33!+...e^{-x} = 1 - x + \frac{x^2}{2!} - \frac{x^3}{3!} + ...
これらの展開式から、exexe^x - e^{-x} を計算します。
exex=(1+x+x22!+x33!+...)(1x+x22!x33!+...)=2x+2x33!+2x55!+...e^x - e^{-x} = (1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + ...) - (1 - x + \frac{x^2}{2!} - \frac{x^3}{3!} + ...) = 2x + \frac{2x^3}{3!} + \frac{2x^5}{5!} + ...
したがって、exex=2x+O(x3)e^x - e^{-x} = 2x + O(x^3) となります。
ここで、O(x3)O(x^3)x3x^3 のオーダー以上の項を表します。
次に、(exex)2x2\frac{(e^x - e^{-x})^2}{x^2} を計算します。
(exex)2x2=(2x+2x33!+...)2x2=(2x)2+2(2x)(2x33!)+...x2=4x2+8x43!+...x2=4+8x23!+...\frac{(e^x - e^{-x})^2}{x^2} = \frac{(2x + \frac{2x^3}{3!} + ...)^2}{x^2} = \frac{(2x)^2 + 2(2x)(\frac{2x^3}{3!}) + ...}{x^2} = \frac{4x^2 + \frac{8x^4}{3!} + ...}{x^2} = 4 + \frac{8x^2}{3!} + ...
最後に、limx0(exex)2x2\lim_{x \to 0} \frac{(e^x - e^{-x})^2}{x^2} を計算します。
limx0(exex)2x2=limx0(4+8x23!+...)=4\lim_{x \to 0} \frac{(e^x - e^{-x})^2}{x^2} = \lim_{x \to 0} (4 + \frac{8x^2}{3!} + ...) = 4
別の解き方として、ロピタルの定理を使う方法があります。
limx0(exex)2x2\lim_{x \to 0} \frac{(e^x - e^{-x})^2}{x^2}00\frac{0}{0} の不定形なので、ロピタルの定理を適用できます。
limx0(exex)2x2=limx02(exex)(ex+ex)2x=limx0(exex)(ex+ex)x\lim_{x \to 0} \frac{(e^x - e^{-x})^2}{x^2} = \lim_{x \to 0} \frac{2(e^x - e^{-x})(e^x + e^{-x})}{2x} = \lim_{x \to 0} \frac{(e^x - e^{-x})(e^x + e^{-x})}{x}
この式も 00\frac{0}{0} の不定形なので、再びロピタルの定理を適用します。
limx0(exex)(ex+ex)x=limx0(ex+ex)2+(exex)(exex)1=limx0((ex+ex)2+(exex)2)=(1+1)2+(11)2=22+0=4\lim_{x \to 0} \frac{(e^x - e^{-x})(e^x + e^{-x})}{x} = \lim_{x \to 0} \frac{(e^x + e^{-x})^2 + (e^x - e^{-x})(e^x - e^{-x})}{1} = \lim_{x \to 0} ((e^x + e^{-x})^2 + (e^x - e^{-x})^2) = (1 + 1)^2 + (1 - 1)^2 = 2^2 + 0 = 4

3. 最終的な答え

4

「解析学」の関連問題