你是不是也发现过这个现象两个数和一样时越接近乘起来越大。比如 2 和 8 相加是 10乘积是 165 和 5 相加也是 10乘积却是 25。很多老师会直接告诉你结论——和一定差越小积越大但很少有人把“为什么”讲透。今天我就把这个命题从多个角度拆开给出完整的证明顺便聊聊它背后的数学思维以及在实际问题中的妙用。这篇内容适合初中高年级以上的学生、备考教师以及想真正理解不等式本质的数学爱好者。1. 问题本身与三种经典证明1.1 先用具体数字感受规律在动手证明之前我习惯先让学生做一组小实验。拿几个和固定的数对出来算一算乘积观察它怎么变化。以和为 10 为例xyxy1992816372146245525642473218216919不用任何公式光看这张表就能看出两块信息。第一乘积在 x 和 y 最接近的时候达到最大。第二这个变化是对称的从两端往中间走乘积单调上升到了正中间再往下掉。把 x 和 xy 的关系画成图是一个开口向下的抛物线最高点正好落在 x 5 的位置。这张表的价值不在于算出几个结果而在于让人产生一个猜测是不是所有和为定值的两数都在相等时乘积最大接下来就是证明的事了。1.2 配方法证明把问题化成熟悉的二次函数最直接、也最适合初中生的证明方法就是配方法。设两个正数为 x 和 y它们的和为固定值 S也就是x y S那么 y S - x。于是乘积可以写成只含 x 的表达式xy x(S - x) Sx - x²这里 S 是常数所以右边是关于 x 的二次函数。为了看清它的最大值我对它配方Sx - x² -(x² - Sx) -(x - S/2)² S²/4因为平方项永远大于等于 0前面又带负号所以当 x S/2 时整个式子取得最大值 S²/4。此时 y S - S/2 S/2两个数相等。配方法的核心逻辑是把“两数乘积”变成“单变量的二次函数”再借助平方非负这个天然性质锁定最值。这个过程不需要额外记忆任何公式只要会配方就能推出来。我看过不少学生直接把结论背下来但遇到“和为 20 时两数乘积最大是多少”这样的题还是会懵原因就是他们没走一遍配方的推导不知道结论从哪来。自己亲手配一次比抄十遍结论都有用。1.3 几何法证明正方形为什么比长方形面积大配方法解决的是代数问题但我觉得更直观、更有画面感的证明来自几何。把两个数 x 和 y 看成矩形的长和宽那么 x y 就是长加宽而乘积 xy 就是矩形面积。现在思考这样一个问题长加宽固定时矩形什么时候面积最大长加宽固定意味着半周长固定。拿一根固定长度的绳子围矩形想让它围出最大面积直觉会告诉你围成正方形。几何证明也很简单分两种情况。先在长为 x、宽为 y 的矩形上把面积平均分一下。以 (xy)/2 为边长画一个正方形可以证明正方形面积 - 矩形面积 ((xy)/2)² - xy (x-y)²/4 ≥ 0这个式子说明当 x 和 y 的差越大正方形与矩形之间的面积差就越大当 x 和 y 相等时差为 0矩形就变成了正方形面积达到最大值。几何法的好处是能把抽象的代数式变成可见的形状。我在实际教学中发现用图形来讲这个定理学生记住的不只是结论而是“正方形面积最大”这张画面印象深得多。后面学均值不等式时这张图还能继续发挥作用。1.4 代数法证明从判别式入手换个视角还有一种证明思路在高中阶段很讨喜就是借助二次方程的判别式。假设 x 和 y 是某个一元二次方程的两个根。已知 x y S设 xy P。根据韦达定理x 和 y 可以作为方程t² - St P 0的两个根。既然是实数根判别式必须大于等于 0Δ S² - 4P ≥ 0于是得到P ≤ S²/4也就是说 xy 的最大值是 S²/4。等号成立时 Δ 0方程有两个相等的实根即 x y S/2。判别式法的妙处在于它把“乘积是否有上界”等价成了“一元二次方程是否有实根”完全是同一个问题的另一种语言。这几种证明方法虽然路径不同但最终都指向同一个事实和固定时相等使乘积最大。我个人的看法是这几种方法不需要全都掌握但至少挑一种彻底搞懂其他几种作为开拓眼界。2. 差越小积越大的本质均值与偏差的博弈2.1 把结论改写成一个万能恒等式根据 1.2 的推导其实我们已经摸到了本质只是还可以把它表达得更清楚。从xy S²/4 - (x - y)²/4这个恒等式可以看出xy 由两部分构成第一部分是固定不变的 S²/4第二部分是随 x、y 变化的 “惩罚项” (x-y)²/4。平方项非负所以乘积一定被 S²/4 从上方压住x 和 y 差得越远被扣掉的就越多乘积就越小。这个恒等式特别适合用来回答那个高频问题“为什么不能把 1 和 9 拆成 10再让它们相乘得到更大”因为 1 和 9 相对于均衡点 5 的偏差太大了。1 比 5 少 49 比 5 多 4一偏差就带来一个 16除以 4 之后要扣掉 4。25 减去 4正好是 21也就是 7 和 3 那组数据的乘积不对7 和 3 的偏差是 4扣掉 425-421正是 7×3。2 和 8 偏差是 6平方 36除以 4 等于 925-916正好是 2×8。这个视角下问题从“为什么相等时最大”变成了“偏差项怎么惩罚乘积”思路完全不同但结论一致。2.2 从平均值角度看偏离平均就是对乘积的损耗如果把 x 和 y 的均值记为 m S/2那么 x m dy m - d其中 d 可以看成两个数偏离均值的幅度。两个数的乘积xy (m d)(m - d) m² - d²这个形式最直观。乘积等于均值平方减去偏离平方。均值和固定就是 m 固定此时想让乘积最大化只能让 d 取 0。这里可以打个比方两个数就像两个人在合力搬一块石头配合越默契、步调越一致效率越高一个走太快一个走太慢力量互相抵消总体效果就打了折扣。“差越小积越大”这句话的本质就是在说“内耗”越小整体效益越高。从统计学的角度这还可以联系到方差。两数的“差”本质上是它们离散程度的一种表现d² 和方差只差一个常数倍数。乘积最大对应离散度最小也就是两个数完全集中于均值处——这和方差为 0 是同一个意思。2.3 和均值不等式的关系它是 AM-GM 的前奏高中数学里有一个大名鼎鼎的均值不等式AM-GM 不等式√(xy) ≤ (x y)/2两边平方就能直接得到 xy ≤ ((x y)/2)²。也就是说“差越小积越大”本质上是均值不等式在 n2 时的直接体现。反过来如果你先理解了“和固定时积最大”再记住均值不等式就有一个直观的底子。不仅如此这个结论还是柯西不等式、琴生不等式等一大堆不等式工具的“入门砖”。我经常跟学生说均值不等式不是一个需要死记的公式它的几何意义就是“固定周长下正方形面积最大”和“固定长加宽下矩形面积最大”。一旦建立起这种图像感后面不管遇到多复杂的不等式问题都不会慌。所以“总和一样差越小积越大”不是孤立的知识点它是整个不等式知识网络里最关键的一个节点。3. 实际应用从数学题到生活决策3.1 围栏问题周长固定时怎样围面积最大这是一个经典的、也是最常考的应用题。假设你有一根 100 米长的栅栏要围一个矩形羊圈问长和宽各是多少时面积最大。设长为 x宽为 y则 2x 2y 100即 x y 50。面积是 xy直接套用结论x 和 y 越接近面积越大。所以 x y 25围成一个 25 米乘 25 米的正方形最大面积是 625 平方米。这道题的“陷阱版”是如果有一面墙可以利用栅栏只围三面那长宽比就不再是 1:1 了。设墙对面的边为 x两条宽为 y则 x 2y 100面积是 xy。这时候核心变量变成了 x 和 2y令它们尽量接近即 x 2y 50可以得到 x 50y 25最大面积是 1250 平方米。这个变体经常把死记结论的学生考倒因为“和固定”的对象变了必须重新配对。这类问题在生产生活中很常见不只是栅栏还有纸箱裁切、房间隔断、装修材料分配等场景。3.2 定价与收益商品价格和销量的平衡如果一件商品的利润是 x销量是 y总收入是 xy。通常提高利润会降低销量降低利润会提升销量二者之间存在一个此消彼长的关系。如果能把 x 和 y 的关系近似为线性并且它们的和在一定范围内接近固定那么总收入最大时往往就出现在利润和销量比较均衡的点上。举个例子假设某件商品单价每提高 1 元月销量就下降 10 件。原价 20 元时月销 200 件。设提价次数为 t则单价为 20 t销量为 200 - 10t总收入为 (20 t)(200 - 10t) 10(20 t)(20 - t)。这里 20 t 和 20 - t 的和固定为 40所以它们相等时乘积最大也就是 20 t 20 - t解得 t 0。这让很多人意外按这个模型原价就是最优定价别急这个结果只能说明模型太理想化了。实际问题里成本、市场、竞争都会让 x 和 y 的关系变得复杂但“均衡点往往在边际收益相等的地方”这个思路本质上就是“使某两个量尽量接近”的思想。所以这个数学结论在经济学里也有影子很多最优定价模型的背后都藏着“让两个对立变量尽量平衡”的哲学。3.3 数学竞赛里的常见变形与陷阱竞赛题不会直接出“和固定求最大积”而是给一个拐了弯的条件。我举两个最常考的变形。第一种条件形如“x 2y 10求 xy 的最大值”。这时不要直接套原始结论而要把 2y 看成一个整体。设 u xv 2y则 u v 10且 uv x·2y 2xy。所以 uv 最大时xy 也最大。当 u v 5 时uv 取最大值 25此时 x 5y 2.5xy 12.5。第二种条件形如“x y 10求 x² y² 的最小值”。这不是积最大但思路一脉相承。因为 x² y² (xy)² - 2xyxy 最大时x² y² 就最小。于是当 x y 5 时x² y² 取最小值 50。很多学生看到变形就慌其实解题时只要先识别题目里哪两个量的和是固定的再判断目标量和它们乘积的关系就能“翻译”成熟悉的问题。4. 易错点与常见误区4.1 误区一乱用结论忽略“和固定”这个结论成立的前提是“和固定”。如果两个数没有任何约束乘积显然可以无限大。我见过不少学生把“差越小积越大”记成本能反应碰上“3 和 8 与 4 和 9”这类比较题时直接说 4 和 9 乘积大理由是更接近这当然是错的。判断这类问题必须先看两组的和是否一致。3 和 8 的和是 11乘积 244 和 9 的和是 13乘积 36。和不同结论无从谈起。正确思路应该是先算和再比较或者说只有在同一个约束条件下才谈得上最优。这暴露了一个思维习惯问题数学结论往往有严苛的前提条件。记结论时如果把前提丢了等于拿到一把没有刀柄的刀不但不好用还容易伤手。4.2 误区二忽略“正数”条件上文所有证明都默认 x 和 y 是正数至少是非负实数。如果允许负数结论会变。比如 x 10y -5和是 5乘积是 -50x 8y -3和也是 5乘积是 -24。这种情况下两个数一个取极大正数一个取接近 0 的负数乘积反而能更大。所以在表述这个问题时严谨的说法是“两个正数和固定则它们相等时乘积最大”。少数教材里还会用“非负”来代替“正数”因为允许 0 时结论依然成立只是最大值可能退化成 0。我在讲这部分时总会额外提醒一句如果题目里没有明确说正数千万别默认是正数。数域不清晰直接套结论大概率会中出题人的埋伏。4.3 误区三把“相等时最大”理解成“相等时唯一最大”x 和 y 相等时乘积最大这没问题。但“相等”不是唯一的“接近方式”。比如和为 10 时x 4.9y 5.1 和 x 4.8y 5.2二者都不相等但前者乘积更大。这里的核心变量是“差”不是“是否相等”。差越接近 0乘积越接近最大值这是一个连续的、平滑的变化不是到某个点才突然触发。这个误区在学习均值不等式时会被放大。很多学生以为“等号成立”只是一个“取等”的操作忽略了不等式两边差距本身就是偏差的函数。理解了这个才会明白为什么逼近等号的过程也有意义比如在近似计算里我们就经常利用这一点做误差估计。4.4 误区四在“正整数”条件下照搬结论如果限定 x 和 y 必须为正整数那么“差越小积越大”依然成立但要注意最优点可能不是一个点而是一段区间。比如和为 11整数解里最接近的是 5 和 6乘积 30取最大值。但如果和是 10最优点是 5 和 5只有一个。如果题目变成“把正整数 n 拆成若干正整数的和使乘积最大”这个问题就复杂多了但有趣的是它仍然和“差越小积越大”有关尽量让拆出来的数接近相等比如 3 和 3 就比 2 和 4 更优。这个问题的最佳策略是尽量拆出 3而不是拆成全是 2原因在于 3×3 2×2×2也就是 3 的“效率”比 2 高。这个题在信息学竞赛里很经典本质上是把“均衡”和“高性价比数字”两个原则结合。5. 延伸与拓展从两个数到多个数5.1 三个数的情况和固定三个数相等时乘积最大两个数的结论能不能推广到三个数能。结论是如果 x y z S且 x、y、z 都是正数那么当 x y z S/3 时乘积 xyz 取得最大值 (S/3)³。这个结论可以直观理解但严格证明并不简单。一种朴素的想法是如果三个数中有两个不相等比如 x y那么保持 x y 不变把 x 和 y 往彼此方向拉近一点它们的乘积会变大同时 z 不变于是总体乘积变大。经过有限次“拉近”三个数最终会变得全部相等。这个思路叫“逐步调整法”在不等式证明里非常常用。比如和为 12 时2×4×6 483×3×6 54而 4×4×4 64确实越来越接近最大值。这个数值对比能直观感受到多变量情况下“均衡”依然重要。5.2 n 个数的情况与 AM-GM 不等式对于 n 个正数结论是如果 x₁ x₂ ... xₙ S那么当所有 xᵢ S/n 时乘积最大。这就是一般形式的均值不等式AM-GM的一个直接推论(x₁x₂...xₙ)^(1/n) ≤ (x₁ x₂ ... xₙ)/n左边是几何平均值右边是算术平均值。n 个数和固定时几何平均值被算术平均值压住而算术平均值是固定的所以几何平均值有上界乘积也因此有上界。这个结论的应用非常广从信息论到几何再到物理里的最优化问题到处都有它的影子。比如在通信领域给定总功率分配给多个信道要使总传输速率最大通常就涉及“让每个信道功率尽量平均”的思路因为对数函数模型下均衡分配能最大化总速率。5.3 一道思考题拆分 20乘积最大最后留一道很有意思的思考题把正整数 20 拆成若干个正整数的和个数不限怎样拆能使这些数的乘积最大如果允许拆成两个数答案是 10 和 10。但如果允许拆成更多个情况就变化了。试几个例子2×2×2×2×2×2×2×28 个 2 256而 3×3×3×3×3×36 个 3 729差了一倍多。所以拆法并不是越接近“两个相等”就越好而是要在“拆的个数”和“每个数大小”之间再做一次博弈。标准答案是尽量拆出 3余数用 2 补齐。比如 20 3333332乘积是 3⁶×2 1458。为什么是 3 而不是别的数因为当和为固定值 e 时乘积最大出现在每个数为 e约 2.718附近而离它最近的正整数是 3。这个结论对一个数是正数、个数不固定的问题时极其有用也是“均衡”思想在更复杂情形下的一次精彩展示。我个人做这类题的经验是遇到最值问题不要急着套公式先问自己三个问题哪些变量可以变哪些约束是固定的目标函数对“均衡”的偏好是强还是弱想清楚这三件事大部分最值问题都能找到一条清晰的解决路径。“总和一样差越小积越大”这句话虽然简单但它是通向均值不等式、最优化思想和均衡思维的一扇门。无论是解数学题还是分析生活中的资源分配问题这个原理都能帮你快速抓住要害。希望这篇拆解能让你真正理解它而不是只记住一个结论。