变限积分脱壳术与无穷小阶数剖析

**教练铁律：被积函数若有 $x$，千万不能直接导！必须先换元把它“脱壳”赶出去！(或者先利用积分的性质将 x 提取到积分号外面，然后再求导)

🧠 第一部分：底层概念 —— 无穷小的“鄙视链”

在极限的世界里，当 $x\to 0$ 时，大家都在往 $0$ 跑，但跑的速度有快有慢。所谓的“阶”，本质上比拼的就是多项式的最低次幂（次数）。

假设当 $x\to 0$ 时，有两个无穷小量 $A$ 和 $B$。我们计算它们的极限 ${\lim }_{x\to 0}\frac{A}{B}=L$。

1. 同阶无穷小 (Same Order)

• 数学定义： 如果极限 $L=c$（$c$ 是一个不等于 0，也不等于 1 的常数），则称 $A$ 和 $B$ 是同阶无穷小。

• 直白人话： 它们往 $0$ 跑的“加速度”（速度级别）是一样的。

• 多项式特征： 次数必须完全相同，但系数可以不同。

  • 举例： $3x^2$ 和 $5x^2$ 是同阶无穷小。因为 ${\lim }_{x\to 0}\frac{3x^2}{5x^2}=\frac{3}{5}$。它们的次数都是 2，但系数 3 和 5 不同。

2. 等价无穷小 (Equivalent)

• 数学定义： 如果极限 $L=1$，则称 $A$ 和 $B$ 是等价无穷小，记作 $A\sim B$。

• 直白人话： 它们不仅跑的速度级别一样，连跑的姿势都一模一样。等价无穷小就是同阶无穷小的最高级形态（特例）！

• 多项式特征： 次数必须完全相同，且系数也必须完全相同！

  • 举例： $\sin x$ 和 $x$ 是等价无穷小（$\lim \frac{\sin x}{x}=1$），展开看，它们的主部都是 $1\cdot x^1$。次数都是 1，系数都是 1。

3. 高阶无穷小 (Higher Order)

• 数学定义： 如果极限 $L=0$，则称 $A$ 是 $B$ 的高阶无穷小，记作 $A=o(B)$。

• 直白人话： $A$ 跑得比 $B$ 快得多，在 $B$ 面前，$A$ 甚至可以忽略不计。

• 多项式特征： $A$ 的次数必须严格大于 $B$ 的次数。

  • 举例： $x^3$ 是 $x^2$ 的高阶无穷小（$\lim \frac{x^3}{x^2}=0$）。

🎯 第二部分：实战母题 —— 带有 $x$ 的变限积分陷阱

【经典考题】

设当 $x\to 0$ 时，$f(x)={\int }_0^x{\sin }^2(tx)dt$ 与 $x^n$ 是同阶无穷小，求正整数 $n$ 的值。

【☠️ 致命陷阱】

被积函数 ${\sin }^2(tx)$ 中直接包含了积分上限的变量 $x$。

错误冲动： 看到变限积分直接洛必达求导，把 $x$ 塞进去。

教练铁律：被积函数若有 $x$，千万不能直接导！必须先换元把它“脱壳”赶出去！(或者先利用积分的性质将 x 提取到积分号外面，然后再求导)

【⚔️ 标准解题三步曲】

Step 1：换元脱壳（核心动作）

令 $u=tx$（此时积分变量是 $t$，$x$ 视为常数）。

则 $dt=\frac{1}{x}du$。

修改积分上限：当 $t=x$ 时，$u=x^2$。

$f(x)={\int }_0^{x^2}{\sin }^2(u)\cdot \frac{1}{x}du=\frac{1}{x}{\int }_0^{x^2}{\sin }^2(u)du$

Step 2：构造极限并洛必达

题目说 $f(x)$ 与 $x^n$ 是同阶无穷小，意味着：

${\lim }_{x\to 0}\frac{f(x)}{x^n}=c(c\ne 0)$

代入脱壳后的 $f(x)$，把分子的 $\frac{1}{x}$ 沉到分母去：

${\lim }_{x\to 0}\frac{{\int }_0^{x^2}{\sin }^2(u)du}{x^{n+1}}=c$

此时属于标准的 $\frac{0}{0}$ 型极限，且积分内部极其干净（没有 $x$），安全开启洛必达（上下同求导）：

${\lim }_{x\to 0}\frac{{\sin }^2(x^2)\cdot 2x}{(n+1)x^n}=c$

Step 3：等价替换，对齐次幂

当 $x\to 0$ 时，调用等价无穷小 $\sin u\sim u$，所以 ${\sin }^2(x^2)\sim (x^2{)}^2=x^4$。

代入极限：

${\lim }_{x\to 0}\frac{2x\cdot x^4}{(n+1)x^n}={\lim }_{x\to 0}\frac{2x^5}{(n+1)x^n}=c$

绝杀逻辑： 要让这个分式极限等于一个非零常数 $c$（即满足“同阶无穷小”的定义），分子和分母 $x$ 的次数必须绝对一致！

因此：

$5=n$

（顺便还能算出这个常数 $c=\frac{2}{5+1}=\frac{1}{3}$）。

💡 教练的灵魂发问（防晕车测试）：

如果这道题出题人稍微改一下，把题目改成：“已知 $f(x)$ 与 $a\cdot x^n$ 是等价无穷小”，让你求 $a$ 和 $n$。你会求吗？

• $n$ 还是等于 5（因为等价必须先满足同阶，次数必须一致）。

• 但是因为是“等价”，极限 $c$ 必须等于 1。所以 $\frac{2}{n+1}\cdot \frac{1}{a}=1$，代入 $n=5$，就能算出 $a=\frac{1}{3}$。

把次数控制“同阶”，把系数控制“等价”。 明白这个底层逻辑，这块硬骨头你算是彻底嚼烂了！

出题人写出 ==$A=o(B)$==，这在数学上叫作“皮亚诺余项”或者“高阶无穷小”。

它唯一的、绝对的、毫无争议的数学定义就是：

${\lim }_{x\to 0}\frac{A}{B}=0$ $\alpha (2x)-\alpha (x)=o(x)$ 这句看似高深的话，直接翻译成人话，就是硬生生地告诉你一个极限等式：

${\lim }_{x\to 0}\frac{\alpha (2x)-\alpha (x)}{x}=0$

我们要处理的式子是：

$A=(3+2\tan x{)}^x-3^x$

第一步：对底数“动刀”，强行提出常数 3

先不看指数 $x$，只看括号里的底数 $3+2\tan x$。

为了凑出“$1+\text{无穷小}$”的完美结构，我们强行把 3 提出来。里面剩下的每一项都要除以 3：

$3+2\tan x=3\cdot \left(1+\frac{2\tan x}{3}\right)=3\left(1+\frac{2}{3}\tan x\right)$

第二步：加上指数，利用 $(a\cdot b{)}^n=a^n\cdot b^n$ 展开

现在，把外面的指数 $x$ 戴回去：

$(3+2\tan x{)}^x={\left[3\cdot \left(1+\frac{2}{3}\tan x\right)\right]}^x$

利用指数运算的乘积法则，把指数分别分配给里面的两个因子：

$=3^x\cdot {\left(1+\frac{2}{3}\tan x\right)}^x$

第三步：回到原式，提取整体公因式 $3^x$

把第二步的结果塞回到最初的式子 $A$ 中去：

$A=\underset{\text{这是第一项}}{\underbrace{3^x\cdot {\left(1+\frac{2}{3}\tan x\right)}^x}}-\underset{\text{这是第二项}}{\underbrace{3^x}}$

现在你看，减号前面有 $3^x$，减号后面也有 $3^x$。这就像写代码时找到了公共的宏，直接把它提出来放到最外面：

$A=3^x\left[{\left(1+\frac{2}{3}\tan x\right)}^x-1\right]$

注意内嵌变限积分的做法 ${\left[x{\int }_x^{\sqrt{x}}\frac{\sin t}{t}\mathrm{d}t\right]}_0^1=1\cdot {\int }_1^1\frac{\sin t}{t}\mathrm{d}t-{\lim }_{x\to 0^{+}}\left(x{\int }_x^{\sqrt{x}}\frac{\sin t}{t}\mathrm{d}t\right)=0-0=0$ 只要积分上限和下限相同（即积分区间为一个点），无论被积函数是什么（哪怕函数在该点无定义，只要广义积分存在），定积分的值都等于 0。