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

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

定理 6.8

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

• (i) 在 $x_0$ 的某个右邻域 $U_{+}^{\circ }\left(x_0\right)$上两者可导, 且 $g^{\prime }(x)\ne 0$;
• (ii) $\underset{x\to x_0^{+}}{\lim }g(x)=\infty$;
• (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)}=A.$$

证
先设 $A$ 为实数, 由 (iii), 对任意正数 $\epsilon$, 存在$x_1\in U^{\circ }\left(x_0\right)$, 对满足不等式 $x_0<x<$ $x_1$的每一个 $x$, 有

$$A-\frac{\epsilon }{2}<\frac{f^{\prime }(x)}{g^{\prime }(x)}<A+\frac{\epsilon }{2},$$

由条件(ii), $f$ 和 $g$ 在区间 $\left[x,x_1\right]$上满足柯西中值定理, 故存在$\xi \in \left(x,x_1\right)\subset (x_{}$