DMM不等式证明：先检查等号能否成立，再选择放缩方向

杜克数学大会（DMM）的Power Round以团队数学证明与推理为特点。根据2026年10月14日发布的赛事汇总信息，该轮次时长为60分钟，要求学生在有限时间内完成复杂的数学论证。对于许多具备AMC基础的学生而言，最大的痛点往往不是缺乏不等式技巧的知识储备，而是不知道在面对一道陌生题目时，如何从众多可能的放缩路径中做出最优选择。

常见的错误策略是“试错法”：学生依次尝试算术-几何平均不等式（AM-GM）、柯西-施瓦茨不等式（Cauchy-Schwarz）或詹森不等式（Jensen’s Inequality），直到某个组合碰巧得出结果。这种方法在时间充裕的个人赛中或许有效，但在强调协作效率的限时团队证明中极易导致团队陷入僵局。更高效的策略是“逆向验证法”：首先确定不等式取等号的条件，以此反推最简证明路径。

为什么“等号成立条件”是不等式证明的导航仪

对于目标为最佳常数或可取等的不等式证明，核心逻辑链条通常需要能够解释“何时取等”。如果我们在证明过程中使用的每一个中间步骤都无法同时满足取等条件，那么最终的结论可能被弱化，甚至无法在目标点复原等号。例如，若目标不等式在 $a=b=c=1$ 时取等，但你在第一步使用了仅在 $a\to 0$ 时紧致的放缩，后续无论怎么调整其他变量，都无法恢复原式的紧致性。

因此，在动笔之前，花两分钟分析题目中的对称性或边界情况，找出潜在的极值点，比直接套用公式更有价值。这一过程能帮助我们排除那些“方向错误”的放缩手段，确保每一步推导都在向正确的终点收敛。

第一步：快速定位可能的极值点（对称性分析）

大多数竞赛级不等式具有某种对称性。假设我们要证明关于变量 $x,y,z$ 的不等式，且表达式在轮换置换下保持不变。通常，极值点出现在 $x=y=z$ 处。然而，并非所有题目都如此简单。有些题目的约束条件是非对称的，或者极值点位于定义域的边界（如某个变量趋于0或无穷大）。

在DMM的团队讨论中，一种有效做法是安排一名队员专门“探路”：代入特殊值。例如，令 $x=1,y=1,z=1$ 检查是否取等；再令 $x=1,y=1,z\to 0$ 观察不等式两边的变化趋势。如果两边在边界处也相等，说明可能存在多组解或非唯一极值点，这提示我们需要使用分段讨论或更精细的局部线性化方法，而非全局凸性论证。

第二步：根据极值点选择放缩工具

一旦确定了极值点的位置，就可以据此选择更匹配的放缩工具：

• AM-GM不等式：适用于极值点在变量相等处的情况。如果目标是证明 $\sum a_i\ge n\sqrt[n]{\prod a_i}$，且已知 $a_1=\dots =a_n$ 时取等，这是首选。
• 柯西-施瓦茨不等式：适用于涉及平方和或分式和的情况。特别是当极值点对应向量平行时，即 $\frac{x_1}{y_1}=\frac{x_2}{y_2}=\dots$。柯西是下界工具，是否够紧取决于结构是否匹配；若匹配度不足，可能得到低于目标的下界。
• 詹森不等式：适用于函数具有明显凸性或凹性的情况。如果极值点不在对称中心，而在边界，可能需要结合凸函数的性质进行单侧估计。

关键在于“匹配度”。如果题目要求在 $x=1,y=2$ 时取等，而AM-GM默认在 $x=y$ 时取等，直接使用标准AM-GM必然失败。此时应考虑加权AM-GM，或通过换元将非对称点转化为对称点。

第三步：处理非对称情况时的分段讨论策略

当极值点不唯一或位于边界时，单一的全局放缩往往失效。这时需要引入“分段讨论”或“混合放缩”。例如，对于变量 $x$，我们可以将其范围分为 $[0,1]$ 和 $[1,\infty )$ 两部分。在第一部分使用一种放缩，在第二部分使用另一种，最后合并结果。

在DMM Power Round的协作中，这种策略适合分工。两名队员可以分别负责不同区间的证明，另一名队员负责检查连接点的连续性。需要注意的是，分段点的选择必须基于对函数行为的深入理解，随意切割可能导致区间端点处的误差累积超过允许范围。

教学示例：一个二元变量不等式的放缩方向选择

注：以下内容为虚构的教学演示，旨在展示逻辑流程，非DMM官方真题。

假设需证明：对于正实数 $a,b$，若 $a+b=2$，则 $\frac{1}{a^2+1}+\frac{1}{b^2+1}\ge 1$。

1. 检查等号条件：
由对称性猜测极值点在 $a=b=1$。代入验证：左边 $=\frac{1}{2}+\frac{1}{2}=1$，右边 $=1$。等号成立。这提示我们围绕 $a=b=1$ 构建证明。

2. 尝试常规放缩：
若直接使用柯西不等式：$(\frac{1}{a^2+1}+\frac{1}{b^2+1})((a^2+1)+(b^2+1))\ge (1+1{)}^2=4$。
因为 $a+b=2$，所以 $a^2+b^2=(a+b{)}^2-2ab=4-2ab$。
分母之和 $=4-2ab+2=6-2ab$。
于是左边 $\ge \frac{4}{6-2ab}=\frac{2}{3-ab}$。
我们需要证明 $\frac{2}{3-ab}\ge 1$，即 $2\ge 3-ab$，即 $ab\ge 1$。
然而，由 $a+b=2$ 可知 $ab\le 1$（当且仅当 $a=b=1$ 时取等）。这说明该柯西下界在非等号点低于1，不能推出目标结论；不是方向反了，而是这一步放缩过松。

3. 修正策略：切线法：
既然极值点在 $a=1$，考虑函数 $f(x)=\frac{1}{x^2+1}$ 在 $x=1$ 处的切线。
$f^{\prime }(x)=\frac{-2x}{(x^2+1{)}^2}$，故 $f^{\prime }(1)=\frac{-2}{4}=-0.5$。
切线方程为 $y-0.5=-0.5(x-1)\Rightarrow y=1-0.5x$。
验证该切线放缩：
$\frac{1}{x^2+1}-(1-\frac{x}{2})=\frac{2-2(x^2+1)+x(x^2+1)}{2(x^2+1)}=\frac{x^3-2x^2+x}{2(x^2+1)}=\frac{x(x-1{)}^2}{2(x^2+1)}\ge 0$。
因此 $\frac{1}{x^2+1}\ge 1-\frac{x}{2}$ 对正实数 $x$ 恒成立。
同理 $\frac{1}{b^2+1}\ge 1-\frac{b}{2}$。
相加得：左边 $\ge 2-\frac{a+b}{2}=2-\frac{2}{2}=1$。证毕。

这个例子展示了如何通过检查等号点发现常规放缩的不足，并转向更精准的切线放缩。切线法本质上是利用局部线性下界来匹配目标点附近的紧致性。

常见陷阱：过度放缩导致无法取等的识别与修正

在团队解题中，最常见的失误是“为了简化而牺牲精度”。例如，将 $a^2+b^2$ 放缩为 $2ab$ 或 $(a+b{)}^2/2$，却未检查这些放缩是否在目标极值点处同时取等。如果目标不等式本应在某点取等，而你的证明链却推出严格大于目标值，说明中间某步放缩过松，至少无法在该点恢复等号。

识别方法是“回溯检查”：从最后一步往前推，看哪一步引入了不可逆的损失。如果发现某步放缩后，剩余的自由度不足以弥补损失，应立即停止该分支，重新评估初始策略。在DMM Power Round中，及时止损比坚持错误路径更重要。参考DMM证明检查：用边界情形与反例筛掉看似正确的推导一文，可以更系统地学习如何事后排查此类逻辑漏洞。

团队协作中的证明合成

不等式证明往往需要多步衔接。在DMM这样的团队赛制下，个人思路的碎片化整合是关键。一名队员可能找到了合适的换元，另一名队员完成了具体的放缩计算。如何将这两部分无缝拼接成一份逻辑严密的答卷？这需要明确的接口定义。建议在草稿阶段就约定好变量的范围和关键引理，避免后期因符号冲突或前提遗漏导致返工。具体协作技巧可参阅DMM证明题协作：多人解题怎样合成一份逻辑完整的答案。

备赛资源与课程适配建议

DMM Power Round不仅考查数学能力，也考查在压力下的决策效率。对于希望提升不等式证明能力的学生，单纯的刷题可能不够，更需要建立系统的“策略选择树”。翰林在组队咨询与针对性备赛支持方面有相关服务，可结合学生基础与目标赛事提供指导。如果你发现自己在面对新题型时经常犹豫不决，可以先从等号条件入手，练习逆向复盘。更多关于DMM赛事背景及参赛价值的信息，可查看2026 DMM 杜克数学大会为什么值得参加？AMC 后的数学进阶首选。

常见问题

如果找不到明显的对称极值点怎么办？

尝试数值实验。使用计算器或简单脚本遍历变量范围，寻找使不等式两边差值最小的点。这通常能揭示隐藏的极值位置，即使它不在简单的对称点上。

在DMM Power Round中，证明写不完整时怎样自查？

本站无法替代官方评分细则；从证明写作角度，先检查每个引理的前提、变量范围和等号条件是否声明，再检查最后一步是否真的推出了目标不等式。若目标点可取等，还要回看是否有中间放缩破坏了取等可能。

是否需要掌握高等数学知识才能解决DMM不等式？

不一定。虽然微积分工具（如导数、凸性）很有用，但许多问题可通过初等代数技巧（如配方法、基本不等式链）解决。关键在于灵活运用已有工具，而非依赖高深理论。