数学分析(六)-微分中值定理及其应用2-不定式极限2-洛必达法则4-1：0/0型【lim_{x→x₀}​[f(x)/g(x)]=lim_{x→x₀}​[f´(x)/g´(x)]】【x₀可以为±∞】

$\frac{0}{0}$ 型不定式极限

定理 6.7

若函数 $f$ 和 $g$ 满足:

• (i)$\underset{x\to x_0}{\lim }f(x)=\underset{x\to x_0}{\lim }g(x)=0$;
• (ii) 在点 $x_0$ 的某空心邻域 $U^{\circ }\left(x_0\right)$上两者都可导,且 $g^{\prime }(x)\ne 0$;
• (iii)$\underset{x\to x_0}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A$可为实数, 也可为 $\pm \infty$ 或 $\infty$ ),

则

$$\underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A$$

证
补充定义 $f\left(x_0\right)=\mathbf{g}\left(x_0\right)=0$,使得 $f$ 与 $\mathbf{g}$ 在点 $x_0$ 连续.任取$x\in U^{\circ }\left(x_0\right)$, 在区间 $\left[x_0,x\right]$ (或