前几天辅导一个初三的孩子题目很简单x和y加起来等于10问xy最大能到多少。他思路很快先试了1和9又试了2和8再试3和7发现乘积从9涨到16又涨到21马上猜到4和6应该更大最后试出5×525。答案对了但我问他为什么一定是5和5他沉默了半天说“因为越接近越大吧”。这个“越接近越大”就是很多人挂在嘴边的“总和一样差越小积越大”。这个结论听起来太像一句口诀了以至于很多人真的只会背口诀。真到要证明、要解释、要拿去解题变形时往往说不上来。我写这篇东西就是想把这个原理从头到尾拆开先看它到底在说什么再用几种不同的方式证明它最后聊聊这个原理在函数、不等式、几何和最值问题里是怎么露脸的以及几个我实际教学中踩过的坑。适合正在学二次函数最值的初中生、准备把均值不等式用熟练的高中生还有需要给娃讲题的家长。1. 一个问题和一个规律先看清楚它在说什么1.1 从一份固定大小的蛋糕说起假设你手里有一块总长度为10的东西要把它切成两段一段叫a另一段叫b所以ab10。现在要比较a和b的乘积ab。我把能想到的整数拆分方案列出来马上就能看出规律拆分方案两数之差乘积1和9892和86163和74214和62245和5025观察这个表非常直观两数的差距从8一路缩到0乘积从9一路涨到25。所以人很容易形成一种印象——差越小积越大当差是0也就是两个数相等时乘积达到最大。但注意一个关键点这张表只验证了整数情况而且只验证了有限的五组数。凭什么说a3.7、b6.3的时候乘积一定比24小凭什么说差为1.8时乘积就一定夹在24和25之间这需要证明不能靠感觉。这也是我给那位初三孩子补课时觉得最值得展开的地方很多孩子可以“猜”到答案但没法“证明”答案而数学里猜和证明之间差着一条很深的河。1.2 用数学语言锁死“差越小积越大”要证明就得先把话说明白。标题里“总和一样”的意思是ab是一个固定的常数记为S。“差越小”的意思是|a-b|越小注意这里必须带绝对值因为a-b可能正可能负。“积越大”的意思是在满足abS的前提下ab的值会随着|a-b|的减小而增大。所以这个命题更准确的形式是已知abS为定值那么ab (S² − (a−b)²)/4。这个式子一出来结论几乎是白送的——S是常数S²当然也是常数ab的大小完全由(a−b)²决定。差的绝对值越小(a−b)²就越小被减掉的部分就越少ab就越大。当ab时(a−b)²0ab取到最大值S²/4。这个形式也帮我们拆掉了另一个潜在误解很多人以为这个规律只对正数成立其实不是。对任意实数a、b只要和固定上面这个恒等式都成立包括负数的情况。比如a−3、b−7和为−10积是21a−5、b−5和还是−10积是25依然是差越小积越大。只不过我们平时讨论的正数场景更贴近生活所以口诀里通常默认“两个正数”。但脑子里要清楚底层逻辑不依赖正数这个条件依赖的只是平方差公式。2. 证明三条路线同一个结论2.1 代数证明一个平方差公式解决战斗最干净的证明只需要初中知识。设abS把这两个数写成平均数和偏差的形式a S/2 db S/2 − d这里的d就是两数相对于平均数的偏移量它可正可负但|d|正好反映两个数的接近程度。两数之差a−b2d所以“差越小”就等于“d的绝对值越小”。然后计算乘积ab (S/2 d)(S/2 − d) (S/2)² − d²因为S是常数(S/2)²是常数ab就随d²变化。d²越小ab越大d²越大ab越小。这个证明不到三行却把全部逻辑说透了。我特别喜欢这个证明它把一个看起来好像要分类讨论很多种情况的问题压缩成了一个乘法公式的机械推导。而且它还顺手把“最大值在什么时候取到”给清楚了d0时也就是abS/2时ab取最大最大值是S²/4。这个思路在高中数学里有一个对应的名字叫“换元法”或者“均值对称换元”。很多高中生解完一道导数题才发现原来初中用平方差就能解决的问题本质上就是一种“对称化”处理。把两个不对称的量改写成对称中心加上一个扰动项然后看扰动项如何影响结果这是贯穿数学的一个常用战术。2.2 几何证明正方形减正方形看得见的面积代数证明已经足够严谨但有些学生就是吃几何直观这套代数公式再怎么摆都觉得抽象。这时候我会配一个图来讲先画一个边长为S/2的大正方形它的面积是(S/2)²固定不变。现在把a和b看成是从大正方形两条边截出来的两段长度当a和b不相等时它们围成的矩形面积为ab而这个矩形可以看成大正方形去掉一个小正方形后剩下的部分。那句话怎么说来着眼睛看到的比耳朵听到的更容易记住。这个几何图的价值在于你一眼就能看出“差越小积越大”的结构性原因大正方形面积恒定小正方形的边长是两数之差的一半差越大挖掉的小正方形越大剩下的ab越小差越小挖掉的部分越小ab越接近大正方形面积差为0时小正方形变成一个点ab正好等于大正方形面积S²/4。这个图还可以用来理解“为什么最大是25”因为10的一半是55×5本身就是边长为5的正方形面积。如果不想画图也可以用另一种几何想象在坐标平面里把a当成横坐标x那么bS−x于是abx(S−x)。这是一条开口向下的抛物线最高点就在对称轴xS/2的位置。抛物线这个视角没什么不好但它的缺点是容易让学生把注意力放在“会配方”上而忘了配方背后的物理意义。正方形减正方形的图更本质。2.3 判别式视角一个适合高中生的精妙证明第三种方法适合已经学过一元二次方程的学生它绕了一个有趣的弯。设abSPab。如果把a和b看成某个一元二次方程的两个根那么这个方程可以写成x² − Sx P 0为什么因为一元二次方程x²−(ab)xab0的两个根恰好就是a和b。既然a、b都是实数方程就必须有实数根所以判别式必须大于等于0Δ S² − 4P ≥ 0也就是说P≤S²/4。这就直接证明了ab的最大值不超过S²/4。再看等号什么时候成立判别式等于0此时方程有两个相等的实根也就是abS/2。这个证明最妙的地方在于它把“求积的最大值”转换成了“方程有没有实数根”的问题两个不相关的领域突然被连通了。三种证法放在一起比较一下证法关键工具适合对象最大优点代数平方差平方差公式初中生步骤最少一步到位几何构造正方形面积喜欢图形的读者直观看得见原因判别式一元二次方程高中生自动带出最大值和取等条件这三种方法得出的结论完全一致说明“差越小积越大”不是某个特定套路下的巧合而是这个恒等式本身的结构特性。多数情况下我建议学生至少掌握第一种和第三种一个负责理解一个负责应对考试里的变形题。3. 它到底藏在哪里从课本到试卷再到生活3.1 二次函数最值其实是同一个原理的“变身”初中最常见的交点式求最大面积问题本质上就是这个原理。举个例子xy10求xy的最大值。常规做法是代入消元变成二次函数y 10 − xxy x(10−x) −x² 10x然后配方−x² 10x −(x−5)² 25因为−(x−5)²≤0所以xy≤25当x5时取等号。这个做法完全正确而且很标准。但你看它绕了一个函数图像的圈子为什么要配方为什么最大值在顶点开口为什么向下如果只学了机械解法孩子可能会做这道题但换一道“xy17求xy最大值”还是会做只是不知道为什么。用本文的恒等式这道题可以这么看xy ((10)² − (x−y)²)/4 25 − (x−y)²/4因为(x−y)²≥0所以xy≤25当且仅当xy5时取等号。连配方都不需要直接就看穿结论。用二次函数做是“先变成函数再去优化”用恒等式做是“直接在结构里看到约束的本质”。两条路都该会但第二条显然更像一个高手的思路。类似的变式还有xy10求x²y²的最小值。很多人一愣怎么做其实x²y²(xy)²−2xy100−2xy。既然xy最大是25那么x²y²最小就是100−2×2550当且仅当xy5。这里你会发现一个有意思的镜像关系ab越大a²b²反而越小。两个结论方向相反但根源都是同一个恒等式。3.2 均值不等式从“差越小积越大”到基本不等式高中数学里有一个绕不开的公式当a、b≥0时√(ab) ≤ (ab)/2也就是算术平均不小于几何平均。很多学生第一次看到这个公式都觉得很突然为什么要定义什么几何平均为什么√(ab)和(ab)/2之间有这种关系其实把标题里的原理取个根号就能得到它。由ab≤((ab)/2)²两边开根号因为正数开根号保持不等号方向就有√(ab)≤(ab)/2。这个不等式也叫基本不等式它的一切性质几乎都源自于平方差公式。这里的“正数”前提为什么必须存在因为只有当a、b非负时ab才非负√(ab)才有意义。如果允许负数ab可能是负的那就谈不上“几何平均”了。但注意这并不影响恒等式层面的结论只是不能用根号这种表达方式而已。口诀“一正二定三相等”也顺便解释清楚了一正是指参与运算的项必须为正数二定是指用基本不等式求最值时要么和是定值要么积是定值三相等是指等号成立的条件是两个数相等。如果没有“差越小积越大”这个直观理解记口诀很容易变成死记硬背一旦理解了底层逻辑口诀只是记忆的索引。3.3 生活中的“隐性应用”从围栏到资源分配现实中如果一个总量要切成两个部分两个部分的收益又倾向于相乘那么均衡往往不会太差。比如手头有100元广告预算要在两个同质渠道间分配假设最终效果近似等于两个渠道投放效果的乘积那么两边各投50通常是最稳妥的选择。当然现实中渠道会有差异但这个原理至少告诉你一个起点不知道谁更优的时候从平均分开始试然后用数据去调。围栏问题是个更有意思的变式。假设你有一面墙需要用20米长的栅栏圈出一块长方形菜地要求菜地一边靠墙另外三边用栅栏围起来问长和宽各取多少时面积最大。如果你机械套用“周长固定正方形最大”就错了因为这里的固定和不是“长宽”而是“长2宽”。设宽为x则长为20−2x面积Sx(20−2x)20x−2x²配方得−2(x−5)²50所以宽5米、长10米时最大面积是50平方米。最优解是长是宽的两倍而不是正方形。这个例子值得多说一句因为它精确展示了“总和一样”里那个“总和”到底是什么。题目没说清楚你直接套原理十有八九会翻车。生活中也是一样做资源分配前先搞清楚被固定的约束到底是哪几个变量相加再讨论差和积才有意义。4. 证明之外从两个数到多个数的大一统4.1 三个数的情况结论还成立吗两个数的结论这么好用那三个数呢已知abcS是定值问什么时候abc最大猜一下直觉会告诉你三个数相等时最大即abcS/3。这个直觉是对的而且它就是三元均值不等式的结论abc ≤ ((abc)/3)³但“证明”比二元要费劲一些。比如S12时(4,4,4)的积是64(3,4,5)的积是60(1,1,10)的积是10确实越平均越大。不过这里的“差”已经很难定义成一个简单的数了。三个数之间有三组差调整一个数会同时影响另外两个差所以不再有“|a−b|越小积越大”这么简单的单调关系。这就是为什么到多元情形数学家的处理方式会升级成“均值不等式定理”这样一个更结构性的结论而不是简单说“越接近越好”。所以有一件事你必须注意不要轻易把二元结论直接推广成“任何多元情况下只要更平均积就一定更大”。更准确的说法是完全相等时积最大至于“不完全相等”的两个不同组合谁更大不一定能用“谁更平均”来判断。均值不等式给的是全局最大值而不是任意两个组合之间的完整比较。4.2 均值不等式的证明思路从这里看穿本质三元均值不等式的经典证明可以用一个非常漂亮的恒等式a³ b³ c³ − 3abc (abc)(a² b² c² − ab − bc − ca)右边第二个因式又可以改写成a² b² c² − ab − bc − ca 1/2[(a−b)² (b−c)² (c−a)²]这是三个平方和的一半当然大于等于0。所以a³b³c³≥3abc。然后令xa³yb³zc³就能得到(xyz)/3 ≥ ∛(xyz)也就是三元均值不等式。这整个证明的灵魂仍然是配平方、看谁非负。你回头再看二元的情况证明(ab)/2≥√(ab)本质上也是等价于(a−b)²≥0。从2个到3个再到任意n个核心思想一直没有变算术平均和几何平均的差距本质上能被若干个平方差的和刻画所以各数差距越小几何平均越接近算术平均。这就是“差越小积越大”真正的理论归宿它不是一道偏题而是整个均值不等式家族最亲切的一个入口。把二元版本吃透了后面学n元AM-GM、Jensen不等式都会轻松很多。4.3 和定与积定一对硬币的两面还有一个容易被忽略的对称版本如果ab固定那么ab什么时候最小由ab≤((ab)/2)²在ab固定的情况下把(ab)看成未知量反解出ab≥2√(ab)等号仍然在ab时成立。这就是口诀里“积定和最小”的来历。所以“和定差小积大”和“积定差小和小”其实是同一个不等式换了个姿势站队底层都是同一个平方差结构。用表格把这两个方向摆在一起看起来更清楚条件结论取等条件ab固定ab最大abab固定ab最小abab固定a²b²最小ab这三个结论在考试中经常被拎出来单独考但你一旦看穿它们是同根生就不需要死背三套理由只需要记住一个恒等式ab((ab)²−(a−b)²)/4其他全是它的推论。5. 实践中的坑我备课和讲课时踩过的坑5.1 四个高频误区必须避开的雷区第一个误区是忘记“总和一样”是前提。有人看到2×510和4×312就质疑“差越小积越大”不对2和5的差是34和3的差是1差的多了怎么积反而小因为这两个式子的和不一样257437嘛其实和一样都是74×31210这不正说明差小积大吗那找个更极端点的反例1×996×16差的数反而积大1和9的和是106和1的和是7和都变了没法比。比较的前提必须是同一个总和否则就是关公战秦琼。第二个误区是忽略了“差”要取绝对值。a8b2时a−b6a5b5时a−b0。6确实比0大但这没问题。反例在另一边a2b8时a−b−6反而比0小。如果只用一次减法就晕了。所以我在板书时一定会写(a−b)²而不是写“差越小”教案里特别强调平方。平方会自动处理正负号这是一举两得的用法。第三个误区是以为这个结论只适用于正整数或正实数。从恒等式ab(S²−(a−b)²)/4来看实数范围完全成立。负数领域它也没有问题只是几何直观和均值不等式的表达会受到限制。所以准确说若只谈“和固定差越小积越大”无需正数前提但若把结论写成√(ab)≤(ab)/2这种带根号的形式就必须要求a、b≥0。第四个误区是乱往多元推广。三元情况下“完全相等时积最大”成立但“任何一组更平均就一定更大”未必有清晰定义。比如比较(1,1,10)和(2,2,8)从直觉上后者更“平均”积也确实从10涨到32方向是对的但要比较(3,3,6)和(1,5,6)哪个更平均一个方差更小但另一个有一项相等乘积一个是54一个是30还是方差小的大。真正需要当心的是自己给“更平均”乱下定定义。考试中只要记住“相等时最大”这一个全局结论就足够不要试图用二元的那套单调性去描述三元。5.2 我的教学流程四步讲法学生不易迷路我实际备课时的顺序一般不是先给公式而是先制造认知冲突。第一步给一组和为10的数让学生自己算画出表格让他们自己说出“越接近越大”。第二步我画一个正方形减正方形的图问他们R如果两个数完全相等这个图变成什么让他们意识到“最大”在几何上是“没有挖掉任何东西”。第三步再用平方差公式严格写一遍把刚才的图形直观翻译成代数符号。第四步回到二次函数题和均值不等式让他们看到这个公式在不同章节里的“马甲”。这样下来学生通常不会再问“为什么要配方”因为他们已经先看到了结论配方只是换一种方式再证明一遍。我自己的经验是第三步和第二步的顺序不能反。如果先给平方差公式再画图学生只会觉得图是公式的装饰先看图再给公式学生才会觉得公式是图的精炼。顺序不同认知效果差很多。5.3 当学生追问“那4.99和5.01为什么还是不够大”最后一个值得谈的场景是学生的灵魂追问。他可能会说“差已经很小了0.02乘积应该很接近25了吧为什么还不是25”这时候用恒等式一算就明白4.99×5.01 25 − (0.02)²/4 25 − 0.0001确实非常接近25但少了0.0001。只要差不为0减掉的那个平方项就是正的乘积就严格小于25。这就是为什么“最大”只能发生在差严格等于0的时候。“接近”和“等于”之间隔着的那一点恰恰就是平方项那一小点“扣除”。这个感受非常有助于理解极限思想——当差趋近于0乘积趋近于最大值但永不越过。这个追问的场景在我教学中反复出现所以我干脆把它变成一个固定环节让每个学生都用计算器算几组4.9和5.1、4.99和5.01、4.999和5.001亲眼看着乘积慢慢逼近25但就是差那么一点点。数学里的“无限逼近”概念很多学生第一次不是从极限定义里学到的而是从这种具体计算里种下的种子。我个人这几年讲下来最大的体会是“差越小积越大”这句话虽然只有七个字但它背后藏的东西非常多一个代数恒等式、一个几何图形、一条抛物线、一个判别式、以及整个均值不等式家族的起点。说它是初等数学里最值得花一节课专门证明的结论之一不算夸张。如果以后再有人问你为什么5和5的乘积最大你大可以拿张纸画个边长是5的正方形然后看着它什么都不用多说了。数学里很多问题的答案确实就藏在这个朴素的“均衡”里。