《2140.docVIP

代替，并简写系数n?。从而获得展开式的较简化的形式： (a + b)n = an + n1an–1b + n2an–2b2 +…+ bn。 系数n??被称为下标??以n为底的二项式系数。 二项式定理可能是十一世纪波斯天文学家O·卡亚姆（Omar Khayyam）所发现，他至少可以因为他发现了前人所未能解出的所有（正整数）幂n的展开式而引以自豪。 注：上述推导很容易推广到多项式a + b + c +…的n次幂的展开式。例如，对于一个含有三项的多项式，其多项式定理是： 。 这里总和??包括凡满足条件? + ? + ? = n的正整数指数?、?、??的所有可能项。 柯西的平均值定理 求证几个正数的几何平均值小于这些数的算术平均值。 A·L·柯西（Augustin Louis Cauchy，1789 – 1857年）是最伟大法国数学家之一。关于算术平均值和几何平均值的定理见于他1821年出版的著作①。 这里要介绍的该定理的证法是以基本算题——总和为常数的n个正整数，何时其乘积有最大值——的解法为基础的。 令n个数为a，b，c，…，它们的总和为常数K，它们的乘积为P。用各种不同数验证的结果，当数a，b，c，…等都具有相同数值时，乘积P有最大值。 为了证明这个假设的正确性，利用辅助定理；在两对其和相等的数中，两数之差较小的一对具有较大的乘积。 （若X与Y表示一对，x与y表示另一对，且 X + Y = x + y， 辅助定理可从下列等式得到： 4XY = (X + Y)2 – (X – Y)2， 4xy = (x + y)2 – (x – y)2， 其中，两个等式的右边的被减数相等，右边数值较大的是其减数较小的那个。） 若n个数a，b，c，…并不都相等，那么，至少有一个数，例如a必定大于M；且至少有一个数，例如b，必定小于M。现在组成n个数的一个新序列，a?，b?，c?，…，使（1）a? = M；（2）对子a，b的和与对子a?，b?的和相等；（3）其它数c?，d?，e?，…相当于c，d，e，…。那么新的数具有与老的数相同的和K，但根据辅助定理a?b? ab，新的数具有较大的乘积P? = a?b?c?…。 若数a?，b?，c?，…不都等于M，那么至少有一个，设其为b?，大于（小于）M；并至少有一个，设其为c?，小于（大于）M。现在再组成一个n个数的新序列a?，b?，c?，d?，…，使（1）a? = a? = M；（2）b? = M；（3）对子b?，c?和对子b?，c?具有相同的和；（4）d?，e?，…相当于d?，e?，…。那么数a?，b?，c?，…具有和数a?，b?，c?，…相同的和K，但根据辅助定理b?c? b?c?，所以具有较大的乘积P? = a?b?c?…。 这样继续下去，便得到一个递增乘积的数列P，P?，P?，…，其中，每一后继项大于前一项，这由于它至少多乘一个因子M，按这种方式得到最后一个乘积是所有乘积的最大者，且含有n个相等因子M。因此， P Mn， 这导出了下述定理： 总和为常数的n个正数，当各数都相等时，其积最大。 若将上面的最后一个不等式取n次方根，并以其值各有大小的数a，b，c，…表示P和M，便得到柯西公式： 。 将这个公式用文字表达如下： 算术与几何平均值的定理：几个正数的几何平均值总是小于这些数的算术平均值，除非这些数相等，此时两个平均值亦相等。 注1：柯西定理可直接导出上述极值定理的逆定理； 乘积为常数的n个正数，当它们数值相等时，其和最小。 证：设n个数为x，y，z，…，他们的乘积为定值K，它们的可变和为s，并设k的n次方根为m。 根据柯西定理： ； 因此， s ? nm， 其中等号仅当x = y = z = …时适用。证毕。 上述两个极值定理成为许多涉及最大值和最小值问题的简单解法的基础（参阅第54，92，96，98等题）。 注2：柯西定理也直接为指数函数xc提供一个重要的指数不等式。 若a是不等于1的任意正数，n是一个大于0的整数，m是一个大于n的整数，那么，其中n个具有数值a，而其它m – n个具有数值1的m个数的几何平均值小于这m个数的算术平均值或 ， 或者，若用??代替，则 （1） a? 1 + ? (a – 1)。 在这个不等式中，??是任意正的有理真分数。下面证明这个不等式对于任意无理真分数i也适用。 首先，aJ 1 + J(a – 1)不能在J为任意无理真分数时都成立。如果成立，就有可能找到一个有理真分数R J而如此接近J，以致aR与aJ之差，及1 + R(a – 1)与1 + J(a – 1)之差，小于譬如 aJ = 1 + J(a – 1) 的。这时，aR仍将大于1 + R(a – 1)，而根据（1），这是不可能的。 设z是一个非常小的数，以致i + z和i – z 都是正真分