一、方法与例题 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|。证明：最后留下的是一个奇数。
