ロピタルの定理は、ある値 cの区間 (−∞≦c≦∞) を含むある区間Iがあり、関数f,g はその内部で微分可能で、 limx→cf(x)=limx→cg(x) かつその値が 0 または ±∞ であり、 かつ、極限 limx→cf′(x)g′(x) が存在し、 かつ、区間Iにおける c の除外近傍において、dg(x)dx≠0 が成り立つならば、limx→cf(x)g(x)=limx→cf′(x)g′(x) であることを主張する。 つまり、分子と分母を微分することにより、不定形の分数を単純化あるいは非不定形に変換して、分数の極限値を簡単に計算できる可能性がある。