极限求法总结（三）

洛必达法则

洛必达法则是解决$\frac{0}{0}$型或$\frac{\infty }{\infty }$型极限的一种相当重要的方法. 很多原本不会做的题目，通过洛必达法则，能够很轻松地算出来. 下面介绍一下法则的使用条件和使用方法。

$\frac{0}{0}$型

先介绍使用条件，有三个：
（1）被求极限的式子必须是分式$\frac{f(x)}{F(x)}$,而且分子分母当x$\to$a（或x$\to$$\infty$）时必须都趋向于0；
（2）在点a的某去心领域内（或当|x|充分大时），分子分母的导数都存在，当然分母的导数不能为零；
（3）${\lim }_{x\to a}\frac{f^{\prime }(x)}{F^{\prime }(x)}$必须存在或为无穷大；
当$\frac{f(x)}{F(x)}$满足以上三个条件时，就有${\lim }_{x\to a}\frac{f(x)}{F(x)}$=${\lim }_{x\to a}\frac{f^{\prime }(x)}{F(x)}$.简单地说，如果一个极限满足上述三个条件，就可以对分子分母分别求导再求极限，比如：${\lim }_{x\to 0}\frac{ln(1+x)}{x}$=${\lim }_{x\to 0}\frac{\frac{1}{1+x}}{1}$=1($\frac{0}{0}$型、在0的某去心邻域内导数存在、求完导后的极限存在，三个条件都满足）。
如果使用了一次洛必达法则后，还是$\frac{0}{0}$型，依然满足三个条件，那我们就可以继续用洛必达法则，即继续求导。直到求出来为止。
例一： ${\lim }_{x\to 0}\frac{x-sinx}{x^3}$=${\lim }_{x\to 0}\frac{1-cosx}{3x^2}$=${\lim }_{x\to 0}\frac{cosx}{6}$=$\frac{1}{6}$.
但要特别说明的是，每次使用洛必达法则，都一定要检验三个条件是否都满 足，如果有任何一个不满足而你却用了洛必达法则，那你没了.

$\frac{\infty }{\infty }$型

这跟$\frac{0}{0}$型差不多，还是上述三种条件。当$\frac{f(x)}{F(x)}$满足以上三个条件时，就有${\lim }_{x\to a}\frac{f(x)}{F(x)}$=$li{m}_{x\to a}\frac{f^{\prime }(x)}{F^{\prime }(x)}$。还是分别求导再求极限。比如${\lim }_{x\to \infty }\frac{lnx}{x}$=$li{m}_{x\to \infty }\frac{\frac{1}{x}}{1}$=0。
还跟前面一样，可以连续多次运用洛必达法则，但每次都一定要检查条件！如果漏掉条件，会出现这种情况：${\lim }_{x\to \infty }\frac{x+sinx}{x}$=${\lim }_{x\to \infty }\frac{1+cosx}{1}$=1+${\lim }_{x\to \infty }cosx$=不存在。
实际上，求完导后，1+cosx在x$\to$$\infty$时的极限是既非$\infty$又不存在的，所以不能用洛必达法则，应该这样做${\lim }_{x\to 0}\frac{x+sinx}{x}$=${\lim }_{x\to 0}(1+\frac{sinx}{x})$=1+${\lim }_{x\to \infty }\frac{sinx}{x}$=1（有界比无穷趋向于0）。
实际上，对于$\frac{\infty }{\infty }$型的极限，我们可以放宽一下使用条件，不用非得“无穷比无穷”，只要是“任意比无穷”，洛必达法则都成立。也就是说，如果我们判断不出分子是不是无穷（或懒得判断，或根本不是无穷）， 但能确定分母趋于无穷，那这时也是可以用洛必达法则的（即分子分母分别求导） . 不过由于这个结论不是课本上直接出现的，所以大题不能直接用，小题里面可以用. 还有一个需要注意的地方，对于数列极限是坚决不能用洛必达法则的，因为 数列不能求导！如果碰到数列极限，想用洛必达法则，可以先用 x 表示，转化成函数在x$\to$$+\infty$时的极限，再在检查条件后使用洛必达法则，最后再转化回数列极限（由x$\to$$+\infty$是可以直接转化成n$\to$$\infty$的，但n$\to$$\infty$不能转化成x$\to$$+\infty$。）
上面说的$\frac{0}{0}$型和$\frac{\infty }{\infty }$型的式子都叫做“未定式”，它们理论上都能用洛必达法则计算，但有些题会越算越麻烦，当你发现越求导情况越不妙，建议立即停止求导，另想别的办法。还有，如果中途发现式子能化简，或者能等价无穷小代换，一定先化简、代换。

其余类型的未定式

未定式一共有七种，上面已经说了两种。除了上面的两种$\frac{0}{0}$型和$\frac{\infty }{\infty }$型，还有0*$\infty$,$\infty$-$\infty$,0⁰,$\infty$⁰,1${}^{\infty }$.做法就是向着$\frac{0}{0}$或$\frac{\infty }{\infty }$转化。
对于0*$\infty$型，可以把“乘以无穷”看成“除以零”，这就转化成了$\frac{0}{0}$型；或者把“乘以零”看作“除以无穷”，这就转化成了$\frac{\infty }{\infty }$型，比如：
**例二：**求${\lim }_{x\to 0^{+}}xlnx$（注意这里左极限没有定义，所以我们只讨论右极限）
根据洛必达法则，${\lim }_{x\to 0^{+}}xlnx$=${\lim }_{x\to 0^{+}}\frac{lnx}{\frac{1}{x}}$=${\lim }_{x\to 0^{+}}\frac{\frac{1}{x}}{-\frac{1}{x^2}}$=${\lim }_{x\to 0^{+}}(-x)$=0.
这里我们转化成了$\frac{\infty }{\infty }$型，对于这道题，最好不要转化成$\frac{0}{0}$型，因为那样求导比较麻烦，而且好像用一次洛必达法则做不出来，所以$\frac{0}{0}$和$\frac{\infty }{\infty }$两种类型有时是需要你选择的，不能只认一种方法。一般来说，一些简单的因式放到分母上是比较合适的。
对于$\infty$-$\infty$型，有一个$\infty$-$\infty$向着$\frac{0}{0}$转化的通法，即
$\infty$${}_1$-$\infty$${}_2$=$\frac{{\infty }_1\times {\infty }_2}{{\infty }_2}$ -$\frac{{\infty }_1\times {\infty }_2}{{\infty }_1}$=($\frac{1}{{\infty }_2}$-$\frac{1}{{\infty }_1}$)${\infty }_1$*${\infty }_2$=$\frac{\frac{1}{{\infty }_2}-\frac{1}{{\infty }_1}}{\frac{1}{{\infty }_1\times {\infty }_2}}$=$\frac{0}{0}$,
但建议最好别一遇到就这么想，大脑会爆炸，在这里简单地描述一下各种常见的思考方法，主要分三种情况：（1）“分式减分式”类型的，只要通分一下，就可以转化成一个大分式，一般会是$\frac{0}{0}$型或$\frac{\infty }{\infty }$型，然后用洛必达法则或其他方法，没有分式有时候也可以创造分式，比如把tanx看成$\frac{1}{cotx}$;(2)“根式减根式”或“根式减有理式”，一般就是分子有理化了，这样又可以转化成一个大分式，又可以用前面的方法了；（3）“什么也不是”类型的，这种情况比较复杂，很难统一叙述，可以考虑设x=$\frac{1}{t}$,进行倒代换，整理一下又是个大分式。
**例三：**计算极限${\lim }_{x\to 0}(\frac{1}{x^2}-\frac{1}{si{n}^{2}x})$.这是$\infty$-$\infty$型极限，可以通分。
原极限=${\lim }_{x\to 0}\frac{si{n}^{2}x-x^2}{x^{2}si{n}^{2}x}$=${\lim }_{x\to 0}\frac{(sinx-x)(sinx+x)}{x^4}$=${\lim }_{x\to 0}\frac{-\frac{1}{6}{x}^3\ast 2x}{x^4}$=-$\frac{1}{3}$.
剩下三个0⁰,$\infty$⁰,$1^{\infty }$一起说，它们有一个共同的特点——都是幂指函数. 在求幂指函数的极限的时候，一般有两种思路：第一种思路是利用一个重要极限${\lim }_{x\to \infty }(1+\frac{1}{x}{)}^x$=e，这一般是针对$1^{\infty }$这种类型的；第二种类型对0⁰,$\infty$⁰ ,$1^{\infty }$这三种类型都奏效，通过恒等式N=e^lnN这个恒等式，我们总可以把这三种类型转化为$\frac{0}{0}$型或$\frac{\infty }{\infty }$型。
总之，只需要进行这样的操作：${\lim }_{}{u}^v$=$\lim e^{ln{u}^v}$ =e^$\lim vlnu$,问题就变得明朗了。下面分别举一个例子：
例四： 0⁰型：${\lim }_{x\to 0^{+}}{x}^x$=${\lim }_{x\to 0^{+}}{e}^{ln{x}^x}$=${\lim }_{x\to 0^{+}}{e}^{xlnx}$=e⁰=1.其中的${\lim }_{x\to 0^{+}}xlnx$刚才讲0 *$\infty$型的时候已经算出来了。
例五： $\infty$⁰型：${\lim }_{x\to +\infty }(1+x{)}^{\frac{1}{x}}$=${\lim }_{x\to +\infty }{e}^{ln(1+x{)}^{\frac{1}{x}}}$=${\lim }_{x\to +\infty }{e}^{\frac{1}{x}ln(1+x)}$=e^${\lim }_{x\to +\infty }\frac{ln(1+x)}{x}$=e ^${\lim }_{x\to +\infty }\frac{\frac{1}{1+x}}{1}$=e ⁰=1.
这个极限跟第二个重要极限的推论${\lim }_{x\to 0}(1+x{)}^{\frac{1}{x}}$=e有点像，就是x的趋向方式不一样，注意不要弄混。这个解题过程是把$\infty$⁰型变成了$\frac{\infty }{\infty }$型。
例六： 1${}^{\infty }$型：
${\lim }_{x\to 0}(x+e^x{)}^{\frac{1}{x}}$=${\lim }_{x\to 0}{e}^{\frac{1}{x}ln(x+e^x)}$=$e^{{\lim }_{x\to 0}\frac{ln(x+e^x)}{x}}$=$e^{{\lim }_{x\to 0}\frac{(1+e^x)\frac{1}{x+e^x}}{1}}$=e².这里是把1${}^{\infty }$型变形成了$\frac{0}{0}$型。
至此以上七种未定式已经全部总结完毕，理论上都是可以转化成$\frac{0}{0}$型或$\frac{\infty }{\infty }$型进而应用洛必达法则的，一定要灵活运用，不过不要寄全部的希望于其上，有时候洛必达法则的优越感十足，但也有时候它比任何一种方法都麻烦。。。