局部变动原理：算术平均数不小于几何平均数

    前几天写的等高线模式中，在倒数第二个例子里我们证明了所有的圆内接n边形以正n边形最大。当时我们用到了一个很值得思考的方法：固定其余所有点的位置，只移动其中一个点的位置，那么这个点与左右相邻两点等距时面积才可能达到最大。这就说明圆内接n边形以正n边形最大，否则我可以不断寻找长度不等的邻边，通过一次次地调整不断地趋近我的最终目标。对于一个多变元函数，只有每个变量（在它所对应的单变量函数中）都达到最大时，所有变量才可能同时使函数值达到最大。这种思考方法被称之为“局部变动原理”。《数学与猜想》中提到了局部变动原理的另一个应用──证明n个数的算术平均数大于等于几何平均数。中学教材（至少在我的中学教材里）没有给出这一结论的证明。我自己曾经找到过这一定理的很多种证明，但《数学与猜想》中给出的是我所见到的最简洁、最有趣的证明。
    考虑两个数a和b，现在我已经知道它们的和是S，那么它们的乘积最大是多少？或许大家都知道，当两个数的和一定时，两数相等时乘积最大。也就是说，问题的答案就是((a+b)/2)^2。证明这个结论很简单，我们可以通过简单的代数运算看出，对于任意的a和b，((a+b)/2)^2不会小于ab。用前面的减去后面的，我们有
   ((a+b)/2)^2 - ab
= (a^2+2ab+b^2)/4 - ab
= (a^2-2ab+b^2)/4
= ((a-b)/2)^2
    可以看到，前者减去后者的差始终非负，并且仅当a=b时差值为0。<