ロピタルの定理(L'Hôpital's rule)は、直接代入すると 0/00/0 または /\infty/\infty になる商の極限を扱う微積分の方法です。式がまだこの2つの形になっていないなら、まず書き換えるか、別の極限の方法を使います。

ロピタルの定理を使えるとき

まず、次のような商を考えます。

limxaf(x)g(x)\lim_{x \to a} \frac{f(x)}{g(x)}

直接代入して 0/00/0 または /\infty/\infty になり、さらに ffggaa の近くで微分可能で、近くで g(x)0g'(x) \ne 0 なら、定理により導関数どうしを比べられます。

limxaf(x)g(x)=limxaf(x)g(x)\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}

ただし、右辺の極限が存在するか、++\infty または -\infty であることが必要です。

この条件は重要です。ロピタルの定理は、難しい極限すべてに使える近道ではありません。

なぜこの定理が役に立つのか

分子と分母がどちらも 00 に近づく場合や、どちらも限りなく大きくなる場合、そのままの値だけでは十分な情報が得られません。微分することで、その点の近くで分子と分母がどれくらいの速さで変化しているかを比べられます。

そのため、この定理を使うと判断しにくい極限が、読み取りやすい極限に変わることがよくあります。

例題:limx0ex1x\lim_{x \to 0} \frac{e^x - 1}{x}

limx0ex1x\lim_{x \to 0} \frac{e^x - 1}{x}

直接代入すると

e010=00,\frac{e^0 - 1}{0} = \frac{0}{0},

となるので、この形にはロピタルの定理を使えます。

分子と分母を1回ずつ微分します。

ddx(ex1)=ex,ddx(x)=1\frac{d}{dx}(e^x - 1) = e^x, \qquad \frac{d}{dx}(x) = 1

すると、新しい極限は

limx0ex1=1\lim_{x \to 0} \frac{e^x}{1} = 1

です。したがって、

limx0ex1x=1\lim_{x \to 0} \frac{e^x - 1}{x} = 1

となります。

この例は、1回微分するだけで極限がすぐに簡単になるので、典型的なモデル問題です。

ロピタルの定理でよくあるミス

  1. 形を確認する前に定理を使ってしまうこと。使えるのは 0/00/0/\infty/\infty の場合であって、難しい極限すべてではありません。
  2. 00 \cdot \infty\infty - \infty のような式を、先に商の形へ書き換えずにそのまま適用してしまうこと。
  3. 条件を忘れること。不定形であることだけでは、定理の条件を満たしたことにはなりません。
  4. 因数分解、有理化、既知の極限を使ったほうがわかりやすいのに、何度も定理を繰り返してしまうこと。

学生が実際によく使う場面

初歩の微積分では、ロピタルの定理は次のような極限でよく出てきます。

  1. 指数関数、対数関数、三角関数が特別な点の近くにあるとき、
  2. 代入してもなお不定形に見える商のとき、
  3. 多項式と指数関数の増加の速さの比較のようなとき。

特に、1回微分するだけで構造が簡単になる場合に有効です。微分すると式がかえって複雑になるなら、たいていは別の方法のほうが適しています。

使う前のクイックチェック

ロピタルの定理を使う前に、次を確認しましょう。

  1. 直接代入すると 0/00/0 または /\infty/\infty になりますか?
  2. 式は商の形で書かれていますか?
  3. 分子と分母はその点の近くで微分可能ですか?
  4. 微分すると極限は難しくなるのではなく、簡単になりますか?

どれか1つでも「いいえ」なら、いったん立ち止まって式を簡単にするか、別の方法を選びましょう。

似た問題に挑戦してみよう

次を考えてみましょう。

limx1lnxx1\lim_{x \to 1} \frac{\ln x}{x - 1}

直接代入すると 0/00/0 になり、1回微分すると基本的な極限になります。比較として、x=1x = 1 の近くで lnxx1\ln x \approx x - 1 という近似を使ってもう一度解き、両方の方法で答えが一致することを確かめてみてください。

問題の解き方でお困りですか?

問題をアップロードすると、検証済みのステップバイステップ解答が数秒で届きます。

GPAI Solver を開く →