定积分放缩证明与导数不等式

💡 一、 核心公式与核心思想

1. 桥梁公式：牛顿-莱布尼茨公式的变式（⭐⭐⭐⭐⭐）

求面积与定积分

$f(x)=f(x_0)+{\int }_{x_0}^x{f}^{\prime }(t)dt$

或者其等价形式：

$f(x)-f(x_0)={\int }_{x_0}^x{f}^{\prime }(t)dt$

• 思想精髓：当题目中给出导数 $f^{\prime }(x)$ 的代数式，而要求论证原函数 $f(x)$ 的性质（如极限、有界性、不等式）时，该公式是唯一能够直接将导数与原函数无缝连接的定量工具。它将“对原函数范围的估计”完美转化为“对导数定积分的估计”。

在考研数学中，使用该公式必须同时满足以下两个核心条件：

1. 被积函数 $f(x)$ 在积分闭区间 $[a,b]$ 上连续

• 如果 $f(x)$ 在区间内存在奇点（无定义点/无穷间断点），不能直接套用该公式，必须转化为反常积分（广义积分）求极限。

• 如果存在第一类间断点（跳跃间断点/可去间断点），需要分段积分，不能跨过间断点直接一步套用原函数。

2. 原函数 $F(x)$ 在闭区间 $[a,b]$ 上处处存在且可导，并满足 $F^{\prime }(x)=f(x)$

• $F(x)$ 在 $[a,b]$ 上必须是连续且处处可导的函数。

• 如果找出的所谓“原函数”在区间内部不连续（例如分段求积分常数没有拼凑连续），直接代入两端点端值会导致计算错误。

典型翻车案例：

计算 ${\int }_{-1}^1\frac{1}{x^2}\mathrm{d}x$：

• 错误做法：直接套用原函数 $-\frac{1}{x}$，算得 ${\left[-\frac{1}{x}\right]}_{-1}^1=-1-(1)=-2$。

• 错误原因：被积函数在 $x=0$ 处不连续（无穷奇点），违反了 $f(x)$ 在 $[-1,1]$ 上连续的条件（该反常积分实际发散）。

2. 单调性与放缩法的结合

若在区间内 $f^{\prime }(x)>0⟹f(x)$ 单调递增 $⟹$ 对于 $x\ge x_0$，有 $f(x)\ge f(x_0)$。利用这一界限对导数表达式进行放缩，是化简复杂积分的常规套路。

✍️ 二、 典型例题精析

【例题 1.15】

题干： 已知函数 $f(x)$ 的定义域是 $[0,+\infty )$，且满足 $f(0)=1$，$f^{\prime }(x)=\frac{1}{f^2(x)+x^2}$。求证：${\lim }_{x\to +\infty }f(x)$ 存在，且 ${\lim }_{x\to +\infty }f(x)\le 1+\frac{\pi }{2}$。

【证明与解题步骤】

1. 单调性分析（判定极限存在性的前提）

由题意，导数表达式为：

$f^{\prime }(x)=\frac{1}{f^2(x)+x^2}$

因为 $f^2(x)\ge 0$ 且 $x^2\ge 0$（在定义域内分母显然不为 0），所以：

$f^{\prime }(x)>0$

由此可知，函数 $f(x)$ 在 $[0,+\infty )$ 上是严格单调递增的。根据单调有界准则，后续只需证其有上界，即可说明极限存在。（同时，单调减有下界也可以证明极限存在）

2. 关键放缩（寻找导数的上界）

由于 $f(x)$ 在 $[0,+\infty )$ 上单调递增，因此对于任意的 $x\ge 0$，均有：

$f(x)\ge f(0)=1⟹f^2(x)\ge 1$

现在将这一不等式代入到导数 $f^{\prime }(x)$ 的分母中。为了放大整个分式，我们需要缩小分母（把 $f^2(x)$ 替换为它的下界 $1$）：

$f^{\prime }(x)=\frac{1}{f^2(x)+x^2}\le \frac{1}{1+x^2}$

这就是本题最核心的放缩点，成功将含有未知函数 $f(x)$ 的式子转化为了只含自变量 $x$ 的易积式。

3. 积分回代（应用桥梁公式）

利用核心公式，取初始点 $x_0=0$，将自变量暂换为积分变量 $t$，在 $[0,x]$ 上建立积分关系：

$f(x)=f(0)+{\int }_0^x{f}^{\prime }(t)dt$

将步骤 2 中得到的放缩不等式代入积分号内：

$f(x)\le 1+{\int }_0^x\frac{1}{1+t^2}dt$

计算该常用定积分（常用积分公式：$\int \frac{1}{1+t^2}dt=\arctan t$）：

$f(x)\le 1+[\arctan t{]}_0^x=1+\arctan x-\arctan 0$

因为 $\arctan 0=0$，所以得到原函数的不等式：

$f(x)\le 1+\arctan x$

4. 取极限得出最终结论

由于 ${\lim }_{x\to +\infty }\arctan x=\frac{\pi }{2}$，因此对上式两边同取 $x\to +\infty$ 的极限：

${\lim }_{x\to +\infty }f(x)\le 1+\frac{\pi }{2}$

同时，因为 $f(x)<1+\frac{\pi }{2}$，说明单调递增的 $f(x)$ 存在上界，由单调有界准则可知 ${\lim }_{x\to +\infty }f(x)$ 必然存在。

（证明完毕）

🛠️ 三、 方法论总结与解题模板

1. 题型识别

• 题干特征：给出具体或抽象的导数与原函数复合的方程（如 $f^{\prime }(x)=g(f(x),x)$），且常伴有明确的初值（如 $f(0)=a$）。

• 设问特征：求证 ${\lim }_{x\to \infty }f(x)$ 存在，或证明原函数满足某个包含 $\pi$、$\ln$ 等常数的不等式。

2. 标准标准解题三步走

• 第一步（定单调）：判断 $f^{\prime }(x)$ 的正负 $\to$ 确定 $f(x)$ 的单调性 $\to$ 利用初值锁定 $f(x)$ 的常数界。

• 第二步（放缩导数）：利用 $f(x)$ 的常数界去替换导数表达式中的 $f(x)$ 项，使导数不等式右侧变为只含自变量、易求原函数的式子。

• 第三步（积分还原）：两边同时在 $[x_0,x]$ 上求定积分，利用牛顿-莱布尼茨公式还原出 $f(x)$ 的范围，最后取极限完成证明。

📌 复习小贴士：考研中这类题目常见的放缩目标除了 $\frac{1}{1+x^2}$（积分得 $\arctan x$），还有 $\frac{1}{x^2}$（积分得 $-\frac{1}{x}$）、$e^{-x}$（积分得 $-e^{-x}$）等。记住这些能积出固定极限常数的经典分式，在考场上能帮你快速锁定放缩的方向。