洛必达法则的一种极简证明

洛必达法则具体如下：
如有：
$$\underset{x\to a}{\lim }f(x)=0,\underset{x\to a}{\lim }g(x)=0\mathrm{o}\mathrm{r}\underset{x\to a}{\lim }f(x)=\infty ,\underset{x\to a}{\lim }g(x)=\infty$$
则有（默认邻域内可导：
$$\underset{x\to a}{\lim }\frac{f(x)}{g(x)}=\underset{x\to a}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A$$

证明： 先考虑 ${\lim }_{x\to a}f(x)=0,{\lim }_{x\to a}g(x)=0$. 即： $f(a)=g(a)=0$
根据柯西中值定理，存在$m$为$(a,x)$间一点， 有：
$$\frac{f(x)}{g(x)}=\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f^{\prime }(m)}{g^{\prime }(m)}$$
令$x\to a$， 此时$m\to a$， 得到：
$$\underset{x\to a}{\lim }\frac{f(x)}{g(x)}=\underset{x\to a}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}.$$

接下来考虑 ${\lim }_{x\to a}f(x)=\infty ,{\lim }_{x\to a}g(x)=\infty$， 我们首先有：
$$\frac{f(x)}{g(x)}=\frac{\frac{1}{g(x)}}{\frac{1}{f(x)}}$$,
显然当$x\to a$时， 分子分母都趋近于0， 因此根据刚证明的结论，有：

$$\underset{x\to a}{\lim }\frac{\frac{1}{g(x)}}{\frac{1}{f(x)}}=\underset{x\to a}{\lim }\frac{(\frac{1}{g(x)}{)}^{\prime }}{(\frac{1}{f(x)}{)}^{\prime }}=\underset{x\to a}{\lim }\frac{-\frac{1}{g(x{)}^2}g(x{)}^{\prime }}{-\frac{1}{f(x{)}^2}f(x{)}^{\prime }}=\underset{x\to a}{\lim }\frac{\frac{1}{g^2(x)}}{\frac{1}{f^2(x)}}\underset{x\to a}{\lim }\frac{g(x{)}^{\prime }}{f(x{)}^{\prime }}$$,
两边都除以 $t^2$, $t={\lim }_{x\to a}\frac{\frac{1}{g(x)}}{\frac{1}{f(x)}}$, 有：
$$\underset{x\to a}{\lim }\frac{g(x)}{f(x)}=\underset{x\to a}{\lim }\frac{g(x{)}^{\prime }}{f(x{)}^{\prime }}$$

证毕。