2014希望联盟讲座：抽屉原理及其应用(上传)镇海中学精选.doc

抽屉原理及其应用 （宁波市镇海中学 周海军） 抽屉原理又称鸽巢原理，它是组合数学的一个基本原理，最先是由德国数学家狭利克雷明确地提出来的，因此，也称为狭利克雷原理。抽屉原理m个球放入n个抽屉中,则必有一个抽屉内至少有个球． 原理2： 若将m个球放入n个抽屉中,则必有一个抽屉内至多有个球。 原理3：把无穷多个元素放入有限个集合里，则一定有一个集合里含有无穷多个元素。n 个实数x1,x2,……，xn的和是a，即x1+x2+…+xn=a，那么必有一个xi≥，也必有一个xj≤。 面积的重叠原则：在平面上有n个面积分别是A1，A2，…，An的图形，把这n个图形按任何方式一一搬到某一个面积为A的固定图形上去， （1）如果A1+A2+…+AnA，则至少有两个图形有公共点； （2）如果A1+A2+…+AnA，则固定图形中至少有一个点未被盖住. 应用抽屉原理解制造抽屉。 抽屉原理 【例1】 已知A与B是集合｛1,2,3,…,100｝的两个子集,满足：A与B的元素个数相同,且A∩B为空集,若nA 时总有2n+2B,则集合A∪B的元素个数最多为多少？ 分析 该问题是组合构造,由条件“A与B的元素个数相同且若n∈A时总有2n+2∈B”知|A|＝|B|,且2n+2≤100,从而可知A中的元素不超过49个,为此需要进行分类考虑． 解 首先证明|A∪B|≤66,只需要证明|A|≤33,由分析知需要证明：若A是｛1,2,3,…,49｝的任何一个34元子集,则必存在nA,使得2n+2A. 证明如下：将｛1,2,3,…,49｝分成如下33个集合： ｛1,4｝,｛3,8｝,｛5,12｝,…,｛23,48｝,共12个；｛2,6｝,｛10,22｝,｛14,30｝,｛18,38｝,共4个；｛25｝,｛27｝,｛29｝,…,｛49｝,共13个；｛26｝,｛34｝,｛42｝,｛46｝,共4个． 若A是｛1,2,3,…,49｝的任何一个34元的子集,则由抽屉原理可知上述33个集合中至少有一个2元集合中的两个数均属于A,即存在n∈A,2n+2∈A.所以|A|≤33. 事实上,如取A＝｛1,3,5,…,23,2,10,14,18,25,27,29,…,49,26,34,42,46｝,B＝｛2n+2|n∈A｝,则A,B满足题中要求,且|A∪B|＝66. 所以集合A∪B的元素个数最多为66. 【例2】设为实数，满足求证：对于每一整数，存在不全为零的整数使得并且 【证】由柯西不等式得 即 所以，当时，有 把区间[0，]等分成个小区间，每个小区间的长度，由于每个能取个整数，因此 共有个正数，由抽屉原则知必有二数会落在同一小区间内，设它们分别是 与 因此有 ① 很明显，我们有 现在取 这里于是①可表示为这里为整数，适合 【评述】如上例所示，在证明存在某些有界量使相关的不等式成立时，可类似地把某区间划分为若干小区间作为抽屉，借用抽屉原则来证明. 二、抽屉原理 【例3】一个国际社团的成员来自六个国家共有2014人，用1，2，…，2014来编号，试证明：该社团至少有一个成员的编号或者与他的两个同胞的编号之和相等，或者是其中一个同胞的编号的两倍. 【证明】可用反证法来证明与本题完全相当的下列问题：把整列1，2，…，2014按任一方式分成六组，则至少有一组具有这样的性质：其中有一个数或等于四组中其他两数之和，或等于其中某一个数的两倍. 假设这六组中的每一组数都不具备上述性质，也就是说每一组数都具备下列性质，记作性质（P）： 同组中任何两数之差必不在此组中. 因为如果有连同都在同一组中，那么由可知，这组已具备题目所要求的性质. 因2014÷6329，所以由抽屉原则可以肯定有一个组A，其中至少有380个正整数，现在从A中任意取出330个数业，记其中最大的那个数为，把分别减去其余329个数而得到329个差，它们互不相等且均小于1978. 由性质（P），它们不会再在组A中，即应属于其余五组. 又因329÷5÷65.再由抽屉原则可以肯定有一组B，其中至少含有上述329个数中的66个数，从B中任取66个数且记其中最大的那个数为b1，再把b1减去其余65个数，得出的差显然不再属于B，当然也不会属于A. 假如其中的某一个数属于A，由于与b分别可以写为 其中都属于A，于是 这就同A具备性质（P）的假设相违背，这就是说上述65个数必属其余四个数组. 由于65÷416，所以至少有一组，称为C，至少会有上述65个整数中的17个，反复进行上述推理，最后可得一数组F，其中至少会有两个数，大数与小数之差是一个小于1978的正整数，可是它不在A、B、C、D、E、F的任一组中，这显然是一个矛盾，这矛盾说明至少有一组数不具备性质