洛必达法则用于求取类似 $ \frac {0} {0} $ 或者 $ \frac {\infty} {\infty} $ 形式的极限，这种极限称为不定式极限。
当一个不定式极限 $ \lim \frac {f(x)} {g(x)} $ 满足
时（其中 A 可以取常数或者无穷大），我们有
$$ \lim \frac{f(x)} {g(x)} = \lim \frac{{f}'(x)} {{g}'(x)} $$
此处不再加以证明
形如 $ 0 \cdot \infty $ 的极限可以通过将其看作分母为 1 的分数， 分子分母同时除以其中的一项转化为可以使用洛必达法则求取的极限。个人 认为尽可能保持分母简单有助于计算正确。
$$ \eqalign { \lim _ {x \to \infty} x(e^{\frac {1} {x}} - 1) &= \lim _ {x \to \infty} \frac {e^{\frac{1} {x} - 1}}{\frac{1}{x}} \\ &= \lim _ {x \to \infty} \frac {({\frac {1} {x}})'e^{\frac {1} {x}}} {({\frac {1} {x}})'} \\ &= \lim _ {x \to \infty} e^{\frac {1} {x}} \\ &= 1 } $$
求取类 $ {\infty}^{0},0^0 $ 形式的极限可以考虑利用恒等式
$$ e^{\ln x} = x $$
将式子转化为 e 为底的指数函数的形式，再对利用指数函数的连续性，对指数运用 洛必达法则（我们可以将原来的幂指数从对数中提出来）
$$ \eqalign { \lim _ {x \to 0^{+}} x^x &= \lim _ {x \to 0^{+}} e^{\ln x^x} \\ &= \lim _ {x \to 0^{+}} e^{x \ln x} \\ &= \lim _ {x \to 0^{+}} e^{\frac {\ln x} {\frac {1} {x}}} \\ &= \lim _ {x \to 0^{+}} e^{\frac {\frac {1} {x}}{\frac {-1} {x^2}}}\\ &= \lim _ {x \to 0^{+}} e^{-x} \\ &= e^{\lim _ {x \to 0^{+}} {-x}} \\ &= 1 } $$