ロピタルの定理は、不定形(00 または ∞∞ など)の極限を求める際に役立つ定理です。具体的には、関数 f(x) と g(x) が微分可能で、ある点 a の近くで g′(x)=0 であるとき、limx→af(x)=0 かつ limx→ag(x)=0 (または limx→a∣f(x)∣=∞ かつ limx→a∣g(x)∣=∞) ならば、次の式が成り立ちます。 limx→ag(x)f(x)=limx→ag′(x)f′(x) つまり、不定形の極限を求める際に、分子と分母をそれぞれ微分した関数の比の極限を計算することで、元の極限を求めることができます。