洛必达法则
考虑如下形式的极限: 。因为f和g都是可导函数,所以可在x=a点对他们进行线性化有:
和
。现在,假设f(a)和g(a)都为0,这说明
和
。如果f(x)除以g(x),假设
则有
这就是洛必达法则。
类型A : 
洛必达法则对于和
的情况也同样适用。例如求极限
。可以注意到当
时,分子和分母同时趋于
,所以可以使用洛必达法则:
.可以看出当
时,
趋于0,所以极限结果为
也就是
。
类型B : 
考虑这个极限表达式: 当
时,
和
都趋于
,当
时,
和
都趋于
,无论哪种情况,这都是两个非常大的数的差。
幸运的事可以很容易把这种形式转换成类型A,我们所需要做的仅仅是通分:
现在把x=0代入,可以看出这是0/0型的不定式,所以可以用洛必达法则。
把x=0代入后,仍然是是0/0型的不定式,所以继续用洛必达法则。
到这里后把x=0代入可以得到分子为0分母为2于是就有:
类型B2 : 
考虑这个极限表达式: 。 因为当
时,
没有意义。所以只需求当
的极限。可以看出,当
时
,
。让我们通过处理分母把该极限转换成类型A。
现在为行,所以可以使用洛必达法则。
最右边的极限可以化简为-x。所以最后的极限为
类型C : 
最后我们研究最复杂的一种情况:。这时候我们设 x=0,那么我们就得到了
,这是不定式的另外一种形式,为求得该极限,要使用类似对数函数的求导法则。基本思想是相对
取对数,接下来再求当
时的极限。
当时,可得
,
,所以该题就属于B2,如果把sinx移到分母就有cscx,这时该题就转换成A类型了。这样就可以使用洛必达法则求导:
做完了吗?还没有,我们现在知道:,现在对两边同时求指数,可得