1.5 函数极限的运算法则

🙌作者简介：数学与计算机科学学院出身、在职高校高等数学专任教师，分享学习经验、生活、 努力成为像代码一样有逻辑的人！
🌙个人主页：阿芒的主页
⭐ 高等数学专栏介绍：本专栏系统地梳理高等数学这门课的知识点，参考书主要为经典的同济版第七版《高等数学》以及作者在高校使用的《高等数学》系统教材。梳理《高等数学》这门课，旨在帮助那些刚刚接触这门课的小白以及需要系统复习这门课的考研人士。希望自己的一些经验能够帮助更多的人。

函数极限的四则运算法则

1. 函数极限的四则运算法则

定理1：如果有 ${\lim }_{x\to x_0}f(x)=A$, ${\lim }_{x\to x_0}g(x)=B$, 则有：
（1）${\lim }_{x\to x_0}[f(x)\pm g(x)]$ 存在，且 ${\lim }_{x\to x_0}[f(x)\pm g(x)]=$ ${\lim }_{x\to x_0}f(x)\pm$ ${\lim }_{x\to x_0}g(x)$ = $A\pm B$;
（2）${\lim }_{x\to x_0}[f(x)\cdot g(x)]$ 存在，且 ${\lim }_{x\to x_0}[f(x)\cdot g(x)]=$ ${\lim }_{x\to x_0}f(x)\cdot$ ${\lim }_{x\to x_0}g(x)$ = $AB$;
（3）${\lim }_{x\to x_0}\frac{f(x)}{g(x)}$ 存在，若 ${\lim }_{x\to x_0}g(x)=B\ne 0$, 则 ${\lim }_{x\to x_0}\frac{f(x)}{g(x)}=\frac{{\lim }_{x\to x_0}f(x)}{{\lim }_{x\to x_0}g(x)}=\frac{A}{B}$ .

注： 使用四则运算法则的前提是各部分极限必须存在.

推论1： ${\lim }_{x\to x_0}[c\cdot f(x)]=c\cdot {\lim }_{x\to x_0}f(x)$ ( $c$ 为常数）.
推论2：${\lim }_{x\to x_0}[f(x){]}^n=[{\lim }_{x\to x_0}f(x){]}^n$ ( $n$ 为正整数）.

2. 数列极限的四则运算法则

定理2： 设有数列 { x n } \{x_{n}\} {xn​} 和 { y n } \{y_{n}\} {yn​} ， 如果 ${\lim }_{n\to \infty }{x}_n=A$, ${\lim }_{n\to \infty }{y}_n=B$, 则有：
（1） ${\lim }_{n\to \infty }(x_n\pm y_n)=A\pm B$;
（2）${\lim }_{n\to \infty }(x_n\cdot y_n)=A\cdot B$;
（3）当 $y_n\ne 0(n=1,2,...)$ 且 $B\ne 0$ 时，${\lim }_{n\to \infty }\frac{x_n}{y_n}=\frac{A}{B}$.

3. 例子

例1：设 $n$ 次多项式 $P_n(x)=a_0+a_{1}x+a_2{x}^2+...+a_n{x}^n$， 其中 $a_0,a_1,a_2,...,a_n$ 为多项式系数，试证：${\lim }_{x\to x_0}{P}_n(x)=P_n(x_0)$.
证：${\lim }_{x\to x_0}{P}_n(x)={\lim }_{x\to x_0}(a_0+a_{1}x+a_2{x}^2+...+a_n{x}^n)$
$={\lim }_{x\to x_0}{a}_0+{\lim }_{x\to x_0}{a}_{1}x+{\lim }_{x\to x_0}{a}_2{x}^2+...+{\lim }_{x\to x_0}{a}_n{x}^n$
$={\lim }_{x\to x_0}{a}_0+a_1{\lim }_{x\to x_0}x+a_2({\lim }_{x\to x_0}x{)}^2+...+a_n({\lim }_{x\to x_0}x{)}^n$
$=a_0+a_1{x}_0+a_2{x}_0^2+...+a_n{x}_0^n=P_n(x_0)$.

例2：设 有理分式函数 $R(x)=\frac{P(x)}{Q(x)}$， 其中 $P(x)$ 和 $Q(x)$ 都是多项式，且 $Q(x_0)\ne 0$ , 试证：${\lim }_{x\to x_0}R(x)=R(x_0)$.
证：因为 $P(x)$ 和 $Q(x)$ 都是多项式，由例1结论可知
$$\begin{array}{r}\underset{x\to x_0}{\lim }P(x)=P(x_0)，\underset{x\to x_0}{\lim }Q(x)=Q(x_0),\end{array}$$
又因为 $Q(x_0)\ne 0$, 由函数极限的四则运算法则可得
$$\begin{array}{r}\underset{x\to x_0}{\lim }R(x)=\underset{x\to x_0}{\lim }\frac{P(x)}{Q(x)}=\frac{{\lim }_{x\to x_0}P(x)}{{\lim }_{x\to x_0}Q(x)}=\frac{P(x_0)}{Q(x_0)}=R(x_0).\end{array}$$

注： 由例1和例2可得一个结论：在求多项式函数或有理分式函数当 $x\to x_0$ 时的极限时，可直接将 $x_0$ 替代函数中的 $x$ 即可得到极限值；对于有理分式函数，前提是用 $x_0$ 替代分母中的 $x$ 后分母不能为零，如果分母为零，则不能分子、分母分别取极限，而需要做一些相应处理.

对于有理函数有如下结论：当 $x\to \infty$, 且 $a_0\ne 0,b_0\ne 0$, 以及 $m$ 和 $n$ 为非负整数时，有 $$\begin{array}{r}\underset{x\to \infty }{\lim }\frac{a_0{x}^n+a_1{x}^{n-1}+...+a_n}{b_0{x}^m+b_1{x}^{m-1}+...+b_m}\{\begin{array}{r}0,n<m,\\ \frac{a_0}{b_0},n=m,\\ \infty ,n>m.\end{array}\end{array}$$

注： 对于满足上式函数类型的极限，可直接利用此结论得出结果.

---

复合函数的极限运算法则

1. 复合函数的极限运算法则

定理3：设 $y=f[g(x)]$ 是由函数 $u=g(x)$ 与函数 $u=g(x)$ 与函数 $y=f(u)$ 复合而成，若 ${\lim }_{x\to x_0}g(x)=u_0$, ${\lim }_{u\to u_0}f(u)=A$, 且在 $x_0$ 的某去心邻域内有 $g(x)\ne u_0$, 则 ${\lim }_{x\to x_0}f[g(x)]=A$.

---