2.3 无穷小(大)量的数量级

无穷小(大)量的数量级 系统讲解

本节是极限计算的核心工具模块，通过定义无穷小（大）量的阶，量化不同变量趋于0或无穷的速度，核心应用是等价无穷小替换，可大幅简化复杂极限的计算，是本科数学分析、考研数学的核心高频考点。我们将严格遵循分析学规范，完整讲解定义、定理、证明、例题与易错点。

---

一、核心基础定义

定义2.3.1 无穷小量与无穷大量

1. 无穷小量（无穷小）

设\(x \to x_0\)（可替换为\(x_0^\pm, \pm\infty, \infty\)，下同），若\(\boldsymbol{\lim\limits_{x \to x_0} f(x) = 0}\)，则称\(f(x)\)为\(x \to x_0\)时的无穷小量，记作：

\[\boldsymbol{f(x) = o(1) \quad (x \to x_0)} \]

简言之：极限为0的变量称为无穷小量。

2. 无穷大量（无穷大）

设\(x \to x_0\)，若\(\boldsymbol{\lim\limits_{x \to x_0} f(x) = \infty}\)（含\(+\infty, -\infty\)），则称\(f(x)\)为\(x \to x_0\)时的无穷大量。
简言之：极限为∞的变量称为无穷大量。

3. 无穷小与无穷大的核心关系

在同一变化过程中，若\(f(x)\)为非零无穷小量，则\(\frac{1}{f(x)}\)为无穷大量；反之，若\(f(x)\)为无穷大量，则\(\frac{1}{f(x)}\)为无穷小量。
推理依据：极限的倒数法则、无穷小与无穷大的定义。

---

关键误区纠正

1. 无穷小量不是“很小的数”：无穷小是极限为0的变量，常数中只有0是无穷小量，任何非零常数（哪怕绝对值极小，如\(10^{-100}\)）都不是无穷小量。
2. 无穷大量不是“很大的数”：无穷大是极限为∞的变量，任何常数都不是无穷大量。
3. 无穷小/无穷大具有过程依赖性：一个变量是否为无穷小/无穷大，完全取决于自变量的变化过程。例如\(f(x)=\frac{1}{x}\)，\(x \to 0\)时是无穷大量，\(x \to \infty\)时是无穷小量，\(x \to 1\)时既不是无穷小也不是无穷大。

---

例2.3.1 常见无穷小量与无穷大量分类

变化过程	常见无穷小量	常见无穷大量
\(x \to 0\)	\(\sin x, \tan x, 1-\cos x, a^x-1(a>0), \ln(1+x)\)	\(\frac{1}{x^\alpha}(\alpha>0), \cot x, \csc x\)
\(x \to x_0\)	\((x-x_0)^\alpha(\alpha>0), (x-x_0)^n(n \in \mathbb{N})\)	\(\frac{1}{(x-x_0)^\alpha}(\alpha>0), \frac{1}{(x-x_0)^n}(n \in \mathbb{N})\)
\(x \to +\infty\)	\(\frac{1}{x^\alpha}(\alpha>0), \frac{1}{x^n}(n \in \mathbb{N}), a^x(0<a<1)\)	\(x^\alpha(\alpha>0), x^n(n \in \mathbb{N}), a^x(a>1), x^x\)
\(x \to -\infty\)	\(a^x(a>1)\)	$a^{-x}(a>1),
\(n \to \infty\)（数列）	$q^n(	q

---

二、无穷小(大)量的阶的比较

阶的比较的核心意义：量化两个无穷小（大）量在同一变化过程中，趋于0（或∞）的速度快慢。

以下定义均默认：\(x \to x_0\)时，\(f(x)\)与\(g(x)\)均为无穷小（大）量，且在\(x_0\)的去心邻域内\(g(x) \neq 0\)。

定义2.3.2 阶的分类与符号定义

1. 高阶/低阶无穷小(大)量

若\(\boldsymbol{\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = 0}\)，则称\(x \to x_0\)时，\(f(x)\)是比\(g(x)\)高阶的无穷小量（或\(f(x)\)是比\(g(x)\)低阶的无穷大量），记作：

\[\boldsymbol{f(x) = o(g(x)) \quad (x \to x_0)} \]

• 无穷小语境：极限为0，说明\(f(x) \to 0\)的速度远快于\(g(x)\)；
• 无穷大语境：极限为0，说明\(f(x) \to \infty\)的速度远慢于\(g(x)\)。

2. 同阶无穷小(大)量

若\(\boldsymbol{\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = a \neq 0}\)，则称\(x \to x_0\)时，\(f(x)\)与\(g(x)\)是同阶无穷小(大)量，数量级相同，记作：

\[\boldsymbol{f(x) = O^*(g(x)) \quad (x \to x_0)} \]

核心含义：\(f(x)\)与\(g(x)\)趋于0（或∞）的速度在同一量级，仅相差一个非零常数倍。

3. 等价无穷小(大)量

若\(\boldsymbol{\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = 1}\)，则称\(x \to x_0\)时，\(f(x)\)与\(g(x)\)是等价无穷小(大)量，记作：

\[\boldsymbol{f(x) \sim g(x) \quad (x \to x_0)} \]

• 核心性质：等价无穷小(大)必为同阶无穷小(大)，但同阶不一定等价；
• 核心意义：等价是阶的比较中最特殊的情况，也是极限计算中等价替换的理论基础。

4. α阶无穷小(大)量

• α阶无穷小量：设\(\alpha>0\)，若\(\boldsymbol{\lim\limits_{x \to x_0} \frac{|f(x)|}{|x-x_0|^\alpha} = a \neq 0}\)，则称\(f(x)\)是\(x \to x_0\)时的α阶无穷小量；
  若\(x \to \infty\)，则定义为\(\lim\limits_{x \to \infty} \frac{|f(x)|}{\frac{1}{|x|^\alpha}} = a \neq 0\)，即\(f(x)\)与\(\frac{1}{|x|^\alpha}\)是同阶无穷小。
• α阶无穷大量：设\(\alpha>0\)，若\(\boldsymbol{\lim\limits_{x \to x_0} \frac{|f(x)|}{\frac{1}{|x-x_0|^\alpha}} = a \neq 0}\)，则称\(f(x)\)是\(x \to x_0\)时的α阶无穷大量；
  若\(x \to \infty\)，则定义为\(\lim\limits_{x \to \infty} \frac{|f(x)|}{|x|^\alpha} = a \neq 0\)，即\(f(x)\)与\(|x|^\alpha\)是同阶无穷大。

核心作用：以幂函数为基准，给无穷小(大)量的阶数做量化标定，例如\(1-\cos x\)是\(x \to 0\)时的2阶无穷小，\(\tan x\)是\(x \to 0\)时的1阶无穷小。

---

补充定义：大O符号（有界量符号）

若存在常数\(L>0\)和\(x_0\)的去心邻域\(\mathring{U}(x_0)\)，使得对\(\forall x \in \mathring{U}(x_0)\)，有\(\boldsymbol{\left| \frac{f(x)}{g(x)} \right| \leq L}\)，则记作：

\[\boldsymbol{f(x) = O(g(x)) \quad (x \to x_0)} \]

特别地，若\(f(x)\)在\(x_0\)的去心邻域内有界，则记作\(f(x)=O(1) \ (x \to x_0)\)。

• 符号关系：\(o(g(x)) \implies O(g(x))\)，\(O^*(g(x)) \implies O(g(x))\)，反之不成立。

---

三、核心定理与严谨证明

定理2.3.1 同阶无穷小(大)的局部有界性

设\(x \to x_0\)时，\(f(x),g(x)\)为无穷小(大)量，且\(f(x)=O^*(g(x))\)（同阶），则：

1. 存在常数\(K>0, L>0\)和\(x_0\)的去心邻域\(\mathring{U}(x_0)\)，使得对\(\forall x \in \mathring{U}(x_0)\)，有
   \[\boldsymbol{0 < K \leq \left| \frac{f(x)}{g(x)} \right| \leq L} \]

2. 特别地，\(f(x)=O(g(x))\)，即\(\left| \frac{f(x)}{g(x)} \right|\)在局部有界。

严谨证明（每步标注推理依据）

1. 已知\(f(x)=O^*(g(x))\)，即\(\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = a \neq 0\)，根据极限的绝对值性质，得\(\lim\limits_{x \to x_0} \left| \frac{f(x)}{g(x)} \right| = |a| > 0\)。
2. 根据函数极限的ε-δ定义，取\(\varepsilon = \frac{|a|}{2} > 0\)，则存在\(x_0\)的去心邻域\(\mathring{U}(x_0)\)，使得对\(\forall x \in \mathring{U}(x_0)\)，有
   \[\left| \left| \frac{f(x)}{g(x)} \right| - |a| \right| < \frac{|a|}{2} \]

3. 展开绝对值不等式，得：
   \[|a| - \frac{|a|}{2} < \left| \frac{f(x)}{g(x)} \right| < |a| + \frac{|a|}{2} \]
   即\(\frac{|a|}{2} < \left| \frac{f(x)}{g(x)} \right| < \frac{3|a|}{2}\)。
4. 取\(K=\frac{|a|}{2}>0\)，\(L=\frac{3|a|}{2}>0\)，即证得结论1；结论2是结论1的直接推论，显然成立。
   \(\square\)

---

定理2.3.2 等价代换定理（极限计算核心定理）

设\(x \to x_0\)时，\(f(x) \sim f_1(x)\)，\(g(x) \sim g_1(x)\)（均为无穷小/无穷大量），且\(\lim\limits_{x \to x_0} \frac{f_1(x)}{g_1(x)}\)存在，则\(\lim\limits_{x \to x_0} \frac{f(x)}{g(x)}\)也存在，且

\[\boldsymbol{\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = \lim\limits_{x \to x_0} \frac{f_1(x)}{g_1(x)}} \]

严谨证明（每步标注推理依据）

1. 已知\(f(x) \sim f_1(x)\)，\(g(x) \sim g_1(x)\)，根据等价无穷小的定义，得：
   \[\lim\limits_{x \to x_0} \frac{f(x)}{f_1(x)} = 1, \quad \lim\limits_{x \to x_0} \frac{g_1(x)}{g(x)} = 1 \]

2. 对\(\frac{f(x)}{g(x)}\)做恒等变形：
   \[\frac{f(x)}{g(x)} = \frac{f(x)}{f_1(x)} \cdot \frac{f_1(x)}{g_1(x)} \cdot \frac{g_1(x)}{g(x)} \]

3. 根据极限乘法法则：有限个极限存在的函数的乘积的极限，等于极限的乘积，因此：
   \[\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = \lim\limits_{x \to x_0} \frac{f(x)}{f_1(x)} \cdot \lim\limits_{x \to x_0} \frac{f_1(x)}{g_1(x)} \cdot \lim\limits_{x \to x_0} \frac{g_1(x)}{g(x)} = 1 \cdot \lim\limits_{x \to x_0} \frac{f_1(x)}{g_1(x)} \cdot 1 \]

4. 因此\(\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = \lim\limits_{x \to x_0} \frac{f_1(x)}{g_1(x)}\)，定理得证。
   \(\square\)

核心补充说明

1. 适用范围：等价代换仅对乘除运算中的无穷小(大)因子成立，加减运算中不能直接替换，否则极易出错。
   反例：\(\lim\limits_{x \to 0} \frac{\tan x - \sin x}{x^3}\)，若直接替换\(\tan x \sim x\)，\(\sin x \sim x\)，会得到\(\frac{x-x}{x^3}=0\)的错误结果，正确结果为\(\frac{1}{2}\)。
2. 加减运算的替换条件：若\(f(x) \sim f_1(x)\)，\(g(x) \sim g_1(x)\)，且\(\lim \frac{f(x)}{g(x)} = a \neq -1\)，则\(f(x)+g(x) \sim f_1(x)+g_1(x)\)；若\(\lim \frac{f(x)}{g(x)} = a \neq 1\)，则\(f(x)-g(x) \sim f_1(x)-g_1(x)\)。
3. 推广结论：等价代换可推广到幂指函数、复合函数中，例如\(x \to 0\)时，\(\sin x \sim x\)，则\(e^{\sin x} - 1 \sim e^x - 1 \sim x\)。

---

四、常用等价无穷小与无穷大阶排序

1. 常用等价无穷小（\(x \to 0\)时）

这是极限计算中最常用的核心公式，所有公式均可通过等价无穷小的定义验证：

等价无穷小公式	适用条件
\(\sin x \sim x\)	\(x \to 0\)
\(\tan x \sim x\)	\(x \to 0\)
\(\arcsin x \sim x\)	\(x \to 0\)
\(\arctan x \sim x\)	\(x \to 0\)
\(1-\cos x \sim \frac{1}{2}x^2\)	\(x \to 0\)
\(\ln(1+x) \sim x\)	\(x \to 0\)
\(\log_a(1+x) \sim \frac{x}{\ln a} \ (a>0,a\neq1)\)	\(x \to 0\)
\(e^x - 1 \sim x\)	\(x \to 0\)
\(a^x - 1 \sim x\ln a \ (a>0)\)	\(x \to 0\)
\((1+x)^\alpha - 1 \sim \alpha x \ (\alpha \in \mathbb{R})\)	\(x \to 0\)
\(\tan x - \sin x \sim \frac{1}{2}x^3\)	\(x \to 0\)
\(x - \sin x \sim \frac{1}{6}x^3\)	\(x \to 0\)

---

2. 无穷大量的增长阶排序（\(x \to +\infty\)时）

当\(x \to +\infty\)时，以下函数趋于无穷的速度从慢到快排序：

\[\boldsymbol{\ln x \ll x^\alpha(\alpha>0) \ll a^x(a>1) \ll x^x} \]

即：对数函数 < 幂函数 < 指数函数 < 幂指函数，高阶无穷大与低阶无穷大的比值的极限为\(+\infty\)，反之极限为0。

• 数列版（\(n \to \infty\)时）：\(\ln n \ll n^\alpha(\alpha>0) \ll a^n(a>1) \ll n! \ll n^n\)

---

五、梯度化配套例题与完整解析

【基础巩固题】

• 难度层级：基础，适配本科低年级课堂教学、期末备考
• 考察核心知识点：无穷小阶的判断、等价无穷小替换的基础应用
• 题干：
  （1）判断\(x \to 0\)时，\(f(x)=\sqrt{1+x} - \sqrt{1-x}\)是几阶无穷小；
  （2）用等价无穷小替换求极限：\(\lim\limits_{x \to 0} \frac{\sin 2x \cdot \ln(1+x)}{1-\cos x}\)；
  （3）判断\(x \to +\infty\)时，\(f(x)=x^2 + e^x\)是比\(g(x)=x\ln x\)高阶还是低阶的无穷大量。

完整解题过程（每步标注依据）

（1）无穷小阶数的判断

1. 有理化变形：对\(f(x)\)分子有理化，得
   \[f(x)=\sqrt{1+x}-\sqrt{1-x} = \frac{(\sqrt{1+x}-\sqrt{1-x})(\sqrt{1+x}+\sqrt{1-x})}{\sqrt{1+x}+\sqrt{1-x}} = \frac{2x}{\sqrt{1+x}+\sqrt{1-x}} \]

2. 求阶数极限：根据α阶无穷小的定义，计算极限
   \[\lim\limits_{x \to 0} \frac{f(x)}{x} = \lim\limits_{x \to 0} \frac{2}{\sqrt{1+x}+\sqrt{1-x}} = \frac{2}{1+1}=1 \neq 0 \]

3. 结论：\(f(x)\)是\(x \to 0\)时的1阶无穷小，且\(\sqrt{1+x}-\sqrt{1-x} \sim x \ (x \to 0)\)。

（2）等价无穷小替换求极限

1. 确定等价无穷小：\(x \to 0\)时，\(\sin 2x \sim 2x\)，\(\ln(1+x) \sim x\)，\(1-\cos x \sim \frac{1}{2}x^2\)，均为乘除因子，符合等价代换条件。
2. 替换计算：根据等价代换定理，替换后得
   \[\lim\limits_{x \to 0} \frac{\sin 2x \cdot \ln(1+x)}{1-\cos x} = \lim\limits_{x \to 0} \frac{2x \cdot x}{\frac{1}{2}x^2} = \lim\limits_{x \to 0} \frac{2x^2}{\frac{1}{2}x^2} = 4 \]

（3）无穷大量阶的比较

1. 计算比值的极限：根据阶的比较定义，计算
   \[\lim\limits_{x \to +\infty} \frac{f(x)}{g(x)} = \lim\limits_{x \to +\infty} \frac{x^2 + e^x}{x\ln x} \]

2. 增长阶分析：\(x \to +\infty\)时，\(e^x\)是比\(x^2\)高阶的无穷大，因此分子的主导项为\(e^x\)；分母\(x\ln x\)是比\(x^2\)低阶的无穷大，因此
   \[\lim\limits_{x \to +\infty} \frac{x^2 + e^x}{x\ln x} = \lim\limits_{x \to +\infty} \frac{e^x}{x\ln x} = +\infty \]

3. 结论：\(f(x)\)是比\(g(x)\)高阶的无穷大量。

题后总结

1. 核心考点：无穷小阶数的定义、等价代换定理、无穷大增长阶的比较。
2. 解题通法：
   • 判断无穷小阶数：通过有理化、泰勒展开等变形，计算与\(x^\alpha\)的比值极限，极限非零则α为阶数；
   • 等价代换：仅对乘除因子替换，优先替换为幂函数，简化极限计算；
   • 无穷大阶的比较：抓主导项（最高阶无穷大），通过比值极限判断高低阶。
3. 高频易错点：加减运算中直接使用等价代换；忽略无穷小/无穷大的过程依赖性。

---

【进阶综合题】

• 难度层级：进阶，适配考研数学备考、本科高年级分析学进阶学习
• 考察核心知识点：等价代换的进阶应用、无穷小阶的传递性、泰勒展开与阶的关系
• 题干：
  （1）求极限：\(\lim\limits_{x \to 0} \frac{e^{x^2} - \cos x}{\ln(1+x^2)}\)；
  （2）已知\(x \to 0\)时，\((1+ax^2)^{\frac{1}{3}} - 1\)与\(\cos x - 1\)是等价无穷小，求常数\(a\)的值；
  （3）求极限：\(\lim\limits_{x \to 0} \frac{\tan x - \sin x}{x(e^{x^2} - 1)}\)。

完整解题过程（每步标注依据）

（1）复合函数的等价代换极限

1. 拆分分子，分别找等价无穷小：
   • 对\(e^{x^2}-1\)：\(x \to 0\)时，\(x^2 \to 0\)，由\(e^u - 1 \sim u \ (u \to 0)\)，得\(e^{x^2} - 1 \sim x^2\)；
   • 对\(1-\cos x\)：\(x \to 0\)时，\(1-\cos x \sim \frac{1}{2}x^2\)；
   • 分母\(\ln(1+x^2)\)：\(x \to 0\)时，\(x^2 \to 0\)，由\(\ln(1+u) \sim u \ (u \to 0)\)，得\(\ln(1+x^2) \sim x^2\)。
2. 分子恒等变形：\(e^{x^2} - \cos x = (e^{x^2} - 1) + (1 - \cos x)\)，两项均为无穷小，且\(\lim\limits_{x \to 0} \frac{e^{x^2}-1}{1-\cos x} = \lim\limits_{x \to 0} \frac{x^2}{\frac{1}{2}x^2}=2 \neq -1\)，符合加减代换条件。
3. 等价代换计算：
   \[\lim\limits_{x \to 0} \frac{e^{x^2} - \cos x}{\ln(1+x^2)} = \lim\limits_{x \to 0} \frac{(e^{x^2}-1)+(1-\cos x)}{x^2} = \lim\limits_{x \to 0} \frac{x^2 + \frac{1}{2}x^2}{x^2} = \frac{3}{2} \]

（2）等价无穷小求参数

1. 分别找等价无穷小：
   • 左边：\(x \to 0\)时，由\((1+u)^\alpha - 1 \sim \alpha u \ (u \to 0)\)，令\(u=ax^2\)，\(\alpha=\frac{1}{3}\)，得\((1+ax^2)^{\frac{1}{3}} - 1 \sim \frac{1}{3}ax^2\)；
   • 右边：\(x \to 0\)时，\(\cos x - 1 \sim -\frac{1}{2}x^2\)。
2. 等价无穷小的定义应用：两者为等价无穷小，故比值的极限为1，即
   \[\lim\limits_{x \to 0} \frac{(1+ax^2)^{\frac{1}{3}} - 1}{\cos x - 1} = \lim\limits_{x \to 0} \frac{\frac{1}{3}ax^2}{-\frac{1}{2}x^2} = -\frac{2a}{3} = 1 \]

3. 求解参数：解得\(a = -\frac{3}{2}\)。

（3）加减项的极限计算（易错题型）

1. 错误警示：本题分子是加减运算，不能直接替换\(\tan x \sim x\)、\(\sin x \sim x\)，否则会得到错误结果0，必须先恒等变形为乘除形式。
2. 分子恒等变形：
   \[\tan x - \sin x = \tan x (1 - \cos x) \]

3. 等价无穷小替换：\(x \to 0\)时，\(\tan x \sim x\)，\(1-\cos x \sim \frac{1}{2}x^2\)，分母\(e^{x^2}-1 \sim x^2\)，均为乘除因子，符合代换条件。
4. 计算极限：
   \[\lim\limits_{x \to 0} \frac{\tan x - \sin x}{x(e^{x^2} - 1)} = \lim\limits_{x \to 0} \frac{x \cdot \frac{1}{2}x^2}{x \cdot x^2} = \frac{1}{2} \]

题后总结

1. 核心考点：复合函数的等价代换、加减运算的代换条件、等价无穷小的定义应用。
2. 解题通法：
   • 加减项极限：优先恒等变形为乘除形式，再使用等价代换；若要直接替换，必须验证加减项的比值极限不为±1；
   • 求参数问题：通过等价无穷小将表达式转化为幂函数，利用极限条件列方程求解参数。
3. 高频易错点：加减项直接等价代换，忽略代换条件；复合函数等价代换时，未保证内层变量趋于0。

---

【科研拓展题】

• 难度层级：科研入门，适配数学专业研究生分析学入门、科研基础训练
• 考察核心知识点：无穷小阶的泰勒展开刻画、o记号的运算性质、渐近分析基础
• 题干：
  （1）证明o记号的运算性质：设\(x \to x_0\)时，\(f(x)=o(g(x))\)，\(g(x)=o(h(x))\)，则\(f(x)=o(h(x))\)（阶的传递性）；
  （2）用泰勒展开求\(x \to 0\)时，\(f(x)=x - \sin x\)的阶数，并写出其等价无穷小；
  （3）求\(x \to 0\)时，\(\ln \cos x\)的主部（即与\(\ln \cos x\)等价的无穷小）。

完整解题过程

（1）o记号传递性的证明

1. 已知条件转化：根据高阶无穷小的定义，
   • \(f(x)=o(g(x))\)，即\(\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = 0\)；
   • \(g(x)=o(h(x))\)，即\(\lim\limits_{x \to x_0} \frac{g(x)}{h(x)} = 0\)。
2. 计算目标极限：
   \[\lim\limits_{x \to x_0} \frac{f(x)}{h(x)} = \lim\limits_{x \to x_0} \left( \frac{f(x)}{g(x)} \cdot \frac{g(x)}{h(x)} \right) \]

3. 极限乘法法则应用：两个极限均存在，因此乘积的极限等于极限的乘积，得
   \[\lim\limits_{x \to x_0} \frac{f(x)}{h(x)} = 0 \cdot 0 = 0 \]

4. 结论：根据高阶无穷小的定义，\(f(x)=o(h(x))\)，传递性得证。

（2）泰勒展开求无穷小阶数

1. 正弦函数的泰勒展开：\(\sin x\)在\(x=0\)处的麦克劳林展开为
   \[\sin x = x - \frac{x^3}{6} + o(x^3) \quad (x \to 0) \]

2. 变形求差：
   \[x - \sin x = x - \left( x - \frac{x^3}{6} + o(x^3) \right) = \frac{x^3}{6} + o(x^3) \]

3. 阶数判断：计算极限
   \[\lim\limits_{x \to 0} \frac{x - \sin x}{x^3} = \lim\limits_{x \to 0} \frac{\frac{x^3}{6} + o(x^3)}{x^3} = \frac{1}{6} \neq 0 \]

4. 结论：\(x - \sin x\)是\(x \to 0\)时的3阶无穷小，等价无穷小为\(\frac{1}{6}x^3\)，即\(x - \sin x \sim \frac{1}{6}x^3 \ (x \to 0)\)。

（3）求\(\ln \cos x\)的主部

1. 恒等变形：\(\ln \cos x = \ln(1 + (\cos x - 1))\)，\(x \to 0\)时，\(\cos x - 1 \to 0\)。
2. 等价无穷小替换：由\(\ln(1+u) \sim u \ (u \to 0)\)，得\(\ln(1+(\cos x - 1)) \sim \cos x - 1\)。
3. 代入等价无穷小：\(\cos x - 1 \sim -\frac{1}{2}x^2\)，因此\(\ln \cos x \sim -\frac{1}{2}x^2\)。
4. 泰勒展开验证：
   \[\ln \cos x = \ln\left(1 - \frac{x^2}{2} + o(x^2)\right) = -\frac{x^2}{2} + o(x^2) \]
   主部为\(-\frac{1}{2}x^2\)，与等价代换结果一致。

题后总结

1. 核心考点：o记号的运算性质、泰勒展开与无穷小阶的关系、无穷小主部的求解。
2. 科研意义：无穷小的阶的分析是渐近分析的基础，广泛应用于微分方程近似解、数值分析、概率论等领域，泰勒展开是刻画无穷小阶数的最通用工具。
3. 拓展方向：可进一步研究无穷小的阶的运算、渐近展开的高阶项、以及无穷大的渐近分析。

---

六、核心知识点归纳总结表

知识点	核心定义/结论	符号表示	适用条件	高频易错点
无穷小量	极限为0的变量	\(f(x)=o(1) \ (x \to x_0)\)	某一自变量变化过程	把很小的数当成无穷小；忽略过程依赖性
无穷大量	极限为∞的变量	-	某一自变量变化过程	把很大的数当成无穷大；与无界函数混淆
高阶无穷小	比值极限为0，趋于0的速度更快	\(f(x)=o(g(x))\)	同一变化过程，均为无穷小	混淆高阶/低阶的方向；o记号运算错误
同阶无穷小	比值极限为非零常数，速度同一量级	\(f(x)=O^*(g(x))\)	同一变化过程，均为无穷小	与等价无穷小混淆
等价无穷小	比值极限为1，速度完全一致	\(f(x) \sim g(x)\)	同一变化过程，均为无穷小	加减运算中直接替换；非无穷小量误用
α阶无穷小	与$	x-x_0	^\alpha$同阶的无穷小	-
等价代换定理	乘除因子可替换为等价无穷小，极限不变	\(\lim \frac{f(x)}{g(x)}=\lim \frac{f_1(x)}{g_1(x)}\)	乘除运算中的无穷小因子	加减运算直接替换；非乘除因子替换
无穷大增长阶	\(x \to +\infty\)时，\(\ln x \ll x^\alpha \ll a^x \ll x^x\)	-	\(x \to +\infty\)，\(\alpha>0,a>1\)	底数\(a<1\)时误用增长阶排序
大O记号	比值在局部有界	\(f(x)=O(g(x))\)	同一变化过程	与o记号、O*记号混淆

---

等价无穷小进阶应用与阶数判定 系统讲解

本节是无穷小量理论的核心应用模块，聚焦等价无穷小替换的实操技巧、适用边界、o记号的运算规则、无穷小/无穷大阶数的通用判定方法，是本科期末考、考研数学极限题的核心考点，所有内容均标注理论依据，拆解解题逻辑，明确易错陷阱。

---

一、等价无穷小替换的进阶例题（例2.3.2）

等价无穷小替换的核心是等价代换定理：乘除运算中的无穷小因子，可直接替换为其等价无穷小，极限值不变。所有替换均需严格遵循“乘除因子、同一变化过程、无穷小量”三大前提。

例题2.3.2 应用等价代换求下列极限

(1) \(\boldsymbol{\lim\limits_{x \to 0} \frac{\tan ax^2}{1-\cos x}\ (a \neq 0)}\)

完整解析

1. 确定等价无穷小（\(x \to 0\)）：
   • 分子：令\(u=ax^2\)，\(x \to 0\)时\(u \to 0\)，由\(\tan u \sim u\)，得\(\boldsymbol{\tan ax^2 \sim ax^2}\)；
   • 分母：由\(1-\cos u \sim \frac{1}{2}u^2\)，得\(\boldsymbol{1-\cos x \sim \frac{1}{2}x^2}\)。
2. 等价代换（理论依据：等价代换定理，均为乘除因子）：
   \[\lim\limits_{x \to 0} \frac{\tan ax^2}{1-\cos x} = \lim\limits_{x \to 0} \frac{ax^2}{\frac{1}{2}x^2} = 2a \]

3. 最终结果：\(\boldsymbol{2a}\)

---

(2) \(\boldsymbol{\lim\limits_{x \to 0} \frac{\sin(\sin x^3)}{\sqrt{1+x^2}-1}}\)

完整解析

1. 复合函数的等价无穷小传递（\(x \to 0\)）：
   • 分子：令\(u=\sin x^3\)，\(x \to 0\)时\(u \to 0\)，由\(\sin u \sim u\)，得\(\sin(\sin x^3) \sim \sin x^3\)；再令\(v=x^3\)，\(x \to 0\)时\(v \to 0\)，由\(\sin v \sim v\)，得\(\sin x^3 \sim x^3\)。因此\(\boldsymbol{\sin(\sin x^3) \sim x^3}\)。
   • 分母：令\(u=x^2\)，\(x \to 0\)时\(u \to 0\)，由\(\sqrt{1+u}-1 \sim \frac{1}{2}u\)，得\(\boldsymbol{\sqrt{1+x^2}-1 \sim \frac{1}{2}x^2}\)。
2. 等价代换与极限计算：
   \[\lim\limits_{x \to 0} \frac{\sin(\sin x^3)}{\sqrt{1+x^2}-1} = \lim\limits_{x \to 0} \frac{x^3}{\frac{1}{2}x^2} = \lim\limits_{x \to 0} 2x = 0 \]

3. 补充方法（有理化验证）：
   分母有理化\(\sqrt{1+x^2}-1 = \frac{x^2}{\sqrt{1+x^2}+1}\)，代入原式得：
   \[\lim\limits_{x \to 0} \frac{\sin(\sin x^3) \cdot (\sqrt{1+x^2}+1)}{x^2} = \lim\limits_{x \to 0} \frac{x^3 \cdot 2}{x^2} = 0 \]
   结果一致。
4. 最终结果：\(\boldsymbol{0}\)

---

(3) \(\boldsymbol{\lim\limits_{x \to 0} \frac{\tan x - \sin x}{\sin x^3}}\)

完整解析（高频易错题型）

1. ⚠️ 错误警示：本题分子为加减运算，不能直接替换\(\tan x \sim x\)、\(\sin x \sim x\)，否则会得到\(\frac{x-x}{x^3}=0\)的错误结果。加减项直接替换会丢失无穷小的主部，导致极限错误。
2. 正确处理：先变形为乘除形式：
   利用三角恒等变形，将分子拆分为乘除结构：
   \[\tan x - \sin x = \frac{\sin x}{\cos x} - \sin x = \sin x \cdot \frac{1-\cos x}{\cos x} \]

3. 等价无穷小替换（\(x \to 0\)）：
   • \(\sin x \sim x\)，\(1-\cos x \sim \frac{1}{2}x^2\)，分母\(\sin x^3 \sim x^3\)；
   • 分子整体：\(\sin x \cdot \frac{1-\cos x}{\cos x} \sim x \cdot \frac{\frac{1}{2}x^2}{1} = \frac{1}{2}x^3\)（\(x \to 0\)时\(\cos x \to 1\)）。
4. 极限计算：
   \[\lim\limits_{x \to 0} \frac{\tan x - \sin x}{\sin x^3} = \lim\limits_{x \to 0} \frac{\frac{1}{2}x^3}{x^3} = \frac{1}{2} \]

5. 最终结果：\(\boldsymbol{\frac{1}{2}}\)

---

(4) \(\boldsymbol{\lim\limits_{x \to 0} \frac{\arctan x}{\sin 4x}}\)

完整解析

1. 等价无穷小替换（\(x \to 0\)）：
   • 分子：由\(\arctan u \sim u\)（\(u \to 0\)），得\(\boldsymbol{\arctan x \sim x}\)；
   • 分母：由\(\sin u \sim u\)（\(u \to 0\)），得\(\boldsymbol{\sin 4x \sim 4x}\)。
2. 等价代换与极限计算：
   \[\lim\limits_{x \to 0} \frac{\arctan x}{\sin 4x} = \lim\limits_{x \to 0} \frac{x}{4x} = \frac{1}{4} \]

3. 补充方法（换元法验证）：
   令\(y=\arctan x\)，则\(x=\tan y\)，\(x \to 0\)时\(y \to 0\)，代入得：
   \[\lim\limits_{x \to 0} \frac{\arctan x}{\sin 4x} = \lim\limits_{y \to 0} \frac{y}{\sin(4\tan y)} = \lim\limits_{y \to 0} \frac{y}{4\tan y} = \lim\limits_{y \to 0} \frac{y}{4y} = \frac{1}{4} \]
   结果一致。
4. 最终结果：\(\boldsymbol{\frac{1}{4}}\)

---

题后核心总结

1. 等价代换的核心前提：仅对乘除运算中的无穷小因子可直接替换，加减运算必须先变形为乘除形式，或满足严格的加减代换条件。
2. 复合函数的等价传递性：若\(x \to x_0\)时\(\alpha(x) \to 0\)，且\(f(u) \sim g(u)\)（\(u \to 0\)），则\(f(\alpha(x)) \sim g(\alpha(x))\)（\(x \to x_0\)），这是复合函数等价替换的理论依据。
3. 高频易错点：
   • 加减项直接等价替换，丢失无穷小主部；
   • 非无穷小量误用等价替换（如\(x \to \infty\)时用\(\sin x \sim x\)）；
   • 复合函数替换时，未保证内层变量趋于0。

---

二、等价无穷小的复合性质与适用边界

例2.3.3 等价无穷小的对数复合性质

题干：设\(x \to x_0\)时，\(f(x) \sim g(x)\)（均为无穷小量），证明：\(\ln[1+f(x)] \sim \ln[1+g(x)]\)（\(x \to x_0\)）。

严谨证明

1. 已知条件：\(f(x) \sim g(x)\)，即\(\lim\limits_{x \to x_0} \frac{f(x)}{g(x)}=1\)；且\(x \to x_0\)时\(f(x) \to 0\)，\(g(x) \to 0\)。
2. 等价无穷小应用：由\(\ln(1+u) \sim u\)（\(u \to 0\)），得：
   \[\ln[1+f(x)] \sim f(x), \quad \ln[1+g(x)] \sim g(x) \quad (x \to x_0) \]

3. 等价传递性：根据等价关系的传递性，若\(A \sim B\)，\(B \sim C\)，则\(A \sim C\)，因此：
   \[\lim\limits_{x \to x_0} \frac{\ln[1+f(x)]}{\ln[1+g(x)]} = \lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = 1 \]
   符合等价无穷小的定义，故\(\ln[1+f(x)] \sim \ln[1+g(x)]\)。
   \(\square\)

拓展结论

等价无穷小具有复合传递性：若\(x \to x_0\)时\(\alpha(x) \sim \beta(x)\)（均为无穷小），\(u \to 0\)时\(f(u) \sim g(u)\)（均为无穷小），则\(f(\alpha(x)) \sim g(\beta(x))\)（\(x \to x_0\)）。
该结论可推广到指数、三角、反三角等所有初等函数的复合结构，是复杂极限等价替换的核心依据。

---

例2.3.4 等价代换的适用边界

核心结论：等价代换适用于乘、除、幂次运算，不适用于直接的加、减运算。

反例说明

已知\(x \to 0\)时，\(x^3 + x \sim x\)（因\(\lim\limits_{x \to 0} \frac{x^3+x}{x}=1\)），若对加减项直接替换：

\[\lim\limits_{x \to 0} \frac{(x^3+x)-x}{x^3} \xlongequal{错误替换} \lim\limits_{x \to 0} \frac{x-x}{x^3}=0 \]

但正确计算为：

\[\lim\limits_{x \to 0} \frac{(x^3+x)-x}{x^3} = \lim\limits_{x \to 0} \frac{x^3}{x^3}=1 \]

两者结果完全不同。

本质原因

等价无穷小替换的本质是：\(f(x) \sim g(x)\)意味着\(f(x) = g(x) + o(g(x))\)，即两者仅相差一个更高阶的无穷小。

• 乘除运算中，高阶无穷小的相对误差趋于0，不影响极限结果；
• 加减运算中，主部可能相互抵消，高阶无穷小会成为新的主部，直接替换会丢失核心项，导致极限错误。

加减运算的合法替换条件

若\(x \to x_0\)时，\(f(x) \sim f_1(x)\)，\(g(x) \sim g_1(x)\)，且\(\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = c \neq -1\)，则\(f(x)+g(x) \sim f_1(x)+g_1(x)\)；
若\(\lim\limits_{x \to x_0} \frac{f(x)}{g(x)} = c \neq 1\)，则\(f(x)-g(x) \sim f_1(x)-g_1(x)\)。

---

三、o记号的运算性质（例2.3.5）

o记号是刻画无穷小阶数的核心工具，其运算规则是泰勒展开、渐近分析的基础。设\(x \to x_0\)时，\(\alpha(x) \to 0\)（\(\alpha(x) \neq 0\)），\(\beta(x)\)为局部有界量。

核心运算性质与证明

(1) \(\boldsymbol{o(\alpha(x)) + o(\alpha(x)) = o(\alpha(x))}\)

含义：两个比\(\alpha(x)\)高阶的无穷小之和，仍是比\(\alpha(x)\)高阶的无穷小。
证明：
设\(o_1(\alpha(x))\)和\(o_2(\alpha(x))\)均为\(x \to x_0\)时比\(\alpha(x)\)高阶的无穷小，即：

\[\lim\limits_{x \to x_0} \frac{o_1(\alpha(x))}{\alpha(x)} = 0, \quad \lim\limits_{x \to x_0} \frac{o_2(\alpha(x))}{\alpha(x)} = 0 \]

由极限加法法则：

\[\lim\limits_{x \to x_0} \frac{o_1(\alpha(x)) + o_2(\alpha(x))}{\alpha(x)} = \lim\limits_{x \to x_0} \frac{o_1(\alpha(x))}{\alpha(x)} + \lim\limits_{x \to x_0} \frac{o_2(\alpha(x))}{\alpha(x)} = 0+0=0 \]

根据高阶无穷小的定义，\(o_1(\alpha(x)) + o_2(\alpha(x)) = o(\alpha(x))\)。
\(\square\)

(2) \(\boldsymbol{\beta(x) \cdot o(\alpha(x)) = o(\alpha(x))}\)

含义：局部有界量与高阶无穷小的乘积，仍是比\(\alpha(x)\)高阶的无穷小。
证明：
\(\beta(x)\)在\(x_0\)的去心邻域内有界，即存在常数\(M>0\)，使得\(|\beta(x)| \leq M\)。
由\(o(\alpha(x))\)的定义，\(\lim\limits_{x \to x_0} \frac{o(\alpha(x))}{\alpha(x)} = 0\)，因此：

\[\lim\limits_{x \to x_0} \frac{\beta(x) \cdot o(\alpha(x))}{\alpha(x)} = \lim\limits_{x \to x_0} \beta(x) \cdot \frac{o(\alpha(x))}{\alpha(x)} = 0 \]

故\(\beta(x) \cdot o(\alpha(x)) = o(\alpha(x))\)。
\(\square\)
推论：常数与\(o(\alpha(x))\)的乘积仍是\(o(\alpha(x))\)，即\(c \cdot o(\alpha(x))=o(\alpha(x))\)。

(3) \(\boldsymbol{[o(\alpha(x))]^k = o([\alpha(x)]^k) \ (k>0)}\)

含义：高阶无穷小的k次幂，是原无穷小k次幂的高阶无穷小。
证明：
由\(o(\alpha(x))\)的定义，\(\lim\limits_{x \to x_0} \frac{o(\alpha(x))}{\alpha(x)} = 0\)，因此：

\[\lim\limits_{x \to x_0} \frac{[o(\alpha(x))]^k}{[\alpha(x)]^k} = \lim\limits_{x \to x_0} \left( \frac{o(\alpha(x))}{\alpha(x)} \right)^k = 0^k = 0 \]

故\([o(\alpha(x))]^k = o([\alpha(x)]^k)\)。
\(\square\)

---

四、无穷小/无穷大量阶数的通用判定方法（例2.3.6）

阶数判定的核心逻辑：

1. 无穷小量（\(x \to x_0\)）：阶数由最低次幂的项决定，通过与基准幂函数\((x-x_0)^\alpha\)做比值极限，极限非零则\(\alpha\)为阶数；
2. 无穷大量（\(x \to \infty\)）：阶数由最高次幂的项决定，通过与基准幂函数\(x^\alpha\)做比值极限，极限非零则\(\alpha\)为阶数。

例2.3.6 求下列无穷小/无穷大量的阶数

(1) \(\boldsymbol{x^2 + x + \sqrt{x} \ (x \to 0^+)}\)

解析：\(x \to 0^+\)时，幂次越低，趋于0的速度越慢，是无穷小的主部。
各项幂次：\(x^2\)（2次）、\(x\)（1次）、\(\sqrt{x}=x^{1/2}\)（1/2次），主部为\(x^{1/2}\)。
验证：

\[\lim\limits_{x \to 0^+} \frac{x^2 + x + \sqrt{x}}{x^{1/2}} = \lim\limits_{x \to 0^+} (x^{3/2} + x^{1/2} + 1) = 1 \neq 0 \]

结论：\(\boldsymbol{\frac{1}{2}}\)阶无穷小量。

---

(2) \(\boldsymbol{x^2 + x + \sqrt{x} \ (x \to +\infty)}\)

解析：\(x \to +\infty\)时，幂次越高，趋于无穷的速度越快，是无穷大的主部。
各项幂次：\(x^2\)（2次）、\(x\)（1次）、\(\sqrt{x}\)（1/2次），主部为\(x^2\)。
验证：

\[\lim\limits_{x \to +\infty} \frac{x^2 + x + \sqrt{x}}{x^2} = \lim\limits_{x \to +\infty} (1 + \frac{1}{x} + \frac{1}{x^{3/2}}) = 1 \neq 0 \]

结论：\(\boldsymbol{2}\)阶无穷大量。

---

(3) \(\boldsymbol{\frac{x^2 + x - 2}{(x^2 - 1)^2} \ (x \to 1)}\)

解析：先因式分解，确定\(x \to 1\)时的主部。

• 分子：\(x^2+x-2=(x+2)(x-1)\)，主部为\((x-1)^1\)；
• 分母：\((x^2-1)^2=(x-1)^2(x+1)^2\)，主部为\((x-1)^2\)；
• 整体：\(\frac{(x+2)(x-1)}{(x-1)^2(x+1)^2} = \frac{x+2}{(x-1)(x+1)^2}\)，主部为\(\frac{1}{x-1}\)，即\((x-1)^{-1}\)。
  验证：

\[\lim\limits_{x \to 1} \frac{\frac{x^2 + x - 2}{(x^2 - 1)^2}}{\frac{1}{x-1}} = \lim\limits_{x \to 1} \frac{x+2}{(x+1)^2} = \frac{3}{4} \neq 0 \]

结论：\(\boldsymbol{1}\)阶无穷大量。

---

(4) \(\boldsymbol{\sqrt{2x^2 + 1} \ (x \to +\infty)}\)

解析：\(x \to +\infty\)时，主部为\(\sqrt{2x^2}=\sqrt{2}x\)，幂次为1。
验证：

\[\lim\limits_{x \to +\infty} \frac{\sqrt{2x^2 + 1}}{x} = \lim\limits_{x \to +\infty} \sqrt{2 + \frac{1}{x^2}} = \sqrt{2} \neq 0 \]

结论：\(\boldsymbol{1}\)阶无穷大量。

---

(5) \(\boldsymbol{\sqrt{x+\sqrt{x+\sqrt{x}}} \ (x \to +\infty)}\)

解析：\(x \to +\infty\)时，从外到内逐层找主部：
最内层\(\sqrt{x}\)是比\(x\)低阶的无穷大，因此\(x+\sqrt{x} \sim x\)；
中间层\(\sqrt{x+\sqrt{x}} \sim \sqrt{x}\)，因此\(x+\sqrt{x+\sqrt{x}} \sim x\)；
最外层\(\sqrt{x+\sqrt{x+\sqrt{x}}} \sim \sqrt{x}=x^{1/2}\)。
验证：

\[\lim\limits_{x \to +\infty} \frac{\sqrt{x+\sqrt{x+\sqrt{x}}}}{\sqrt{x}} = \lim\limits_{x \to +\infty} \sqrt{1 + \sqrt{\frac{1}{x} + \frac{1}{x^{3/2}}}} = 1 \neq 0 \]

结论：\(\boldsymbol{\frac{1}{2}}\)阶无穷大量。

---

(6) \(\boldsymbol{\sqrt{x+\sqrt{x+\sqrt{x}}} \ (x \to 0^+)}\)

解析：\(x \to 0^+\)时，从内到外逐层找主部：
最内层\(\sqrt{x}=x^{1/2}\)是比\(x\)低阶的无穷小，因此\(x+\sqrt{x} \sim x^{1/2}\)；
中间层\(\sqrt{x+\sqrt{x}} \sim \sqrt{x^{1/2}}=x^{1/4}\)，因此\(x+\sqrt{x+\sqrt{x}} \sim x^{1/4}\)；
最外层\(\sqrt{x+\sqrt{x+\sqrt{x}}} \sim \sqrt{x^{1/4}}=x^{1/8}\)。
验证：

\[\lim\limits_{x \to 0^+} \frac{\sqrt{x+\sqrt{x+\sqrt{x}}}}{x^{1/8}} = \lim\limits_{x \to 0^+} \sqrt{x^{3/4} + \sqrt{x^{1/2} + 1}} = 1 \neq 0 \]

结论：\(\boldsymbol{\frac{1}{8}}\)阶无穷小量。

---

核心规律（注2.3.1）

• 当\(x \to +\infty\)时，无穷大量的阶数由最高次幂的项决定；
• 当\(x \to 0^+\)时，无穷小量的阶数由最低次幂的项决定。

---

五、核心知识点归纳总结表

知识点	核心结论	适用条件	解题通法	高频易错点
等价无穷小替换	乘除运算中的无穷小因子可替换为等价无穷小，极限不变	同一变化过程、乘除因子、均为无穷小量	先变形为乘除结构，再替换为幂函数简化计算	加减项直接替换；非无穷小量误用替换
复合等价传递性	若\(f \sim g\)，\(u \sim v\)，则\(f(\alpha(x)) \sim g(\beta(x))\)	内层变量趋于0，外层函数为无穷小等价	逐层对复合函数做等价替换，简化复杂极限	内层变量不趋于0时误用传递性
加减代换条件	若\(\lim \frac{f}{g} \neq -1\)，则\(f+g \sim f_1+g_1\)；若\(\lim \frac{f}{g} \neq 1\)，则\(f-g \sim f_1-g_1\)	加减项为无穷小，比值极限不为±1	先验证比值条件，再做加减替换，否则先变形为乘除	不验证条件直接对加减项替换
o记号运算规则	\(o(\alpha)+o(\alpha)=o(\alpha)\)；有界量·\(o(\alpha)=o(\alpha)\)；\([o(\alpha)]^k=o(\alpha^k)\)	同一变化过程，\(\alpha\)为无穷小量	泰勒展开中合并高阶无穷小，简化余项运算	o记号的阶数运算错误，混淆高阶/低阶
无穷小阶数判定	阶数由最低次幂的主部决定，通过与\((x-x_0)^\alpha\)的比值极限确定	\(x \to x_0\)，函数为无穷小量	找最低次幂项，做比值极限验证阶数	误将高次幂作为无穷小的主部
无穷大阶数判定	阶数由最高次幂的主部决定，通过与\(x^\alpha\)的比值极限确定	\(x \to \infty\)，函数为无穷大量	找最高次幂项，做比值极限验证阶数	误将低次幂作为无穷大的主部