泰勒公式证明不等式
一、核心本质
泰勒公式：复杂函数→多项式逼近+拉格朗日余项控误差
证明不等式关键：利用高阶导数的正负符号（放缩余项定方向）、有界上限（绝对值夹逼估范围）。
二、六大核心应用场景（整合归类）
场景1：凹凸性 + Jensen不等式（两点/多点均值）
-
特征：已知 (f’'(x)) 恒正/恒负，证函数平均值与中点函数值大小
-
规律：
(f’‘(x)>0)（凸）：(f(\frac{x_1+x_2}{2})<\frac{f(x_1)+f(x_2)}{2})
(f’'(x)<0)（凹）：(f(\frac{x_1+x_2}{2})>\frac{f(x_1)+f(x_2)}{2}) -
延伸：可证算术-几何均值不等式（依托(\ln x)凹函数性质）
场景2：麦克劳林展开（0点邻域初等函数不等式）
-
特征：证(x>0)时，(e^x、\sin x、\ln(1+x))与多项式的大小关系
-
核心操作：0点展开，靠余项正负定不等式方向
-
经典结论：
(ex>1+x+\frac{x2}{2})；(\sin x>x-\frac{x3}{6})；(\ln(1+x)>x-\frac{x2}{2})
场景3：函数/导数有界性估计（区间夹逼）
-
特征：已知(|f(x)|\le a、|f’'(x)|\le b)，证(|f’©|)或函数最值范围
-
固定套路：
① 在目标点(c)一阶泰勒展开；② 代入区间端点列两式；③ 作差消元、绝对值放缩 -
经典题型：([0,1])上二阶可导，推导(|f’©|\le 2a+\frac{b}{2})
场景4：中值型二阶导数下界证明
-
特征：端点导数为0（(f’(a)=f’(b)=0)），证存在(\xi)，(|f’'(\xi)|\ge定值)
-
固定套路：选中点展开→代入端点作差→利用最值+介值定理放缩
-
经典题型：推导(|f’'(\xi)|\ge\frac{4}{(b-a)^2}|f(b)-f(a)|)
场景5：多元函数不等式（降维简化）
-
特征：多变量均值类不等式
-
操作：固定其余变量，单变量构造凹/凸函数（常用(\ln x)），用Jensen性质推导
场景6：极限邻域无穷小不等式
-
特征：(x\to0)时比较无穷小阶数、证局部大小关系
-
操作：展开到对应精度，靠余项符号判断高低阶与不等关系
三、通用万能解题步骤（全场景通用）
-
选展开点：含中点选中点；估导数选目标点；端点条件优先端点/中点
-
定展开阶数：绝大多数不等式，用**一阶泰勒（带二阶导数余项）**足够
-
代特殊点：代入区间端点、极值点，建立方程组
-
余项放缩：看(f’‘)正负定不等方向；看(|f’'|)上限做绝对值夹逼
-
整理结论：加减消元，凑出题目要求的不等式形式
四、速记总结
-
见二阶导数符号→凹凸放缩；见二阶导数有界→夹逼估范围
-
0点附近函数不等式→无脑麦克劳林展开
-
中值、端点导0题型→中点展开+两式作差是标配
-
所有泰勒证不等式，核心都是：多项式简化+余项控误差
这三道题都是考研数学一中**泰勒公式（特别是带拉格朗日余项的泰勒公式）**的经典应用。
泰勒公式在证明题中的核心核心思想是：在关键点（如区间端点、中点、极值点）展开，建立函数值与导数值之间的联系。
下面我逐题拆解，带你看懂背后的逻辑。
题目 16：凸函数不等式（$f’'(x)>0$）
题目：设 $f(x)$ 在 $(a,b)$ 内二阶可导，且 $f’'(x) > 0$。证明对任意 $x_1, x_2$，有 $\frac{1}{2}[f(x_1)+f(x_2)] > f\left(\frac{x_1+x_2}{2}\right)$。
分析：条件 $f’'(x)>0$ 说明函数是凹函数（曲线向上凹）。几何直观上，弦在曲线上方，所以中点的函数值平均值小于函数的平均值。
核心操作：选中点 $x_0 = \frac{x_1+x_2}{2}$ 作为展开点。
证明步骤：
-
设中点并展开：令 $x_0 = \frac{x_1+x_2}{2}$。将 $f(x)$ 在 $x_0$ 处做一阶泰勒展开（带拉格朗日余项）：
$$f(x) = f(x_0) + f’(x_0)(x-x_0) + \frac{f’'(\xi)}{2!}(x-x_0)^2$$
其中 $\xi$ 介于 $x$ 与 $x_0$ 之间。 -
利用二阶导数条件：因为 $f’‘(x) > 0$，所以余项 $\frac{f’‘(\xi)}{2!}(x-x_0)^2 \ge 0$。由此得到一个重要的放缩不等式：
$$f(x) \ge f(x_0) + f’(x_0)(x-x_0)$$
(注意：这是泰勒公式在证明中最常用的技巧，利用高阶导数符号舍去余项或保留余项) -
代入两点求值：将 $x_1$ 和 $x_2$ 分别代入上式：
$$f(x_1) \ge f(x_0) + f’(x_0)(x_1-x_0)$$
$$f(x_2) \ge f(x_0) + f’(x_0)(x_2-x_0)$$ -
两式相加：
$$f(x_1) + f(x_2) \ge 2f(x_0) + f’(x_0)[(x_1-x_0)+(x_2-x_0)]$$
观察括号内：$(x_1-x_0)+(x_2-x_0) = (x_1+x_2) - 2x_0 = 0$。所以：
$$f(x_1) + f(x_2) \ge 2f\left(\frac{x_1+x_2}{2}\right)$$
即证得：
$$\frac{1}{2}[f(x_1)+f(x_2)] > f\left(\frac{x_1+x_2}{2}\right)$$
题目 17：中值定理最值问题（带绝对值）
题目：设 $f(x)$ 在 $[a,b]$ 上有连续二阶导数，且 $f’(a)=f’(b)=0$。证明存在 $\xi$，使得 $|f’'(\xi)| \ge \frac{4}{(b-a)^2}|f(b)-f(a)|$。
分析：这题典型特征：端点导数值为0，二阶导数，证明差值的下界。
核心操作：在端点 $a, b$ 处展开，或者在区间内某点展开。通常做法是选区间中点 $c = \frac{a+b}{2}$，或者直接对 $f(a), f(b)$ 在中点展开。这里我们选择在中点 $c$ 展开，因为涉及到 $a, b$ 到中点的距离对称。
证明步骤：
-
设定中点：令 $c = \frac{a+b}{2}$。
-
在中点 $c$ 展开：对 $f(x)$ 在 $c$ 点做一阶泰勒展开：
$$f(x) = f© + f’©(x-c) + \frac{f’'(\eta)}{2!}(x-c)^2$$
（$\eta$ 在 $x$ 与 $c$ 之间） -
分别代入 $x=b$ 和 $x=a$：
- 代入 $x=b$：
$$f(b) = f© + f’©(b-c) + \frac{f’'(\eta_1)}{2}(b-c)^2$$ - 代入 $x=a$：
$$f(a) = f© + f’©(a-c) + \frac{f’'(\eta_2)}{2}(a-c)^2$$
- 代入 $x=b$：
-
两式相减：
$$f(b) - f(a) = f’©(b-c - a + c) + \frac{1}{2}[f’‘(\eta_1)(b-c)^2 + f’‘(\eta_2)(a-c)^2]$$
化简第一项：因为 $b-c = \frac{b-a}{2}$, $a-c = -\frac{b-a}{2}$，所以 $b-c - a + c = 0$。代入距离数值：
$$f(b) - f(a) = \frac{(b-a)^2}{8} [f’‘(\eta_1) + f’'(\eta_2)]$$ -
利用最值与介值定理：设 $M = \max{|f’‘(\eta_1)|, |f’‘(\eta_2)|}$。则 $|f’‘(\eta_1) + f’‘(\eta_2)| \le |f’‘(\eta_1)| + |f’‘(\eta_2)| \le 2M$。对上式取绝对值：
$$|f(b) - f(a)| \le \frac{(b-a)^2}{8} \cdot 2M = \frac{(b-a)^2}{4} M$$
即：
$$M \ge \frac{4}{(b-a)^2}|f(b)-f(a)|$$
因为 $M$ 是 $f’‘$ 在两点最大值，必然存在 $\xi$（即 $\eta_1$ 或 $\eta_2$ 中的一个）使得 $|f’'(\xi)| = M$。得证。
题目 18：导数值估计（区间内任意点 $c$）
题目：设 $f(x)$ 在 $[0,1]$ 上二阶可导，$|f(x)| \le a$, $|f’'(x)| \le b$。$c \in (0,1)$，证明 $|f’©| \le 2a + \frac{b}{2}$。
分析：目标是求 $|f’©|$ 的范围。已知 $f(x)$ 的范围和 $f’'(x)$ 的范围。
核心操作：必须在点 $c$ 处展开，利用区间端点 $0, 1$ 作为辅助点建立方程。
证明步骤：
-
在 $c$ 点展开：将 $f(x)$ 在任意点 $c$ 处做一阶泰勒展开（带拉格朗日余项）：
$$f(x) = f© + f’©(x-c) + \frac{f’'(\xi)}{2!}(x-c)^2$$
这里 $x$ 可以取区间内的其他点。 -
代入端点值：
- 令 $x=1$：
$$f(1) = f© + f’©(1-c) + \frac{f’'(\xi_1)}{2}(1-c)^2 \quad (\xi_1 \in (c, 1))$$ - 令 $x=0$：
$$f(0) = f© + f’©(-c) + \frac{f’'(\xi_2)}{2}©^2 \quad (\xi_2 \in (0, c))$$
- 令 $x=1$：
-
两式相减消去 $f©$：
$$f(1) - f(0) = f’©[(1-c) - (-c)] + \frac{1}{2}[f’‘(\xi_1)(1-c)^2 - f’‘(\xi_2)c^2]$$
化简 $f’©$ 的系数：$(1-c) + c = 1$。所以：
$$f’© = [f(1) - f(0)] - \frac{1}{2}[f’‘(\xi_1)(1-c)^2 - f’'(\xi_2)c^2]$$ -
放缩求绝对值：对等式两边取绝对值，利用三角不等式 $|A-B| \le |A| + |B|$：
$$|f’©| \le |f(1)| + |f(0)| + \frac{1}{2}\left[ |f’‘(\xi_1)|(1-c)^2 + |f’'(\xi_2)|c^2 \right]$$ -
代入已知条件：
- 由 $|f(x)| \le a$ 得：$|f(1)| + |f(0)| \le a + a = 2a$。
- 由 $|f’‘(x)| \le b$ 得：$|f’‘(\xi_1)|, |f’'(\xi_2)| \le b$。代入得：
$$|f’©| \le 2a + \frac{b}{2} [ (1-c)^2 + c^2 ]$$
-
最终化简：因为 $c \in (0,1)$，二次函数 $(1-c)^2 + c^2$ 的最大值在端点取得，为 $1$（当 $c=0$ 或 $c=1$ 时）。虽然中间值会小一些，但题目要证的是上界 $2a + \frac{b}{2}$，直接利用 $(1-c)^2 + c^2 \le 1$ 即可：
$$|f’©| \le 2a + \frac{b}{2} \cdot 1 = 2a + \frac{b}{2}$$
得证。
💡 总结：泰勒公式证明题的“万能套路”
-
看条件：看到 $f’'(x)$ 存在符号（$>0$ 或 $<0$），首选泰勒公式放缩。
-
选展开点：
- 看到中点 $\frac{a+b}{2}$ $\to$ 在中点展开。
- 看到端点导数为0（如 $f’(a)=0$）$\to$ 在端点或中点展开。
- 目标是 $f’©$ $\to$ 必须在 $c$ 点展开。
-
写公式：通常写 一阶泰勒公式（$n=1$），因为二阶导数条件已经给了，余项里包含 $f’'$。
-
做代入：把区间的端点 $a, b$ 代入展开式。
-
做运算：两式相加、相减，利用 $f’'$ 的符号进行放缩（舍去余项或保留余项），最后凑出结论。