企业官网建设流程全解析

前几天辅导一个初三的孩子，题目很简单：x和y加起来等于10，问xy最大能到多少。他思路很快，先试了1和9，又试了2和8，再试3和7，发现乘积从9涨到16又涨到21，马上猜到4和6应该更大，最后试出5×5=25。答案对了，但我问他为什么一定是5和5，他沉默了半天，说“因为越接近越大吧”。这个“越接近越大”，就是很多人挂在嘴边的“总和一样，差越小积越大”。

这个结论听起来太像一句口诀了，以至于很多人真的只会背口诀。真到要证明、要解释、要拿去解题变形时，往往说不上来。我写这篇东西，就是想把这个原理从头到尾拆开：先看它到底在说什么，再用几种不同的方式证明它，最后聊聊这个原理在函数、不等式、几何和最值问题里是怎么露脸的，以及几个我实际教学中踩过的坑。适合正在学二次函数最值的初中生、准备把均值不等式用熟练的高中生，还有需要给娃讲题的家长。

1. 一个问题和一个规律：先看清楚它在说什么

1.1 从一份固定大小的蛋糕说起

假设你手里有一块总长度为10的东西，要把它切成两段，一段叫a，另一段叫b，所以a+b=10。现在要比较a和b的乘积ab。我把能想到的整数拆分方案列出来，马上就能看出规律：

观察这个表，非常直观：两数的差距从8一路缩到0，乘积从9一路涨到25。所以人很容易形成一种印象——差越小，积越大，当差是0也就是两个数相等时，乘积达到最大。

但注意一个关键点：这张表只验证了整数情况，而且只验证了有限的五组数。凭什么说a=3.7、b=6.3的时候，乘积一定比24小？凭什么说差为1.8时，乘积就一定夹在24和25之间？这需要证明，不能靠感觉。这也是我给那位初三孩子补课时觉得最值得展开的地方：很多孩子可以“猜”到答案，但没法“证明”答案；而数学里，猜和证明之间差着一条很深的河。

1.2 用数学语言锁死“差越小积越大”

要证明，就得先把话说明白。标题里“总和一样”的意思是：a+b是一个固定的常数，记为S。“差越小”的意思是：|a-b|越小，注意这里必须带绝对值，因为a-b可能正可能负。“积越大”的意思是：在满足a+b=S的前提下，ab的值会随着|a-b|的减小而增大。

所以这个命题更准确的形式是：已知a+b=S为定值，那么ab = (S² − (a−b)²)/4。这个式子一出来，结论几乎是白送的——S是常数，S²当然也是常数；ab的大小完全由(a−b)²决定。差的绝对值越小，(a−b)²就越小，被减掉的部分就越少，ab就越大。当a=b时，(a−b)²=0，ab取到最大值S²/4。

这个形式也帮我们拆掉了另一个潜在误解：很多人以为这个规律只对正数成立，其实不是。对任意实数a、b，只要和固定，上面这个恒等式都成立，包括负数的情况。比如a=−3、b=−7，和为−10，积是21；a=−5、b=−5，和还是−10，积是25，依然是差越小积越大。只不过我们平时讨论的正数场景更贴近生活，所以口诀里通常默认“两个正数”。但脑子里要清楚：底层逻辑不依赖正数这个条件，依赖的只是平方差公式。

2. 证明：三条路线，同一个结论

2.1 代数证明：一个平方差公式解决战斗

最干净的证明，只需要初中知识。设a+b=S，把这两个数写成平均数和偏差的形式：

a = S/2 + d，b = S/2 − d

这里的d就是两数相对于平均数的偏移量，它可正可负，但|d|正好反映两个数的接近程度。两数之差a−b=2d，所以“差越小”就等于“d的绝对值越小”。然后计算乘积：

ab = (S/2 + d)(S/2 − d) = (S/2)² − d²

因为S是常数，(S/2)²是常数，ab就随d²变化。d²越小，ab越大；d²越大，ab越小。这个证明不到三行，却把全部逻辑说透了。我特别喜欢这个证明，它把一个看起来好像要分类讨论很多种情况的问题，压缩成了一个乘法公式的机械推导。而且它还顺手把“最大值在什么时候取到”给清楚了：d=0时，也就是a=b=S/2时，ab取最大，最大值是S²/4。

这个思路在高中数学里有一个对应的名字，叫“换元法”或者“均值对称换元”。很多高中生解完一道导数题才发现，原来初中用平方差就能解决的问题，本质上就是一种“对称化”处理。把两个不对称的量，改写成对称中心加上一个扰动项，然后看扰动项如何影响结果，这是贯穿数学的一个常用战术。

2.2 几何证明：正方形减正方形，看得见的面积

代数证明已经足够严谨，但有些学生就是吃几何直观这套，代数公式再怎么摆都觉得抽象。这时候我会配一个图来讲：先画一个边长为S/2的大正方形，它的面积是(S/2)²，固定不变。现在把a和b看成是从大正方形两条边截出来的两段长度，当a和b不相等时，它们围成的矩形面积为ab，而这个矩形可以看成大正方形去掉一个小正方形后剩下的部分。

那句话怎么说来着？眼睛看到的，比耳朵听到的更容易记住。这个几何图的价值在于，你一眼就能看出“差越小积越大”的结构性原因：大正方形面积恒定，小正方形的边长是两数之差的一半，差越大，挖掉的小正方形越大，剩下的ab越小；差越小，挖掉的部分越小，ab越接近大正方形面积；差为0时，小正方形变成一个点，ab正好等于大正方形面积S²/4。这个图还可以用来理解“为什么最大是25”，因为10的一半是5，5×5本身就是边长为5的正方形面积。

如果不想画图，也可以用另一种几何想象：在坐标平面里，把a当成横坐标x，那么b=S−x，于是ab=x(S−x)。这是一条开口向下的抛物线，最高点就在对称轴x=S/2的位置。抛物线这个视角没什么不好，但它的缺点是容易让学生把注意力放在“会配方”上，而忘了配方背后的物理意义。正方形减正方形的图，更本质。

2.3 判别式视角：一个适合高中生的精妙证明

第三种方法适合已经学过一元二次方程的学生，它绕了一个有趣的弯。设a+b=S，P=ab。如果把a和b看成某个一元二次方程的两个根，那么这个方程可以写成：

x² − Sx + P = 0

为什么？因为一元二次方程x²−(a+b)x+ab=0的两个根恰好就是a和b。既然a、b都是实数，方程就必须有实数根，所以判别式必须大于等于0：

Δ = S² − 4P ≥ 0

也就是说P≤S²/4。这就直接证明了ab的最大值不超过S²/4。再看等号什么时候成立：判别式等于0，此时方程有两个相等的实根，也就是a=b=S/2。这个证明最妙的地方在于，它把“求积的最大值”转换成了“方程有没有实数根”的问题，两个不相关的领域突然被连通了。

三种证法放在一起比较一下：

这三种方法得出的结论完全一致，说明“差越小积越大”不是某个特定套路下的巧合，而是这个恒等式本身的结构特性。多数情况下，我建议学生至少掌握第一种和第三种，一个负责理解，一个负责应对考试里的变形题。

3. 它到底藏在哪里：从课本到试卷再到生活

3.1 二次函数最值：其实是同一个原理的“变身”

初中最常见的交点式求最大面积问题，本质上就是这个原理。举个例子：x+y=10，求xy的最大值。常规做法是代入消元，变成二次函数：

y = 10 − x，xy = x(10−x) = −x² + 10x

然后配方：

−x² + 10x = −(x−5)² + 25

因为−(x−5)²≤0，所以xy≤25，当x=5时取等号。这个做法完全正确，而且很标准。但你看，它绕了一个函数图像的圈子：为什么要配方？为什么最大值在顶点？开口为什么向下？如果只学了机械解法，孩子可能会做这道题，但换一道“x+y=17，求xy最大值”还是会做，只是不知道为什么。

用本文的恒等式，这道题可以这么看：

xy = ((10)² − (x−y)²)/4 = 25 − (x−y)²/4

因为(x−y)²≥0，所以xy≤25，当且仅当x=y=5时取等号。连配方都不需要，直接就看穿结论。用二次函数做，是“先变成函数再去优化”；用恒等式做，是“直接在结构里看到约束的本质”。两条路都该会，但第二条显然更像一个高手的思路。

类似的变式还有：x+y=10，求x²+y²的最小值。很多人一愣，怎么做？其实x²+y²=(x+y)²−2xy=100−2xy。既然xy最大是25，那么x²+y²最小就是100−2×25=50，当且仅当x=y=5。这里你会发现一个有意思的镜像关系：ab越大，a²+b²反而越小。两个结论方向相反，但根源都是同一个恒等式。

3.2 均值不等式：从“差越小积越大”到基本不等式

高中数学里有一个绕不开的公式：当a、b≥0时，√(ab) ≤ (a+b)/2，也就是算术平均不小于几何平均。很多学生第一次看到这个公式都觉得很突然：为什么要定义什么几何平均？为什么√(ab)和(a+b)/2之间有这种关系？

其实把标题里的原理取个根号就能得到它。由ab≤((a+b)/2)²，两边开根号，因为正数开根号保持不等号方向，就有√(ab)≤(a+b)/2。这个不等式也叫基本不等式，它的一切性质几乎都源自于平方差公式。这里的“正数”前提为什么必须存在？因为只有当a、b非负时，ab才非负，√(ab)才有意义。如果允许负数，ab可能是负的，那就谈不上“几何平均”了。但注意，这并不影响恒等式层面的结论，只是不能用根号这种表达方式而已。

口诀“一正二定三相等”也顺便解释清楚了：一正，是指参与运算的项必须为正数；二定，是指用基本不等式求最值时，要么和是定值，要么积是定值；三相等，是指等号成立的条件是两个数相等。如果没有“差越小积越大”这个直观理解，记口诀很容易变成死记硬背；一旦理解了底层逻辑，口诀只是记忆的索引。

3.3 生活中的“隐性应用”：从围栏到资源分配

现实中如果一个总量要切成两个部分，两个部分的收益又倾向于相乘，那么均衡往往不会太差。比如手头有100元广告预算，要在两个同质渠道间分配，假设最终效果近似等于两个渠道投放效果的乘积，那么两边各投50，通常是最稳妥的选择。当然现实中渠道会有差异，但这个原理至少告诉你一个起点：不知道谁更优的时候，从平均分开始试，然后用数据去调。

围栏问题是个更有意思的变式。假设你有一面墙，需要用20米长的栅栏圈出一块长方形菜地，要求菜地一边靠墙，另外三边用栅栏围起来，问长和宽各取多少时面积最大。如果你机械套用“周长固定，正方形最大”就错了，因为这里的固定和不是“长+宽”，而是“长+2宽”。设宽为x，则长为20−2x，面积S=x(20−2x)=20x−2x²，配方得−2(x−5)²+50，所以宽5米、长10米时，最大面积是50平方米。最优解是长是宽的两倍，而不是正方形。

这个例子值得多说一句，因为它精确展示了“总和一样”里那个“总和”到底是什么。题目没说清楚，你直接套原理，十有八九会翻车。生活中也是一样，做资源分配前，先搞清楚被固定的约束到底是哪几个变量相加，再讨论差和积才有意义。

4. 证明之外：从两个数到多个数的大一统

4.1 三个数的情况：结论还成立吗

两个数的结论这么好用，那三个数呢？已知a+b+c=S是定值，问什么时候abc最大？猜一下，直觉会告诉你三个数相等时最大，即a=b=c=S/3。这个直觉是对的，而且它就是三元均值不等式的结论：

abc ≤ ((a+b+c)/3)³

但“证明”比二元要费劲一些。比如S=12时，(4,4,4)的积是64，(3,4,5)的积是60，(1,1,10)的积是10，确实越平均越大。不过这里的“差”已经很难定义成一个简单的数了。三个数之间有三组差，调整一个数会同时影响另外两个差，所以不再有“|a−b|越小积越大”这么简单的单调关系。这就是为什么到多元情形，数学家的处理方式会升级成“均值不等式定理”这样一个更结构性的结论，而不是简单说“越接近越好”。

所以有一件事你必须注意：不要轻易把二元结论直接推广成“任何多元情况下，只要更平均，积就一定更大”。更准确的说法是，完全相等时积最大；至于“不完全相等”的两个不同组合谁更大，不一定能用“谁更平均”来判断。均值不等式给的是全局最大值，而不是任意两个组合之间的完整比较。

4.2 均值不等式的证明思路：从这里看穿本质

三元均值不等式的经典证明，可以用一个非常漂亮的恒等式：

a³ + b³ + c³ − 3abc = (a+b+c)(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。然后令x=a³，y=b³，z=c³，就能得到(x+y+z)/3 ≥ ∛(xyz)，也就是三元均值不等式。这整个证明的灵魂，仍然是配平方、看谁非负。你回头再看二元的情况，证明(a+b)/2≥√(ab)，本质上也是等价于(a−b)²≥0。从2个到3个，再到任意n个，核心思想一直没有变：算术平均和几何平均的差距，本质上能被若干个平方差的和刻画，所以各数差距越小，几何平均越接近算术平均。

这就是“差越小积越大”真正的理论归宿：它不是一道偏题，而是整个均值不等式家族最亲切的一个入口。把二元版本吃透了，后面学n元AM-GM、Jensen不等式，都会轻松很多。

4.3 和定与积定：一对硬币的两面

还有一个容易被忽略的对称版本：如果ab固定，那么a+b什么时候最小？

由ab≤((a+b)/2)²，在ab固定的情况下，把(a+b)看成未知量，反解出a+b≥2√(ab)，等号仍然在a=b时成立。这就是口诀里“积定和最小”的来历。所以“和定差小积大”和“积定差小和小”其实是同一个不等式换了个姿势站队，底层都是同一个平方差结构。

用表格把这两个方向摆在一起，看起来更清楚：

这三个结论在考试中经常被拎出来单独考，但你一旦看穿它们是同根生，就不需要死背三套理由，只需要记住一个恒等式：ab=((a+b)²−(a−b)²)/4，其他全是它的推论。

5. 实践中的坑：我备课和讲课时踩过的坑

5.1 四个高频误区，必须避开的雷区

第一个误区是忘记“总和一样”是前提。有人看到2×5=10和4×3=12，就质疑“差越小积越大”不对：2和5的差是3，4和3的差是1，差的多了怎么积反而小？因为这两个式子的和不一样，2+5=7，4+3=7嘛，其实和一样都是7，4×3=12>10，这不正说明差小积大吗？那找个更极端点的反例：1×9=9，6×1=6，差的数反而积大？1和9的和是10，6和1的和是7，和都变了，没法比。比较的前提必须是同一个总和，否则就是关公战秦琼。

第二个误区是忽略了“差”要取绝对值。a=8，b=2时，a−b=6；a=5，b=5时，a−b=0。6确实比0大，但这没问题。反例在另一边：a=2，b=8时，a−b=−6，反而比0小。如果只用一次减法就晕了。所以我在板书时一定会写(a−b)²，而不是写“差越小”，教案里特别强调平方。平方会自动处理正负号，这是一举两得的用法。

第三个误区是以为这个结论只适用于正整数或正实数。从恒等式ab=(S²−(a−b)²)/4来看，实数范围完全成立。负数领域它也没有问题，只是几何直观和均值不等式的表达会受到限制。所以准确说：若只谈“和固定，差越小积越大”，无需正数前提；但若把结论写成√(ab)≤(a+b)/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的正方形，然后看着它，什么都不用多说了。数学里很多问题的答案，确实就藏在这个朴素的“均衡”里。