ロピタルの定理と不定形の極限値

ロピタルの定理

0/0 の不定形の極限値を求めるときに、次のロピタルの定理（L’Hospital’s rule）が役立つときがあります。

【ロピタルの定理の証明】
証明には コーシーの平均値の定理 を用います。$a$ より大きな $x$ に対しては
 $$\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f^{\prime }(c)}{g^{\prime }(c)}(a<c<x)$$
となるような $c$ が存在します。$x\to a$ とすれば $c\to a$ となるので、
 $$\underset{x\to a}{lim}\frac{f(x)}{g(x)}=\frac{f^{\prime }(a)}{g^{\prime }(a)}$$
が成り立ちます。同様に$a$ より小さな $x$ に対して
 $$\frac{f(a)-f(x)}{g(a)-g(x)}=\frac{f^{\prime }(d)}{g^{\prime }(d)}(x<d<a)$$
となるような $d$ が存在します。$x\to a$ とすれば $d\to a$ となるので、やはり
 $$\underset{x\to a}{lim}\frac{f(x)}{g(x)}=\frac{f^{\prime }(a)}{g^{\prime }(a)}$$
が成り立ちます。

ロピタルの定理を用いると、非常に有用な関数の極限値が得られます。たとえば有名な $\sin x/x$ の $x\to 0$ における極限値は
 $$\underset{x\to 0}{lim}\frac{\sin x}{x}=\underset{x\to 0}{lim}\frac{\cos x}{1}=1$$
というように簡単に計算できます。念のために定理の適用条件を確認しておくと、$f(x)=\sin x$ と $g(x)=x$ はともに実数全域で連続かつ微分可能で、$g^{\prime }(x)=1\ne 0$ , $f(0)=g(0)=0$ を満たしています。同様に
 $$\underset{x\to 0}{lim}\frac{1-\cos x}{x^2}=\underset{x\to 0}{lim}\frac{\sin x}{2x}=\frac{1}{2}$$
という極限値も得られます。証明は省略しますが（後日改めてこのページに更新掲載する予定です）、ロピタルの定理は ∞/∞ の形にも適用範囲を広げることができます。たとえば $e^x/x^2$ について
 $$\underset{x\to \mathrm{\infty }}{lim}\frac{e^x}{x^2}=\underset{x\to \mathrm{\infty }}{lim}\frac{e^x}{2x}=\underset{x\to \mathrm{\infty }}{lim}\frac{e^x}{2}=\mathrm{\infty }$$
となります。$e^x$ は何度微分しても形は変わらないので、$e^x/x^n$ についても全く同じように
 $$\underset{x\to \mathrm{\infty }}{lim}\frac{e^x}{x^n}=\underset{x\to \mathrm{\infty }}{lim}\frac{e^x}{n(n-1)\cdot 2\cdot 1}=\mathrm{\infty }$$
となることがわかります。また $n>0$ のとき $\log x/x^n$ は
 $$\underset{x\to \mathrm{\infty }}{lim}\frac{\log x}{x^n}=\underset{x\to \mathrm{\infty }}{lim}\frac{1/x}{n{x}^{n-1}}=\underset{x\to \mathrm{\infty }}{lim}\frac{1}{n{x}^n}=0$$
となります。以上の２つについては公式として覚えておくと便利です。

つまり $x$ を十分に大きくとれば、指数関数は $x^{10}$ や $x^{100}$ のようにどれだけ大きな指数の $x$ のべき乗関数よりも速く増加し、対数関数は $x^{0.1}$ や $x^{0.01}$ のようにどれほど小さな指数の $x$ のべき乗関数よりも緩やかに増加します。