第十八章组合一、方法与例题1．抽屉原理。例1设整数n≥4,a1,a2,…,an是区间(0,2n)内n个不同的整数，证明：存在集合{a1,a2,…,an}的一个子集，它的所有元素之和能被2n整除。[证明]（1）若n{a1,a2,…,an},则n个不同的数属于n-1个集合{1,2n-1}，{2,2n-2},…,{n-1,n+1}。由抽屉原理知其中必存在两个数ai,aj(i≠j)属于同一集合，从而ai+aj=2n被2n整除；（2）若n∈{a1,a2,…,an}，不妨设an=n，从a1,a2,…,an-1(n-1≥3)中任意取3个数ai,aj,ak(ai,
0)不被n整除，考虑n个数a1,a2,a1+a2,a1+a2+a3,…,a1+a2+…+an-1。ⅰ）若这n个数中有一个被n整除，设此数等于kn，若k为偶数，则结论成立；若k为奇数，则加上an=n知结论成立。ⅱ）若这n个数中没有一个被n整除，则它们除以n的余数只能取1,2,…,n-1这n-1个值，由抽屉原理知其中必有两个数除以n的余数相同，它们之差被n整除，而a2-a1不被n整除，故这个差必为ai,aj,ak-1中若干个数之和，同ⅰ）可知结论成立。2．极端原理。例2在n×n的方格表的每个小方格内写有一个非负整数，并且在某一行和某一列的交叉点处如果写有0，那么该行与该列所填的所有数之和不小于n。证明：表中所有数之和不小于。[证明]计算各行的和、各列的和，这2n个和中必有最小的，不妨设第m行的和最小，记和为k，则该行中至少有n-k个0，这n-k个0所在的各列的和都不小于n-k，从而这n-k列的数的总和不小于(n-k)2，其余各列的数的总和不小于k2，从而表中所有数的总和不小于(n-k)2+k2≥3.不变量原理。俗话说，变化的是现象，不变的是本质，某一事情反复地进行，寻找不变量是一种策略。例3设正整数n是奇数，在黑板上写下数1，2，…，2n，然后取其中任意两个数a,b,擦去这两个数，并写上|a-b|。证明：最后留下的是一个奇数。[证明]设S是黑板上所有数的和，开始时和数是S=1+2+…+2n=n(2n+1)，这是一个奇数，因为|a-b|与a+b有相同的奇偶性，故整个变化过程中S的奇偶性不变，故最后结果为奇数。例4数a1,a2,…,an中每一个是1或-1，并且有S=a1a2a3a4+a2a3a4a5+…+ana1a2a3=0.证明：4|n.[证明]如果把a1,a2,…,an中任意一个ai换成-ai，因为有4个循环相邻的项都改变符号，S模4并不改变，开始时S=0，即S≡0，即S≡0(mod4)。经有限次变号可将每个ai都变成1，而始终有S≡0(mod4)，从而有n≡0(mod4)，所以4|n。4．构造法。例5是否存在一个无穷正整数数列a1,
