辅导过不少同学的证明题，我见过一个特别普遍的困惑：公式和定理背得滚瓜烂熟，不等式也抄了满满一页，可一拿到证明题，还是不知道从哪里落笔。这不是记性差，也不是智力问题，而是没搞明白一件事——在证明题里，基本定理和不等式不只是用来背诵的知识点，它们是你在逻辑链条上搭桥、测量、变形的工具。这篇接着系列上一讲，专门拆解证明题里基本定理和不等式的配合打法。
内容适合正在备考数学分析、高等数学或者考研数学的读者，也适合所有想从“套公式”上升到“会推理”的学习者。我尽量把工具的使用场景、易错细节和实战套路都摊开来说，争取你读完能对“拿到证明题应该先想什么”有一个清晰的框架。
1. 先搞清楚：基本定理和不等式在证明题里究竟扮演什么角色
1.1 证明的本质是“搭桥”，而不是“算数”
很多同学拿到证明题的第一反应是“算”。但证明题和计算题在本质上是两回事。计算题是从已知条件出发，通过固定的运算法则，一步步推出确定的结果；证明题则要求你在条件集合与结论集合之间，构造一条合乎逻辑的路径。这条路不唯一，但每一步都必须有依据。
打个比方：计算题相当于导航已经给你规划好了路线，你按路线行驶就行；证明题是只告诉你起点和终点，中间的路要你自己探出来。基本定理和不等式，就是你手里能调用的“桥”。每一座桥都有它的承重标准，也就是定理成立的条件，也有它的跨度，也就是结论形式。你真正要做的是判断：眼前这道题，该选哪座桥、从哪里搭、搭到哪。
据我观察，证明题卡壳的人，多数不是不知道工具，而是不知道工具应该在什么场景下出场。比如看到一个“函数值的差”，有的人用代数恒等变形硬算，算半天算不动；但如果想到微分中值定理，两三行就解决了。差别不在于会不会求导，而在于脑海中有没有“函数差值→中值定理”这条索引。
1.2 不等式是“夹尺”，定理是“变形的钥匙”
在证明题里，不等式和基本定理的分工其实是互补的。不等式的主要作用是给表达式划定上下界。我想说明某个量很小，不一定要精确算出它，只要能证明它夹在两个容易计算的量中间就行，这就是放缩的基本思想。
基本定理的作用则相反，它负责把难以直接处理的对象转成容易处理的对象。中值定理把函数值的差变成导数在某个点上的值；泰勒展开把复杂函数变成多项式加余项；零点定理把“存在某个数”变成“连续函数在区间端点异号”。这些都属于“变形”。
真正漂亮的证明，往往是先用定理把问题变个形，再用不等式把变形后的式子夹住。我有个学生说这是“先换赛道再测速”，我觉得这个说法相当贴切。后面讲到的例题里，你会反复看到这个组合。
2. 不等式工具清单：看到什么结构就想到什么招
2.1 均值不等式：条件最宽松、上线率最高
均值不等式的基本形式是：对任意非负实数 a、b，有 (a+b)/2 ≥ √(ab)，等号当且仅当 a=b。推广到 n 元则是 (a1+a2+...+an)/n ≥ (a1·a2·...·an)^(1/n)，同样在全部元素相等时取等。
它的使用场景非常宽泛：只要式子里出现“和”与“积”，或者出现“倒数求和”，几乎都能先试一下。举一个简单但经典的问题：证明 a/b + b/a ≥ 2，其中 a、b 为正数。把两项看作互为倒数结构，用均值不等式可以一步到位，而且等号条件清晰，a=b 时达到。
但我得提醒三个容易踩的地方，都是我批改练习时反复看到的问题。
第一，非负条件。均值不等式的前提是参与运算的表达式必须非负。比如 a + 1/a 这个式子，如果没有说明 a 的符号，而 a 可能是负数，这时套均值不等式会让不等号方向直接失控。很多学生在负数条件下还写“≥2”，严格说是不成立的。
第二，等号条件要拿来说事。有时候题目问“是否存在最小值”或者“等号何时成立”，你必须回头检查取等条件是否落在可行域内。如果你证明得到 A≥B，但 A 和 B 实际上永远不可能相等，说明你的放缩偏松，结论可能不够精确，这时需要换一个更紧的估计。
第三，别把所有“和积结构”都硬套均值不等式。当题目里同时出现指数、对数、三角函数时，均值不等式往往只能处理其中一小部分，更通用的办法是构造函数求导。为用工具而用工具，反而会把简单问题做复杂。
2.2 柯西不等式：平方和与乘积和的枢纽
柯西不等式最常用的形式是：
(a1²+a2²+...+an²)(b1²+b2²+...+bn²) ≥ (a1b1+a2b2+...+anbn)²
什么时候想到它？当题目里出现多个平方项之和，或者出现两串数乘积再求和的结构，也就是所谓的内积结构时，柯西不等式往往就是切入点。
看一个普通但典型的问题：已知 x、y 都是正实数，且 x+y=1，求 1/x + 1/y 的最小值。用柯西不等式可以这样写：
(x+y)(1/x+1/y) ≥ (1+1)² = 4
因为 x+y=1，所以 1/x+1/y ≥ 4。然后检查取等条件：柯西不等式的取等条件是 x 与 1/x 的比值和 y 与 1/y 的比值一致，整理得 x²=y²，在正数条件下即 x=y=1/2，恰好满足 x+y=1，所以 4 确实是可达的最小值。
这个例子想说明一件事：柯西不等式不是写一个式子就完事，你还得检查取等条件。忽略取等条件，最多只能得到“下界”，得不到“最小值”。事实上，很多学生在这个问题上丢分，不是不会用不等式，而是不检查取等条件。
另外，柯西不等式在积分里也有对应形式，比如 ∫f²dx 与 ∫g²dx 的乘积不小于 ∫fgdx 的平方。如果你在学数学分析，遇到积分不等式时，脑子里要有这个对应关系，会比别人快半步。
2.3 绝对值与三角不等式：估计界线时的常客
绝对值不等式 |a+b| ≤ |a|+|b|，以及反向形式 ||a|-|b|| ≤ |a-b|，在做估计时出现频率极高。它的本质可以理解成“两边之和大于第三边”的数轴版本。
用绝对值不等式最常见的场景有两个。一是拆项估计：把一个整体 |a+b+c| 拆成 |a|+|b|+|c|，然后分别处理每一项，再重新合并。二是做下限估计，这时候必须用反向形式。比如已知 |a|≥3，|b|≤1，想估计 |a-b|，直接用反向三角不等式可得 |a-b|≥||a|-|b|| = |3-1| = 2，非常直观。
有一点要特别提醒：用绝对值不等式放缩时，方向必须和你的目标一致。目标是估计上界，就用 |a+b| ≤ |a|+|b|；目标是估计下界，就不要拿着上界形式拼命凑，应该改用反向形式。这一步错了，后面全盘皆输。
3. 基本定理的正确打开方式
3.1 中值定理：把“函数差值”换成“导数”
微分中值定理里，实用性最强的是拉格朗日中值定理：如果函数 f 在闭区间 [a,b] 上连续、在开区间 (a,b) 内可导，则存在 ξ∈(a,b)，使得 f(b)-f(a)=f'(ξ)(b-a)。
看到一个“函数在两个点上的值之差”，并且需要估计差值大小或符号时，中值定理几乎是首选。为什么？因为它把一个复杂的函数差值，换成了导数在某个未知点 f'(ξ) 乘区间长度，而导数的范围往往比函数本身更容易控制。
经典例子：证明当 x>1 时，ln x < x-1。对 f(t)=ln t 在区间 [1,x] 上应用中值定理，存在 ξ∈(1,x)，使得 ln x = (1/ξ)(x-1)。因为 ξ>1，所以 1/ξ<1，于是 ln x < x-1。整个过程简洁明了，条件、变形、放缩三步走完。
这个例子也带出一个思维习惯：中值定理告诉你“存在”，但不告诉你 ξ 具体在哪。你做证明时，要靠 ξ 的区间范围来放缩。如果只知道 ξ 属于一个特别大的区间，可能放缩不出想要的界限，这时就要考虑其他方法。
使用中值定理，还要留意一个前提：函数在闭区间上必须连续。如果题目条件只给“可导”，没有说明连续，别急着套定理。做题时先把连续性验证写在草稿上，再写应用的依据。
3.2 泰勒展开：用多项式逼近复杂函数
泰勒展开的核心思想是：在某个点附近，一个足够光滑的函数可以用多项式来逼近。常见写法是带拉格朗日余项的泰勒公式：
f(x) = f(x0) + f'(x0)(x-x0) + (f''(x0)/2)(x-x0)² + ... + (f⁽ⁿ⁾(x0)/n!)(x-x0)ⁿ + R_n(x)
当题目出现“二阶可导”“有三阶连续导数”之类的条件时，泰勒展开几乎是必试的方法。因为这些高阶导数信息在别的工具里用不上，而在泰勒展开的余项里可以直接参与估计。
一个非常常见的应用是证明凸函数的不等式。如果 f''(x)≥0 在区间内恒成立，那么函数是凸的，于是对任意 a、b 和 t∈[0,1]，有 f(ta+(1-t)b) ≤ tf(a)+(1-t)f(b)。这个不等式的证明，本质上就是带余项的泰勒展开加上对余项符号的讨论。
泰勒展开使用时有三个细节值得单独说。
第一是展开点的选择，通常选端点、中点，或者选那些让某阶导数为零的特殊点。选对展开点能大幅简化计算，比如证明凸函数不等式时在中点展开往往最方便。
第二是展开阶数，一般以“余项能够被放缩”为准。如果只知道二阶导数有界，展开到一阶加余项就够了；如果条件给出了 n 阶导数的界，就展开到 n-1 阶，把最高阶导数留在余项里直接估计。
第三是余项处理。带拉格朗日余项时，那个 ξ 位于展开点和 x 之间，要充分利用这个范围去放缩余项。我见过不少学生把泰勒公式写得漂亮，却在最后一步忘了处理余项，功亏一篑。
3.3 零点定理与介值定理：存在性证明的入口
存在性证明，比如“证明方程在某个区间内至少有一个根”，通常靠零点定理。零点定理说的是：如果 f 在闭区间 [a,b] 上连续，且 f(a) 与 f(b) 异号，则存在 c∈(a,b)，使得 f(c)=0。
关键操作是构造辅助函数。要证 f(x)=g(x) 有解，就令 H(x)=f(x)-g(x)，然后找两个点使 H 异号。构造方向不是瞎猜，而是把要证的等式整理成“左边减右边=0”，再去寻找能产生异号的两个点。
介值定理更进一步：连续函数在区间两端之间能取到介于 f(a) 和 f(b) 之间的所有值。因此，如果某个中间值落在函数值的范围里，它对应的自变量一定存在。这在证明“存在 x 使得 f(x) 等于某个给定值”的时候尤其好用。
这里有个常见的坑：零点定理需要“连续”，但很多初学的人默认所有函数都连续。遇到分段函数、含参数讨论的函数，先确认连续性再往下走。哪怕只是某个点不连续，也可能让结论整体失效。
另外一个实用细节：如果题目给的区间是开区间，而零点定理要求闭区间，可以在开区间内取两个足够靠近端点的点，把这两点当作闭区间端点再应用定理。这个操作很基础，但写证明时容易漏掉边界说明而被扣分。
4. 不等式证明的三大核心策略与实战演示
4.1 放缩法：守好尺度和节奏
放缩法用一句话说：要证明 A≤B，可以把 A 放大成一个更容易处理的 C，证明 C≤B；也可以把 B 缩小到一个可控的 D，证明 A≤D。
实际做题时，最容易翻车的是放缩的“尺度”。放大是对原量的向上调整，调整之后必须仍然不超过目标 B；缩小是对目标 B 的向下调整，调整之后必须仍然不小于 A。如果调整幅度太大，越过了目标，证明就失败了。
怎么把握尺度？我建议动手前先在草稿上做一个“差距感”的判断：A 和 B 之间大概差多少？你想用的中间量 C 离 A 近，还是离 B 近？通常放缩的步数越少越安全，因为每多一步，就多一次出界的可能。能一步放到位的不分三步。
另一点是放缩的方向意识。很多人写到一半，突然觉得“反正后面要证更小的数，那我把中间量缩小吧”——如果方向与目标矛盾，越写越乱。我自己的习惯是：每一步放缩之后，都在心里检查一遍，新式子到底是原式的上界还是下界，这符合不符合最终目标。这一步自查只需要十秒钟，能省掉大量返工时间。
4.2 构造函数加单调性：最通用的证明引擎
如果说只能掌握一种证明不等式的方法，我会选构造函数加单调性。逻辑很朴素：要证 f(x) ≥ g(x) 在区间上成立，就令 F(x)=f(x)-g(x)，转化为证 F(x)≥0。接下来研究 F 的单调性，找到它的最小值；只要最小值非负，结论就成立。
具体操作时，常见套路是：先算 F(x0)=0，x0 通常是区间端点，再证明 F'(x)≥0 或 F'(x)≤0，从而 F 在区间上单调，于是 F(x) 保持在端点值的一侧。
一道常见小题：证明当 x>0 时，sin x < x。可以令 F(x)=x-sin x，F(0)=0，F'(x)=1-cos x≥0，因此 F 单调不减，结合 F(0)=0 得到 F(x)≥0，也就是 x≥sin x。当然这道题用单位圆或者泰勒展开也能做，但构造函数法最省笔墨。
这个方法也有容易出错的地方。最常见的是“端点值是 0，但导数在区间内变号，最小值不在端点”。如果你只看端点值，没有分析导数的正负变化，就会得出错误结论。做题时先画出 F' 的符号示意图，再下结论。
另一个细节：有时 F 在端点处没有定义，需要取极限。比如要证 ln x < x-1 在 x>0 上成立，F(x)=(x-1)-ln x 在 x→0+ 时趋于正无穷，最小值需要求导找驻点。这时端点分析就变成极限分析，别忘了写极限过程，这是表达严谨性和评分的关键点。
4.3 完整演示：一道题把前面方法串起来
我选一道非常经典的题：证明当 x>0 时，x/(1+x) < ln(1+x) < x。这道题的妙处在于，左右两边不等式分别展示了不同策略，而且两种标准方法都适用。
先证左边。令 F(x)=ln(1+x)-x/(1+x)。注意到 F(0)=0，计算导数：
F'(x) = 1/(1+x) - 1/(1+x)² = x/(1+x)²
当 x>0 时，F'(x)>0，所以 F 单调递增，F(x)>F(0)=0，于是 ln(1+x)>x/(1+x)。左边得证。
再证右边。令 G(x)=x-ln(1+x)，G(0)=0，G'(x)=1-1/(1+x)=x/(1+x)>0，所以 G 单调递增，G(x)>G(0)=0，于是 ln(1+x)<x。右边得证。
如果换用中值定理，也能得到同样的结论：对 ln(1+x) 在 [0,x] 上应用中值定理，存在 ξ∈(0,x)，使 ln(1+x)=x/(1+ξ)。因为 0<ξ<x，所以 x/(1+x)<x/(1+ξ)<x，直接得到两边不等式。
这道题值得复盘三个点。第一，两种方法的本质是一致的，都在利用导数或导数值的符号，只是呈现形式不同。第二，边界细节很关键。如果原题写成 x≥0，那不等号要改成“≥”并在 x=0 处说明等号成立，或者保持严格不等号但只对 x>0 成立。别小看这一个符号，严格性和评分都会看。第三，构造的 F 和 G 都满足“端点值为零加导数恒正”这种模式，这是非常高频的构造模板。你把这个模式吃透，很多对数、指数、三角混合不等式都能用同一个思路解决。
5. 证明题最常翻车的三个细节
5.1 不等号方向反了，往往出在符号问题上
套用不等式时方向反了，是我批练习时最常看到的问题。排查下来，多数不是“不会”，而是符号处理不细心。比如要证 ac≤bd，前提是各量非负；如果 c 或 d 是负数，很可能会出现“负负得正”让不等号反向的情况。
另一个常见场景是绝对值不等式。有人用 |a+b| ≤ |a|+|b| 去估计下界，方向完全错了。正确做法是，估计下界用反向三角不等式。我建议每个学生把“上界用三角，下界用反向三角”这十个字写在自己的工具页上，考前翻一遍。
5.2 放缩放过头，或者缩过了头
放缩法失败的典型画面是：写了一大串不等式，最后发现中间量比目标还大，或者比目标还小，等于白证。根源是对目标数值没有预期，一个劲儿往后写。
我的自检方法是“数轴法”：每次放缩后，都新写一行，明确标注当前式子是原式的上界还是下界，以及它和目标的相对位置。如果发现当前量已经越过目标位置，立刻回溯上一步，调整放缩幅度。这比盯着符号猜要靠谱得多，也更容易定位是哪一步出了问题。
5.3 定理成立的条件，一条都不能漏
中值定理要求闭区间连续、开区间可导；零点定理要求闭区间连续、端点异号；均值不等式要求非负；柯西不等式的取等条件有精确公式。定理的条件不是装饰品，每一条都可能被反例击穿。
我记得带学生做一道中值定理练习时，函数在端点处恰好无定义，有同学直接套定理写“存在 ξ...”。问他依据，他理直气壮说“题目写着可导呀”。可导只保证开区间内可导，闭区间连续性还得单独验证。这种细节丢分，实在可惜。
建议养成一个习惯：每用一个定理，先写“由...定理，因为...满足...条件，所以...”。把条件检查写进证明流程，而不是只在心里过一遍。这个好习惯不仅能减少低级失误，还能让阅卷者一眼看到你的逻辑闭环。
6. 手感怎么练出来：一点个人经验
6.1 三遍练习法：从工具场景到复盘改进
我见过不少数学底子不错的同学，证明题还是经常卡壳。原因在于，证明是输出型技能，不是输入型技能。听课、看书是输入，练题、写证明是输出。后者需要刻意训练，而且方法要对。
具体来说，我推荐“三遍练习法”。第一遍，不看任何解答，自己独立做；卡住了可以看提示，但只允许看“该用哪一类方法”，不许看具体步骤。第二遍，合上提示，完整重写一遍，要求每步都有依据、逻辑闭环。第三遍，隔一天再做一遍，重点检验自己是否还记得思路，同时总结这道题的“题眼”在哪——是结构提示了均值不等式，还是条件中的高阶导数提示了泰勒展开。
这三遍的核心不是重复刷题量，而是把“识别工具”练成条件反射。你看到“平方和加乘积和”就想到柯西不等式，看到“函数值差”就想到中值定理，看到“二阶可导”就想到泰勒展开。当这些联想变成肌肉记忆，证明题的起手式自然就有了，不会对着题目发呆。
6.2 一个治“卡壳”的草稿习惯
最后再分享一个我用得最顺手的草稿习惯：把草稿纸分成两栏，左边写题目条件，右边写要证的结论，中间留一条通道。做题时从两端往中间凑，条件能推出的信息写在左边栏底部，结论需要的前置形式写在右边栏底部，两边一旦碰到一起，证明就走通了。
这个方法对“不知道从哪下手”特别有效。因为多数证明题卡住的原因，不是推理能力不够，而是没有把两端拉近。两栏法强迫你同时关注“我有什么”和“我要什么”，而不是埋头从条件一路硬推到底，推到死角才发现走错了方向。
我自己在备考阶段靠这个方法解决过不少让人头秃的证明题，后来带学生复习也反复推荐。它不需要额外的数学知识，只要一支笔、一张纸，但对思路整理的效果，比盲目多刷十道题来得更明显。
题做到这个份上，我最深的体会是：基本定理和不等式不是两个孤立的考点，而是一套可以组合的推理语言。第一次接触的人觉得它是门槛，练熟了之后，你会发现自己拿到题的第一秒就能判断该走哪条路，中间需要几个不等式，最后落在什么定理上。这种判断力，才是证明题真正想训练的能力。
