ロピタルの定理
ロピタルの定理 (ロピタルのていり、) とは、微分積分学においての極限を微分を用いて求めるための定理である。ベルヌーイの定理 (英語: Bernoulli's rule) と呼ばれることもある。本定理を (しばしば複数回) 適用することにより、不定形の式を非不定形の式に変換し、その極限値を容易に求めることができる可能性がある。
ロピタルの定理は、簡単には "c" を含むある開区間 "I" で微分可能な関数 "f" と "g" において、formula_1 の値が 0 または ±∞ であり、かつ極限 formula_2 が存在し、かつ formula_3 において "g"′("x") ≠ 0 が成り立つならば、そのとき formula_4 であることを主張する。
つまり、分子と分母を微分することにより不定形の分数を単純化あるいは非不定形に変換し、分数の極限値を簡単に計算できる可能性がある。
シュトルツ＝チェザロの定理は数列の極限において類似の結果を与えているが、そこでは微分ではなく隣接項差分が用いられている。
本定理はスイスの数学者、ヨハン・ベルヌーイによって発見されたものであるとされている (ロピタルの定理論争を参照)。本定理の名称としては、欧州で最初の微分学書である (1,696年, 直訳: 曲線の理解のための無限小の解析) を出版し、その中で本定理を広く世に知らしめた17世紀のフランスの数学者、ギヨーム・ド・ロピタルの名を冠してロピタルの定理と呼ばれることが通例である。ベルヌーイとロピタルとの間には契約があってロピタルは命名権のためにいくらかの対価を与えたということである。ロピタルの死後にベルヌーイが自分こそが定理の発見者であると暴露した。
ロピタルの定理の一般形は多くの場合に適用される。"c" と "L" が拡大実数(すなわち実数、正の無限大、負の無限大) であり、次の条件、
のいずれかが満たされるとする。また、 "c" を含むある開区間から "c" を除いた点において（formula_7 であれば十分大きい実数に対して）
formula_8 が成り立つとする。ここで、極限
が存在すれば、
である。このときの極限は片側極限であっても良い。
極限、
が存在するという条件は十分条件にすぎない。不定形の微分ではしばしば極限値が存在せず、極限値が存在しない場合はロピタルの定理は適用できない。例えば、"f"("x") = "x" + sin("x") と "g"("x") = "x" に対しては、
となり、この極限は存在しない。しかし次のようにすれば極限を得ることができる。
formula_3 において
formula_8 が成り立つという条件が成り立たない場合、次のような反例が存在する。
とおくと、
は formula_19 のとき発散するが、
は0に収束する。
0/0、∞/∞ 以外、すなわち " 1 ", " 0 ", " ∞ ", " 0·∞ ", " ∞ − ∞ " などの不定形に対してもロピタルの定理を適用できる可能性がある。例えば、 "∞ − ∞" を含む極限を求めるためには二つの関数の差を分数に変換することにより、
を得る。ここにロピタルの定理が (1) から (2) そして (3) から (4) への変形に用いられた。
指数関数を含む不定形では、対数を用いて指数部から降ろすとロピタルの定理を適用できる可能性がある。次の式は 0形の不定形を含む例である。
ここで、指数関数は連続であるので、極限を指数関数の内側に移動することが有効である。すると指数 formula_35 を指数部から降ろすことができる。極限 formula_36 は 0·(−∞) 形の不定形となるが、上で示した例と同様にロピタルの定理を適用することができ、
を得て、極限は次のように求められる。
ロピタルの定理は通常の方法では求めることが困難な極限問題に対しても強力な手法であるが、それが常に簡単とは限らない。次の例を考えてみよう。
この極限はロピタルの定理を用いると、
となるが、 cos 関数が連続であるので極限操作を cos 関数の内側に移動することが有効である。この極限を計算するための他の方法は変数の置換である。"y" = 1/"x" とする。|"x"| が無限大に近づくにつれて "y" は 0 に近づく。従って、
である。最後の極限はロピタルの定理を用いて計算することもできるが、それを用いなくても 0 における sin 関数の微分の定義と同様の手法でも可能である。
この極限を計算するさらに他の方法は、テイラー展開を用いることである。
いくらかのケースではある極限を計算するためにロピタルの定理を使用するとき、循環論法 () を構成することがある。次の例を考えてみよう。
この極限を求める目的が formula_44 に対して
であることの証明であるとき、もしその極限をロピタルの定理を使用して計算すれば、この論法は結論を仮定として用いることとなり (論点先取)、たとえ結論が正しくとも非合理的な証明である。
以下の単純な論法はロピタルの定理あるいは類似の概念が正しいことを示唆している。ここではロピタルの定理よりも強い仮定を用いているため、ロピタルの定理を証明するものではない。
formula_46 と formula_47 が formula_48 で連続であり、formula_49 かつ "g"′("c") ≠ 0 であるならば、
ロピタルの定理を証明する標準的な方法はコーシーの平均値の定理を用いることである。ロピタルの定理は formula_48 と formula_52 が有限か無限か、formula_53 と formula_54 の収束値が 0 か無限大か、そして極限が片側か両側か、によって多くのバリエーションがある。それら全てのバリエーションは他の本質的な要因を考える必要なく次に示す主要な二つの形態に従う。
formula_48 と formula_52 は有限であり、formula_53 と formula_54 は 0 に収束するとする。
まず第一に、formula_59 と formula_60 を定義 (または再定義) する。formula_53 と formula_54 は formula_48 で連続であるが、定義より極限は formula_48 に依存しないので極限は変化しない。極限値 formula_65 が存在するので、 formula_66 を除いてformula_67 が非 0 であれば、区間 formula_68 内の全ての formula_35 に対して formula_70 と formula_67 の双方が存在するようなその区間が存在する。
もし formula_35 が区間 formula_73 にあれば、平均値の定理とコーシーの平均値の定理の両方を区間 formula_74 に適用する。そして区間 formula_75 と formula_35 に対して同様に適用する。平均値の定理は formula_77 が非 0 であることを意味する。
でなければ、formula_78 であるような 区間 formula_79 の formula_80 が存在する。つまり、コーシーの平均値の定理は次の条件、
を満たす区間 formula_79 内の formula_83 が存在することを意味する。
もし formula_35 が formula_48 に近づくならば、formula_83 は formula_48 に近づく。formula_88 が存在するので、次式を得る。
formula_52 が有限であり、formula_48 が正の無限大、そして formula_53 と formula_54 が正の無限大に発散するとする。
formula_94 なる任意の formula_95 に対してある formula_96 が存在し、
が成り立つ。この "a" に対してある "b" が存在し、
が成り立つ。このとき formula_99 とするとコーシーの平均値の定理から formula_100 なるある "y" が存在して
が成り立つから
となる。よって formula_99 において
が成り立つ。従って formula_99 のとき
が成り立つ。
日本の高等学校における数学科目(数学III)では分数関数の極限が扱われ、ロピタルの定理を適用すると容易に極限値を求められる計算問題がしばしば出題される。一部の学習参考書などでは発展的内容・有力な計算のテクニックとしてロピタルの定理が紹介されることがあるが、定理の使用には慎重である。これはロピタルの定理が学習指導要領で扱われておらず、「範囲外」の知識を説明なしに用いることが問題視されることがあること、定理を適用するための条件が若干複雑で誤ったやりかたで適用しがちであることなどが理由とされる。