普林斯顿微积分学习:多项式极限求解方法详解 续

$x\to \infty$ 时有理函数的极限：首项主导原理

4.3 Limits Involving Rational Functions as $x\to \infty$

从零理解，彻底搞清楚"为什么首项说了算"

目录

1. 问题引入：极限的目标改变了
2. 核心思想：首项主导原理
3. 为什么首项能主导？用数字感受
4. 数学证明：比值趋向 1
5. 核心工具：$C/x^n\to 0$ 定理
6. 操作方法：首项替换法
7. 三道例题完整演算
8. 三条黄金法则：次数决定结果
9. 总结与注意事项

1. 问题引入：极限的目标改变了

上两节处理的是 $x\to a$（$a$ 是有限数）的极限。
现在我们要处理的是 $x\to \infty$ 的极限：
$$\underset{x\to \infty }{\lim }\frac{p(x)}{q(x)}$$
其中 $p(x)$ 和 $q(x)$ 都是多项式。
这类问题的本质：
$x$ 无限变大，分子分母都在往无穷跑，谁跑得更快，就决定了极限的走向。

这里不能用"直接代入"（代入 $\infty$ 没有意义），也不需要因式分解（没有分母为零的问题）。需要的是一套全新的方法。

2. 核心思想：首项主导原理

多项式有一个非常重要的性质：

当 $x$ 很大时，多项式的行为几乎完全由次数最高的那一项（首项/最高次项）决定。
用数学语言表述：设 $p(x)$ 是多项式，$p_L(x)$ 是它的首项，则：
$$\boxed{\underset{x\to \infty }{\lim }\frac{p(x)}{p_L(x)}=1}$$
这个等式的含义是：当 $x$ 无限增大时，$p(x)$ 和 $p_L(x)$ 的比值趋近于 $1$，说明它们越来越"相对接近"。
举例：$p(x)=3x^3-1000x^2+5x-7$，首项是 $p_L(x)=3x^3$。

3. 为什么首项能主导？用数字感受

取 $p(x)=3x^3-1000x^2+5x-7$，用具体数字体会各项的大小：

$x$ 的值	$3x^3$（首项）	$1000x^2$（第二项）	$5x$	$7$
$100$	$3,000,000$	$10,000,000$	$500$	$7$
$1,000,000$	$3\times 10^{18}$	$10^{15}$	$5\times 10^6$	$7$

---

当 $x=100$ 时，第二项 $1000x^2$ 比首项还大，所以此时首项并不主导。
但当 $x=1,000,000$（一百万）时：

• 首项 $3x^3=3,000,000,000,000,000,000$（三百亿亿）
• 第二项 $1000x^2=1,000,000,000,000,000$（一千万亿）
• 两者相差 3,000,000 倍！
  首项比第二项大了三百万倍，其余项更是微不足道。$x$ 越大，差距越悬殊。

直觉： 次数高的项生长速度更快。$x^3$ 比 $x^2$ 快，$x^2$ 比 $x$ 快，$x$ 比常数快。 $x$ 足够大时，高次项一骑绝尘，低阶项可以忽略。

4. 数学证明：比值趋向 1

用 $p(x)=3x^3-1000x^2+5x-7$ 来做严格证明：
$$\underset{x\to \infty }{\lim }\frac{p(x)}{p_L(x)}=\underset{x\to \infty }{\lim }\frac{3x^3-1000x^2+5x-7}{3x^3}$$
把分子每一项都除以 $3x^3$（拆成四个分式之和）：
$$=\underset{x\to \infty }{\lim }\left(\frac{3x^3}{3x^3}-\frac{1000x^2}{3x^3}+\frac{5x}{3x^3}-\frac{7}{3x^3}\right)$$
$$=\underset{x\to \infty }{\lim }\left(1-\frac{1000}{3x}+\frac{5}{3x^2}-\frac{7}{3x^3}\right)$$
“极限的和等于和的极限”（每个极限都是有限数时成立），分别取极限：
$$=1-0+0-0=1$$
每个 $\frac{C}{x^n}$ 项（$n>0$）都趋向 $0$，只剩下第一项的 $1$。
$$\boxed{\underset{x\to \infty }{\lim }\frac{p(x)}{p_L(x)}=1\text{（任意多项式 }p\text{ 均成立）}}$$

5. 核心工具：$C/x^n\to 0$ 定理

上面证明反复用到一个基本事实，把它单独写出来：
$$\boxed{\underset{x\to \infty }{\lim }\frac{C}{x^n}=0(n>0,C\text{ 为常数})}$$
直觉理解： $x$ 越来越大，分母越来越大，分数越来越接近 $0$。无论分子常数 $C$ 多大，只要分母是 $x^n$（$n>0$），最终结果都是 $0$。
例子：
$$\underset{x\to \infty }{\lim }\frac{-1000}{3x}=-\frac{1000}{3}\cdot \underset{x\to \infty }{\lim }\frac{1}{x}=-\frac{1000}{3}\cdot 0=0$$
$$\underset{x\to \infty }{\lim }\frac{5}{3x^2}=0,\underset{x\to \infty }{\lim }\frac{7}{3x^3}=0$$

6. 操作方法：首项替换法

具体操作步骤：
对分子分母中的每一个多项式，执行以下替换：
$$p(x)=\underset{\to 1}{\underbrace{\frac{p(x)}{p_L(x)}}}\times p_L(x)$$
这等价于"除以首项再乘以首项"，值没有变，但形式改变了：那个趋向 $1$ 的分式可以忽略，只留下首项进行计算。
流程图：

7. 三道例题完整演算

例题 1：分子分母同次（有限非零结果）

$$\underset{x\to \infty }{\lim }\frac{x-8x^4}{7x^4+5x^3+2000x^2-6}$$
步骤 1： 找首项。

• 分子 $x-8x^4$ 的首项：注意顺序！ 最高次是 $x^4$，所以首项是 $-8x^4$（不是 $x$）。
• 分母的首项：$7x^4$。
  步骤 2： 每个多项式执行替换（分子分母各自除以并乘以首项）：
  $$=\underset{x\to \infty }{\lim }\underset{\to 1}{\underbrace{\frac{x-8x^4}{-8x^4}}}\cdot (-8x^4)/\underset{\to 1}{\underbrace{\frac{7x^4+5x^3+2000x^2-6}{7x^4}}}\cdot (7x^4)$$
  步骤 3： 展开小分式，确认它们趋向 $1$：
  $$\frac{x-8x^4}{-8x^4}=-\frac{1}{8x^3}+1\stackrel{x\to \infty }{\to }0+1=1✓$$
  $$\frac{7x^4+5x^3+2000x^2-6}{7x^4}=1+\frac{5}{7x}+\frac{2000}{7x^2}-\frac{6}{7x^4}\stackrel{x\to \infty }{\to }1✓$$
  步骤 4： 只保留首项之比，化简：
  $$=1\cdot \frac{-8x^4}{7x^4}\cdot 1=\frac{-8}{7}$$
  $$\boxed{\underset{x\to \infty }{\lim }\frac{x-8x^4}{7x^4+5x^3+2000x^2-6}=-\frac{8}{7}}$$
  次数检查： 分子次数 $4$ = 分母次数 $4$，结果为有限非零数，符合规律。

例题 2：分子次数更高（结果为无穷）

$$\underset{x\to \infty }{\lim }\frac{(x^4+3x-99)(2-x^5)}{(18x^7+9x^6-3x^2-1)(x+1)}$$
步骤 1： 找各多项式首项：

分子部分：
  (x^4 + 3x - 99) 的首项 = x^4
  (2 - x^5)       的首项 = -x^5
分母部分：
  (18x^7 + 9x^6 - 3x^2 - 1) 的首项 = 18x^7
  (x + 1)                    的首项 = x

步骤 2： 各多项式替换后，四个小分式均趋向 $1$：
$$\underset{x\to \infty }{\lim }\underset{\to 1}{\underbrace{\frac{x^4+3x-99}{x^4}}}\cdot (x^4)\cdot \underset{\to 1}{\underbrace{\frac{2-x^5}{-x^5}}}\cdot (-x^5)/\underset{\to 1}{\underbrace{\frac{18x^7+\cdots }{18x^7}}}\cdot (18x^7)\cdot \underset{\to 1}{\underbrace{\frac{x+1}{x}}}\cdot (x)$$
步骤 3： 极限等于首项之积之比：
$$=\underset{x\to \infty }{\lim }\frac{(x^4)\cdot (-x^5)}{(18x^7)\cdot (x)}=\underset{x\to \infty }{\lim }\frac{-x^9}{18x^8}=\underset{x\to \infty }{\lim }\frac{-x}{18}$$
步骤 4： 取极限：
$$\underset{x\to \infty }{\lim }\frac{-x}{18}=-\infty$$
$$\boxed{\underset{x\to \infty }{\lim }\frac{(x^4+3x-99)(2-x^5)}{(18x^7+9x^6-3x^2-1)(x+1)}=-\infty }$$
次数检查： 分子总次数 $4+5=9$，分母总次数 $7+1=8$，分子次数更高，极限为 $\pm \infty$，符合规律。

例题 3：分母次数更高（结果为 $0$）

$$\underset{x\to \infty }{\lim }\frac{2x+3}{x^2-7}$$
步骤 1： 首项分别是 $2x$（分子）和 $x^2$（分母）。
步骤 2： 替换后：
$$=\underset{x\to \infty }{\lim }\underset{\to 1}{\underbrace{\frac{2x+3}{2x}}}\cdot (2x)/\underset{\to 1}{\underbrace{\frac{x^2-7}{x^2}}}\cdot (x^2)$$
步骤 3： 首项之比：
$$=\underset{x\to \infty }{\lim }\frac{2x}{x^2}=\underset{x\to \infty }{\lim }\frac{2}{x}=0$$
$$\boxed{\underset{x\to \infty }{\lim }\frac{2x+3}{x^2-7}=0}$$
次数检查： 分子次数 $1<$ 分母次数 $2$，结果为 $0$，符合规律。

8. 三条黄金法则：次数决定结果

设 $p(x)$ 和 $q(x)$ 是多项式，则 $\underset{x\to \infty }{\lim }\frac{p(x)}{q(x)}$ 的结果：

次数关系	极限结果	具体值	形象比喻
$\mathrm{deg}p=\mathrm{deg}q$	有限非零数	首项系数之比	势均力敌，比比系数
$\mathrm{deg}p>\mathrm{deg}q$	$\pm \infty$	看首项系数符号	分子跑赢，冲向无穷
$\mathrm{deg}p<\mathrm{deg}q$	$0$	恒为 $0$	分母跑赢，压成 $0$

---

重要： 上面三条法则对 $x\to -\infty$ 同样适用，但具体是 $+\infty$ 还是 $-\infty$ 需要检查首项系数的符号（$x\to -\infty$ 时负次数的奇偶性会影响符号，见第 4.5 节）。

9. 总结与注意事项

操作口诀

找首项，做替换，小分式趋向一；
首项比，化简算，极限答案在其中。

容易出错的地方

陷阱 1：首项不一定写在最前面！
$$x-8x^4\Rightarrow \text{首项是}-8x^4\text{，不是}x$$
陷阱 2：乘积多项式要分别找首项
$$(x^4+3x-99)(2-x^5)$$
不要展开再找，直接用每个因子的首项相乘：$x^4\cdot (-x^5)=-x^9$。
陷阱 3："极限的和等于和的极限"有前提
只有当各个分量的极限都是有限数时才能拆开分别取极限。例如：
$$\underset{x\to \infty }{\lim }(x+(1-x))=\underset{x\to \infty }{\lim }1=1$$
但如果先分别取极限：${\lim }_{x\to \infty }x=\infty$，${\lim }_{x\to \infty }(1-x)=-\infty$，然后相加得 $\infty +(-\infty )$——这是没有意义的！

注意：$\infty +(-\infty )$ 是无意义的（不是 $0$！），必须整体处理，不能拆开。

完整方法流程

1. 识别每个多项式的首项（最高次项）
   注意：首项不一定写在最左边
2. 对每个多项式，执行"除以并乘以首项"替换
   p(x) = [p(x)/p_L(x)] × p_L(x)
   （等价于乘以 1，不改变值）
3. 各个 [p(x)/p_L(x)] 均趋向 1，可以去掉
   各个 C/x^n 项（n>0）均趋向 0，消失
4. 只剩首项之积/商，化简后直接取极限
5. 用"三条黄金法则"验证答案的合理性

配套图像： tikz_rational_inf.pdf 包含 5 张 TikZ 数学图像：

• 图1：各项增长速度对比（对数坐标，直观展示首项主导）
• 图2：比值 $p(x)/p_L(x)$ 趋向 $1$ 的函数图像
• 图3：三种次数关系对应的三种图像（同次、分子高、分母高）
• 图4：首项替换法完整步骤流程图（例题 2 的分析）
• 图5：$C/x^n\to 0$ 定理的可视化

$x\to \infty$ 时"拟多项式函数"（poly-type function）的极限

一、先搞清楚：什么是"拟多项式函数"

课本里举了三个例子：
$$f(x)=x^3+4x^2-5x^{2/3}+1,g(x)=x^9-7x^2+2,h(x)=x^4-x^3+5x^2-2x+3$$
仔细看 $f(x)$，里面出现了 $x^{2/3}$（也就是 $\sqrt[3]{x^2}$），这是一个分数次幂、不是整数次幂，所以严格来说它不是多项式。但它"长得很像"多项式——同样是若干个 $x$ 的幂次加加减减拼起来的。
这种"看起来像多项式，但夹杂分数次幂或者根号"的函数，作者把它们统称为拟多项式函数（poly-type function）。好消息是：求极限时用的方法和普通多项式几乎一模一样，只有一个地方需要特别小心——

根号（或者别的方根）会改变"有效次数"，所以这次"谁是首项"不再是一眼就能看出来的事情，需要先算一算。

二、核心技巧：先找根号内部的首项，再开根

这是整篇内容最关键的一条规则，必须先理解透彻，后面的例题全部建立在这条规则之上。

规则：要判断 $\sqrt{p(x)}$（或者 $\sqrt[3]{p(x)}$，$\sqrt[n]{p(x)}$）在 $x\to \infty$ 时的"有效首项"，第一步永远是先找出根号内部多项式 $p(x)$ 的首项，然后再对这个首项开根。

举个具体例子感受一下

考虑 $\sqrt{16x^4+8}$。

• 第一步：看根号里面的多项式 $16x^4+8$，它的首项是 $16x^4$（次数最高、系数最大的那一项）。
• 第二步：对首项开平方根：$\sqrt{16x^4}=4x^2$。
• 结论：当 $x$ 很大的时候，$\sqrt{16x^4+8}$ 的行为几乎和 $4x^2$ 完全一样，我们就说 $4x^2$ 是 $\sqrt{16x^4+8}$ 的"有效首项"。
  配套的 PDF 图表（图1）直观地展示了这一点——红色曲线（真实函数）和蓝色虚线（有效首项 $4x^2$）几乎重叠在一起，差距随着 $x$ 增大变得微不足道。
  为什么可以这样做？ 把式子拆开看会更清楚：
  $$\sqrt{16x^4+8}=\sqrt{16x^4}\cdot \sqrt{1+\frac{8}{16x^4}}=4x^2\cdot \sqrt{1+\frac{8}{16x^4}}$$
  当 $x\to \infty$ 时，$\frac{8}{16x^4}\to 0$，所以后面那个根号 $\to \sqrt{1+0}=1$。整个式子就趋向于 $4x^2\times 1=4x^2$。这正是"有效首项"背后的数学道理。
  记住一句话：开根号会把次数"打折"。 根号内部次数是 $4$（即 $x^4$），开平方之后次数变成 $4÷2=2$（即 $x^2$）。如果是三次根号，次数就要除以 $3$。这也是为什么处理拟多项式函数时，"谁的次数最高"不能光看表面，要先把根号"拆掉"再比较。
  

三、例题1：根号项 vs. 普通项，谁更"高阶"

题目

$$\underset{x\to \infty }{\lim }\frac{\sqrt{16x^4+8}+3x}{2x^2+6x+1}$$

第一步：找分子的有效首项

分子是 $\sqrt{16x^4+8}+3x$，由两部分组成：

• 根号部分 $\sqrt{16x^4+8}$ 的有效首项是 $4x^2$（次数为 $2$）；
• 普通部分 $3x$ 本身就是首项，次数为 $1$。
  次数 $2>1$，所以 $4x^2$ 这部分增长得更快，根号项才是分子真正的首项，$3x$ 只是个低阶的"零头"，将来会被忽略掉。

第二步：找分母的首项

分母 $2x^2+6x+1$ 是个普通多项式，首项很容易看出来：$2x^2$，次数为 $2$。

第三步：比较次数，得出结论

分子有效首项 $4x^2$ 与分母首项 $2x^2$ 次数相同（都是 $2$ 次），所以极限等于两者系数之比：
$$\underset{x\to \infty }{\lim }\frac{\sqrt{16x^4+8}+3x}{2x^2+6x+1}=\frac{4}{2}=2$$

严格的代数推导（课本原始做法）

直接凭"有效首项"判断固然直观，但严格做法是把分子、分母都"除以再乘以"各自的首项，强行凑出能直接取极限的形式：
$$\underset{x\to \infty }{\lim }\frac{\sqrt{16x^4+8}+3x}{2x^2+6x+1}=\underset{x\to \infty }{\lim }\frac{\frac{\sqrt{16x^4+8}+3x}{4x^2}\times 4x^2}{\frac{2x^2+6x+1}{2x^2}\times 2x^2}$$
把 $4x^2$ 拖进根号（变成 $16x^4$）：
$$\frac{\sqrt{16x^4+8}+3x}{4x^2}=\frac{\sqrt{16x^4+8}}{4x^2}+\frac{3x}{4x^2}=\sqrt{\frac{16x^4+8}{16x^4}}+\frac{3}{4x}=\sqrt{1+\frac{8}{16x^4}}+\frac{3}{4x}$$
当 $x\to \infty$ 时，含 $x$ 分母的部分全部消失，这一坨趋向于 $\sqrt{1+0}+0=1$。
分母同理也趋向 $1$。于是整体变成：
$$\underset{x\to \infty }{\lim }\frac{1\times 4x^2}{1\times 2x^2}=\underset{x\to \infty }{\lim }\frac{4x^2}{2x^2}=2$$
两种做法殊途同归，答案都是 $2$。配套 PDF 图表（图2）展示了比值随 $x$ 增大趋近 $2$ 的过程。

四、例题2：换一个小细节，结果天差地别

题目

$$\underset{x\to \infty }{\lim }\frac{\sqrt{16x^4+8}+3x^3}{2x^2+6x+1}$$
注意：这一题和例题1唯一的区别是分子里的 $3x$ 变成了 $3x^3$。乍看只是改了一个指数，但结果会完全不同。

重新比较分子内部的两部分

• 根号部分 $\sqrt{16x^4+8}$ 的有效首项仍然是 $4x^2$（次数 $2$），这点没有变；
• 但普通部分现在是 $3x^3$，次数为 $3$。
  这一次，$3>2$，局势反过来了：$3x^3$ 才是分子的真正首项，反而是根号那部分变成了"陪衬"。

比较分子、分母的次数

分子真实首项 $3x^3$（次数 $3$），分母首项 $2x^2$（次数 $2$）。分子次数比分母高，说明分子比分母"跑得快"，结果发散：
$$\underset{x\to \infty }{\lim }\frac{\sqrt{16x^4+8}+3x^3}{2x^2+6x+1}=+\infty$$
配套 PDF 图表（图3）清楚地展示了函数值随 $x$ 增大不断攀升，完全没有要"停下来"收敛的迹象。

两道题对比一下，记忆更深刻

---

对比项	例题1（分子是 $3x$）	例题2（分子是 $3x^3$）
根号项有效首项	$4x^2$（次数2）	$4x^2$（次数2）
另一部分	$3x$（次数1）	$3x^3$（次数3）
谁是真正首项	根号项 $4x^2$ 胜出	普通项 $3x^3$ 胜出
分子真实次数	2	3
对比分母次数(2)	相等	更高
极限结果	有限值 $2$	$+\infty$

---

这组对比想说明的道理是：遇到根号时，千万不要凭直觉认为"根号下面的东西看起来更复杂，所以肯定是首项"。一定要先把根号拆开算出真实次数，再跟其他项比大小。

五、例题3：当根号项的首项恰好被抵消时怎么办

题目

$$\underset{x\to \infty }{\lim }\frac{\sqrt{4x^6-5x^5}-2x^3}{\sqrt[3]{27x^6+8x}}$$

第一步：先尝试老方法，发现"卡住了"

按照前面的套路，先看 $\sqrt{4x^6-5x^5}$ 的有效首项：根号内部首项是 $4x^6$，开平方后是 $\sqrt{4x^6}=2x^3$。
但分子里还有一个单独的 $-2x^3$，刚好和它完全抵消：
$$\underset{\text{根号的有效首项}}{\underbrace{2x^3}}-\underset{\text{单独那一项}}{\underbrace{2x^3}}=0$$
这下麻烦了——首项抵消之后，表面上"看不出"谁是分子的主导项，直接用前面的方法已经不够用了。这正是这道题的"陷阱"所在。

第二步：祭出共轭法——专治"根号减常规项"型抵消

回忆初中学过的平方差公式：
$$(a-b)(a+b)=a^2-b^2$$
如果在分子、分母同时乘上 $\sqrt{4x^6-5x^5}+2x^3$（也就是把原来的"减"变成"加"，构造出共轭式），分子就能用平方差公式消掉根号：
$$\sqrt{4x^6-5x^5}-2x^3\stackrel{\times \frac{\sqrt{4x^6-5x^5}+2x^3}{\sqrt{4x^6-5x^5}+2x^3}}{\to }\frac{(4x^6-5x^5)-(2x^3{)}^2}{\sqrt{4x^6-5x^5}+2x^3}=\frac{(4x^6-5x^5)-4x^6}{\sqrt{4x^6-5x^5}+2x^3}=\frac{-5x^5}{\sqrt{4x^6-5x^5}+2x^3}$$
原式变成：
$$\underset{x\to \infty }{\lim }\frac{-5x^5}{\sqrt[3]{27x^6+8x}(\sqrt{4x^6-5x^5}+2x^3)}$$
分子干净利落地变成了 $-5x^5$，问题转移到了分母身上——这正是共轭法的价值：把"减法抵消"问题转化为"只需分析分母"的问题。

第三步：逐个分析分母的两个因子

分母是两个因子相乘，分别求它们的有效首项。
第一个因子：$\sqrt[3]{27x^6+8x}$
三次根号下首项是 $27x^6$，开三次方：$\sqrt[3]{27x^6}=3x^2$（次数从 $6$ 除以 $3$ 变成 $2$）。
第二个因子：$\sqrt{4x^6-5x^5}+2x^3$
这里要小心：根号部分 $\sqrt{4x^6-5x^5}$ 的有效首项是 $2x^3$（和第一步算的一样），但这次它不需要和谁抵消，而是要和后面单独的 $2x^3$相加：
$$\underset{\text{根号部分}}{\underbrace{2x^3}}+\underset{\text{单独项}}{\underbrace{2x^3}}=4x^3$$
所以这个因子的有效首项是 $4x^3$。

第四步：合并，得出最终答案

分母两个因子的有效首项相乘：
$$3x^2\times 4x^3=12x^5$$
整个极限变成：
$$\underset{x\to \infty }{\lim }\frac{-5x^5}{12x^5}=-\frac{5}{12}$$
完整的四步流程已绘制在配套 PDF 图表（图4）中可以回顾一遍（注释框全部放在空白区域，不遮挡曲线和公式）。
配套 PDF 中还有一张数值验证图，用数值计算验证了结论：当 $x$ 不断增大，函数值确实越来越逼近 $-5/12\approx -0.4167$。

六、三道例题的解题流程总览（Mermaid 流程图）

下面用一张流程图串联三道题的解题思路，帮助你建立"看到题目该怎么下手"的整体框架。

七、用一棵 ASCII 决策树总结判断逻辑

下面这棵树把"该用哪种方法"的判断逻辑梳理成纯文本形式，方便不支持图片渲染的环境也能看懂。

极限问题：lim_{x→∞} [分子] / [分母]
│
├── 情况A：分子、分母都是普通多项式（无根号）
│   │
│   ├── deg(分子) = deg(分母)  →  极限 = 首项系数之比
│   ├── deg(分子) > deg(分母)  →  极限 = ±∞
│   └── deg(分子) < deg(分母)  →  极限 = 0
│
└── 情况B：分子或分母含有根号（拟多项式函数）
    │
    ├── 第一步：对每个根号，先找内部多项式的首项，再开根
    │           得到该根号的"有效首项"
    │
    ├── 第二步：检查根号的有效首项是否会被
    │           式子里别的项直接相减抵消
    │   │
    │   ├── 不会抵消（如例题1、例题2）
    │   │   │
    │   │   ├── 把每一部分的有效首项找全
    │   │   ├── 算出分子、分母各自的"真实次数"
    │   │   └── 回到情况A的三条规则，直接判断
    │   │
    │   └── 会抵消（如例题3）
    │       │
    │       ├── 用共轭法：乘以共轭式消去根号
    │       │   (a-b)(a+b) = a² - b²
    │       ├── 化简后分子通常剩下较低次数的项
    │       ├── 对分母的每个因子分别求有效首项
    │       └── 合并后再比较分子、分母次数，得出极限
    │
    └── 输出：最终极限值（有限数 / 0 / ±∞）

八、用 C++ 代码做数值验证

下面这段 C++ 代码把三道例题的函数都写出来，分别取 $x=10,100,1000,\dots ,10^6$ 代入计算，观察数值是否真的逼近我们推导出的理论极限。代码没有使用万能头文件 <bits/stdc++.h>，只引入实际用到的标准库（<iostream>、<cmath>、<iomanip>、<vector>），可以直接复制编译运行。

// poly_type_limits.cpp
// ------------------------------------------------------------
// 功能：数值验证三个"拟多项式函数"（poly-type function）
//       在 x -> +infinity 时的极限。
//
// 例题1：lim (sqrt(16x^4+8) + 3x)      / (2x^2+6x+1)   = 2
// 例题2：lim (sqrt(16x^4+8) + 3x^3)    / (2x^2+6x+1)   = +infinity
// 例题3：lim (sqrt(4x^6-5x^5) - 2x^3)  / cbrt(27x^6+8x)= -5/12
//
// 编译方式（不使用 bits/stdc++.h，只引入实际用到的标准库头文件）：
//   g++ -std=c++17 -O2 poly_type_limits.cpp -o poly_type_limits
// 运行方式：
//   ./poly_type_limits
// ------------------------------------------------------------
#include <iostream>   // std::cout, std::endl
#include <cmath>      // std::sqrt, std::cbrt, std::pow
#include <iomanip>    // std::setprecision, std::fixed, std::setw
#include <vector>     // std::vector，用来存放要测试的 x 取值列表
// ------------------------------------------------------------
// 函数1：对应例题1
//   f1(x) = (sqrt(16x^4 + 8) + 3x) / (2x^2 + 6x + 1)
// 当 x -> +infinity 时，理论极限为 2
// ------------------------------------------------------------
double f1(double x) {
    double numerator   = std::sqrt(16.0 * std::pow(x, 4) + 8.0) + 3.0 * x;
    double denominator  = 2.0 * x * x + 6.0 * x + 1.0;
    return numerator / denominator;
}
// ------------------------------------------------------------
// 函数2：对应例题2（与例题1唯一区别：分子里 3x 换成了 3x^3）
//   f2(x) = (sqrt(16x^4 + 8) + 3x^3) / (2x^2 + 6x + 1)
// 当 x -> +infinity 时，理论极限为 +infinity（不收敛）
// ------------------------------------------------------------
double f2(double x) {
    double numerator   = std::sqrt(16.0 * std::pow(x, 4) + 8.0) + 3.0 * std::pow(x, 3);
    double denominator = 2.0 * x * x + 6.0 * x + 1.0;
    return numerator / denominator;
}
// ------------------------------------------------------------
// 函数3：对应例题3（用到了共轭法处理根号差）
//   f3(x) = (sqrt(4x^6 - 5x^5) - 2x^3) / cbrt(27x^6 + 8x)
// 当 x -> +infinity 时，理论极限为 -5/12 ≈ -0.41666...
// ------------------------------------------------------------
double f3(double x) {
    double numerator   = std::sqrt(4.0 * std::pow(x, 6) - 5.0 * std::pow(x, 5)) - 2.0 * std::pow(x, 3);
    double denominator = std::cbrt(27.0 * std::pow(x, 6) + 8.0 * x);
    return numerator / denominator;
}
// ------------------------------------------------------------
// 辅助函数：统一打印一行"x 取值 -> 函数值"的对照表
// ------------------------------------------------------------
void printRow(double x, double value) {
    std::cout << "  x = " << std::setw(10) << std::fixed << std::setprecision(0) << x
               << "    f(x) = " << std::setw(15) << std::fixed << std::setprecision(8) << value
               << std::endl;
}
int main() {
    // 设置整体输出精度
    std::cout << std::fixed << std::setprecision(8);
    // 测试用的 x 取值列表：从小到大，观察函数值如何逐渐逼近理论极限
    std::vector<double> xs = {10.0, 100.0, 1000.0, 10000.0, 100000.0, 1000000.0};
    // ---------------- 例题1 ----------------
    std::cout << "===========================================" << std::endl;
    std::cout << "例题1: f1(x) = (sqrt(16x^4+8) + 3x) / (2x^2+6x+1)" << std::endl;
    std::cout << "理论极限 = 2" << std::endl;
    std::cout << "-------------------------------------------" << std::endl;
    for (double x : xs) {
        printRow(x, f1(x));
    }
    // ---------------- 例题2 ----------------
    std::cout << std::endl;
    std::cout << "===========================================" << std::endl;
    std::cout << "例题2: f2(x) = (sqrt(16x^4+8) + 3x^3) / (2x^2+6x+1)" << std::endl;
    std::cout << "理论极限 = +infinity（函数值应持续增大，不收敛）" << std::endl;
    std::cout << "-------------------------------------------" << std::endl;
    for (double x : xs) {
        printRow(x, f2(x));
    }
    // ---------------- 例题3 ----------------
    std::cout << std::endl;
    std::cout << "===========================================" << std::endl;
    std::cout << "例题3: f3(x) = (sqrt(4x^6-5x^5) - 2x^3) / cbrt(27x^6+8x)" << std::endl;
    std::cout << "理论极限 = -5/12 = " << (-5.0 / 12.0) << std::endl;
    std::cout << "-------------------------------------------" << std::endl;
    for (double x : xs) {
        printRow(x, f3(x));
    }
    std::cout << std::endl;
    std::cout << "结论：随着 x 不断增大，三个函数的数值表现"
               << "与理论推导完全吻合。" << std::endl;
    return 0;
}

实际运行结果

===========================================
例题1: f1(x) = (sqrt(16x^4+8) + 3x) / (2x^2+6x+1)
理论极限 = 2
-------------------------------------------
  x =         10    f(x) =      1.64754789
  x =        100    f(x) =      1.95621572
  x =       1000    f(x) =      1.99551246
  x =      10000    f(x) =      1.99955012
  x =     100000    f(x) =      1.99995500
  x =    1000000    f(x) =      1.99999550
===========================================
例题2: f2(x) = (sqrt(16x^4+8) + 3x^3) / (2x^2+6x+1)
理论极限 = +infinity（函数值应持续增大，不收敛）
-------------------------------------------
  x =         10    f(x) =     13.02685824
  x =        100    f(x) =    147.56565216
  x =       1000    f(x) =   1497.50673105
  x =      10000    f(x) =  14997.50067481
  x =     100000    f(x) = 149997.50006750
  x =    1000000    f(x) = 1499997.50000675
===========================================
例题3: f3(x) = (sqrt(4x^6-5x^5) - 2x^3) / cbrt(27x^6+8x)
理论极限 = -5/12 = -0.41666667
-------------------------------------------
  x =         10    f(x) =     -0.43057060
  x =        100    f(x) =     -0.41797695
  x =       1000    f(x) =     -0.41679696
  x =      10000    f(x) =     -0.41667969
  x =     100000    f(x) =     -0.41666797
  x =    1000000    f(x) =     -0.41666680
结论：随着 x 不断增大，三个函数的数值表现与理论推导完全吻合。

可以看到：

• 例题1的数值从 $1.6475$ 一路爬升，最后稳稳停在 $2$ 附近，吻合理论值；
• 例题2的数值随 $x$ 不断变大（从 $13$ 涨到 $150$ 万），完全没有收敛的趋势，验证了极限为 $+\infty$；
• 例题3的数值始终在 $-0.417$ 附近小幅波动，越来越逼近 $-5/12\approx -0.41667$。

九、终极总结：三条黄金法则 + 一个补充规则

---

规则名称	内容	适用场景
次数相等法则	极限 = 首项系数之比（有限非零数）	分子分母最高次数相同
次数更高法则	极限 = $\pm \infty$	分子最高次数大于分母
次数更低法则	极限 = $0$	分子最高次数小于分母
根号开方法则（补充）	先取根号内部的首项，再对首项开根，得到"有效首项"；如遇相减抵消，用共轭法 $(a-b)(a+b)=a^2-b^2$ 消去根号后再分析	含根号的拟多项式函数

---

把这张表牢记在心，再结合前面三道例题反复体会，遇到任何 $x\to \infty$ 的有理式或拟多项式极限题，基本都能照着这个流程一步步拆解出答案。
PDF 图表说明：文中插入的 4 张图表（根号有效首项对比图、例题1收敛图、例题2发散图、例题3完整步骤图与数值验证图）已生成为可独立查看的 PDF 文件 poly_type_limits.pdf，使用 TikZ 绘制，所有结论框均放置在曲线空白处，不会遮挡图像内容，建议配合本文档一起阅读。

第 4.5 节：$x\to -\infty$ 时有理函数的极限

1. 核心思路：和 $x\to +\infty$ 几乎一样

我们在第 4.3.1 节已经学过 $x\to +\infty$ 时的有理函数极限。
现在只是把方向换成 $x\to -\infty$，即 $x$ 变成非常大的负数。
好消息是：大部分规则完全不变。

1.1 仍然成立的规律

最高次项仍然主导：当 $x$ 是非常大的负数时，多项式里次数最高的项仍然远远大于低次项。
$$\text{例如：}7x^4+5x^3+2000x^2-6\approx 7x^4(x\to -\infty )$$
$C/x^n\to 0$ 仍然成立：只要 $C$ 是常数，$n$ 是正整数：
$$\underset{x\to -\infty }{\lim }\frac{C}{x^n}=0$$

为什么？因为当 $x$ 是绝对值很大的负数时，$|x^n|$ 也很大，所以 $|C/x^n|$ 趋向于 $0$。

2. 例题 1：普通有理函数（和 $+\infty$ 结果一样）

$$\underset{x\to -\infty }{\lim }\frac{x-8x^4}{7x^4+5x^3+2000x^2-6}$$
解法：上下同除以最高次项 $x^4$（分子分母各自的最高次项）：
$$=\underset{x\to -\infty }{\lim }\frac{\frac{x-8x^4}{-8x^4}}{\frac{7x^4+5x^3+2000x^2-6}{7x^4}}\times \frac{-8x^4}{7x^4}$$
$$=\underset{x\to -\infty }{\lim }\frac{-\frac{1}{8x^3}+1}{1+\frac{5}{7x}+\frac{2000}{7x^2}-\frac{6}{7x^4}}\times \left(-\frac{8}{7}\right)$$
$$=\frac{0+1}{1+0+0-0}\times \left(-\frac{8}{7}\right)=-\frac{8}{7}$$
结论：这道题和 $x\to +\infty$ 的结果完全相同。

3. 例题 2：最后一步出现差异

$$\underset{x\to -\infty }{\lim }\frac{(x^4+3x-99)(2-x^5)}{(18x^7+9x^6-3x^2-1)(x+1)}$$
解法：把各因子除以自己的最高次项，化简后剩一个余项：
$$=\underset{x\to -\infty }{\lim }\frac{\left(1+\frac{3}{x^3}-\frac{99}{x^4}\right)\left(-\frac{2}{x^5}+1\right)}{\left(1+\frac{9}{18x}-\frac{3}{18x^5}-\frac{1}{18x^7}\right)\left(1+\frac{1}{x}\right)}\times \frac{(x^4)(-x^5)}{(18x^7)(x)}$$
括号部分各趋向 $1$，余项为：
$$\frac{x^4\cdot (-x^5)}{18x^7\cdot x}=\frac{-x^9}{18x^8}=\frac{-x}{18}$$
因此：
$$=1\times 1\times \underset{x\to -\infty }{\lim }\frac{-x}{18}$$
关键差异在这里：

方向	$-x/18$ 的值	极限结果
$x\to +\infty$	$-x/18\to -\infty$	$-\infty$
$x\to -\infty$	$-x/18\to +\infty$（因为 $-x>0$）	$+\infty$

---

$$\underset{x\to -\infty }{\lim }\frac{-x}{18}=+\infty$$

4. 核心陷阱：$\sqrt{x^2}\ne x$（当 $x<0$ 时）

这是 $x\to -\infty$ 时最容易出错的地方，和 $x\to +\infty$ 真正不同的地方。

4.1 正确理解 $\sqrt{x^2}$

考虑 $x=-2$：
$$\sqrt{(-2{)}^2}=\sqrt{4}=2\ne -2$$
所以：
$$\sqrt{x^2}=|x|=\{\begin{array}{ll}x& x\ge 0\\ -x& x<0\end{array}$$

4.2 推广到 $\sqrt{4x^6}$

当 $x<0$ 时，$x^3<0$，所以 $2x^3<0$，因此：
$$\sqrt{4x^6}=\sqrt{(2x^3{)}^2}=|2x^3|=-2x^3(x<0)$$

5. 例题 3：含根号的极限

$$\underset{x\to -\infty }{\lim }\frac{\sqrt{4x^6+8}}{2x^3+6x+1}$$
第一步：分析分子的主导项。
$4x^6+8$ 的主导项是 $4x^6$，所以 $\sqrt{4x^6+8}$ 行为类似 $\sqrt{4x^6}$。
第二步：注意符号！
由于 $x\to -\infty$，即 $x<0$：
$$\sqrt{4x^6}=|2x^3|=-2x^3\text{（不是 }2x^3\text{！）}$$
第三步：上下同除以各自主导项：
$$\underset{x\to -\infty }{\lim }\frac{\sqrt{4x^6+8}}{2x^3+6x+1}=\underset{x\to -\infty }{\lim }\frac{\frac{\sqrt{4x^6+8}}{\sqrt{4x^6}}}{\frac{2x^3+6x+1}{2x^3}}\times \frac{\sqrt{4x^6}}{2x^3}$$
$$=\underset{x\to -\infty }{\lim }\frac{\sqrt{1+\frac{8}{4x^6}}}{1+\frac{6}{2x^2}+\frac{1}{2x^3}}\times \frac{-2x^3}{2x^3}$$
$$=\frac{\sqrt{1+0}}{1+0+0}\times (-1)=1\times (-1)=\boxed{-1}$$

6. 根号符号规律总结

---

表达式	$x>0$	$x<0$	说明
$\sqrt{x^2}$	$=x$	$=-x$	$n=2$（偶），$m=1$（奇）→ 需负号
$\sqrt{x^4}$	$=x^2$	$=x^2$	$m=2$（偶）→ 不需负号
$\sqrt{x^6}$	$=x^3$	$=-x^3$	$m=3$（奇）→ 需负号
$\sqrt[4]{x^4}$	$=x$	$=-x$	$n=4$（偶），$m=1$（奇）→ 需负号
$\sqrt[3]{x^3}$	$=x$	$=x$	$n=3$（奇）→ 永远不需负号
$\sqrt[4]{x^8}$	$=x^2$	$=x^2$	$m=2$（偶）→ 不需负号

---

判断口诀：
$$\sqrt[n]{x^m}=x^{m/n}$$

• $n$ 是偶数，$m$ 是奇数 → $x<0$ 时需要加负号
• $n$ 是奇数 → 任何 $x$ 都不需加负号
• $m$ 是偶数 → $x^m\ge 0$，开根后结果非负，不需加负号

7. 解题流程图

8. 知识点速查

---

知识点	内容
$C/x^n\to 0$	$x\to -\infty$ 时同样成立，$n$ 为正整数
主导项原则	多项式最高次项仍然主导
$\sqrt{x^2}=x$？	错！ $x<0$ 时 $\sqrt{x^2}=-x$
奇次根号	$\sqrt[3]{x^3}=x$ 对所有实数成立
偶次根号	$\sqrt[2k]{x^{2k}}=|x^k|$，$x<0$ 且 $k$ 奇时需加负号
关键差异	最终余项如 $-x$ 在 $x\to -\infty$ 时趋向 $+\infty$

---