什么是抽屉原理呢 什么是抽屉原理公式( 五 )


例2:从1、2、3、4、…、19、20这20个自然数中,至少任选几个数,就可以保证其中一定包括两个数,它们的差是12 。
分析与解答在这20个自然数中,差是12的有以下8对:{20,8},{19,7},{18,6},{17,5},{16,4},{15,3},{14,2},{13,1} 。
另外还有4个不能配对的数{9},{10},{11},{12},共制成12个抽屉(每个括号看成一个抽屉).只要有两个数取自同一个抽屉,那么它们的差就等于12,根据抽屉原理至少任选13个数,即可办到(取12个数:从12个抽屉中各取一个数(例如取1,2,3,…,12),那么这12个数中任意两个数的差必不等于12) 。
例3: 从1到20这20个数中,任取11个数,必有两个数,其中一个数是另一个数的倍数 。
分析与解答 根据题目所要求证的问题,应考虑按照同一抽屉中,任意两数都具有倍数关系的原则制造抽屉.把这20个数按奇数及其倍数分成以下十组,看成10个抽屉(显然,它们具有上述性质):
{1,2,4,8,16},{3,6,12},{5,10,20},{7,14},{9,18},{11},{13},{15},{17},{19} 。
从这10个数组的20个数中任取11个数,根据抽屉原理,至少有两个数取自同一个抽屉.由于凡在同一抽屉中的两个数都具有倍数关系,所以这两个数中,其中一个数一定是另一个数的倍数 。
例4:某校校庆,来了n位校友,彼此认识的握手问候.请你证明无论什么情况,在这n个校友中至少有两人握手的次数一样多 。
分析与解答 共有n位校友,每个人握手的次数最少是0次,即这个人与其他校友都没有握过手;最多有n-1次,即这个人与每位到会校友都握了手.然而,如果有一个校友握手的次数是0次,那么握手次数最多的不能多于n-2次;如果有一个校友握手的次数是n-1次,那么握手次数最少的不能少于1次.不管是前一种状态0、1、2、…、n-2,还是后一种状态1、2、3、…、n-1,握手次数都只有n-1种情况.把这n-1种情况看成n-1个抽屉,到会的n个校友每人按照其握手的次数归入相应的“抽屉”,根据抽屉原理,至少有两个人属于同一抽屉,则这两个人握手的次数一样多 。
在有些问题中,“抽屉”和“物体”不是很明显的,需要精心制造“抽屉”和“物体”.如何制造“抽屉”和“物体”可能是很困难的,一方面需要认真地分析题目中的条件和问题,另一方面需要多做一些题积累经验 。
抽屉原理
把八个苹果任意地放进七个抽屉里,不论怎样放,至少有一个抽屉放有两个或两个以上的苹果 。抽屉原则有时也被称为鸽巢原理,它是德国数学家狄利克雷首先明确的提出来并用以证明一些数论中的问题,因此,也称为狄利克雷原则 。它是组合数学中一个重要的原理 。把它推广到一般情形有以下几种表现形式 。
形式一:证明:设把n+1个元素分为n个集合A1,A2,…,An,用a1,a2,…,an表示这n个集合里相应的元素个数,需要证明至少存在某个ai大于或等于2(用反证法)假设结论不成立,即对每一个ai都有ai<2,则因为ai是整数,应有ai≤1,于是有:
a1+a2+…+an≤1+1+…+1=n<n+1这与题设矛盾 。所以,至少有一个ai≥2,即必有一个集合中含有两个或两个以上的元素 。
形式二:设把n?m+1个元素分为n个集合A1,A2,…,An,用a1,a2,…,an表示这n个集合里相应的元素个数,需要证明至少存在某个ai大于或等于m+1 。用反证法)假设结论不成立,即对每一个ai都有ai<m+1,则因为ai是整数,应有ai≤m,于是有:
a1+a2+…+an≤m+m+…+m=n?m<n?m+1
n个m这与题设相矛盾 。所以,至少有存在一个ai≥m+1
高斯函数:对任意的实数x,[x]表示“不大于x的最大整数”.
例如:[3.5]=3,[2.9]=2,[-2.5]=-3,[7]=7,……一般地,我们有:[x]≤x<[x]+1
形式三:证明:设把n个元素分为k个集合A1,A2,…,Ak,用a1,a2,…,ak表示这k个集合里相应的元素个数,需要证明至少存在某个ai大于或等于[n/k] 。(用反证法)假设结论不成立,即对每一个ai都有ai<[n/k],于是有:
a1+a2+…+ak<[n/k]+[n/k]+…+[n/k] =k?[n/k]≤k?(n/k)=n
k个[n/k]∴ a1+a2+…+ak<n这与题设相矛盾 。所以,必有一个集合中元素个数大于或等于[n/k]
形式四:证明:设把q1+q2+…+qn-n+1个元素分为n个集合A1,A2,…,An,用a1,a2,…,an表示这n个集合里相应的元素个数,需要证明至少存在某个i,使得ai大于或等于qi 。(用反证法)假设结论不成立,即对每一个ai都有ai<qi,因为ai为整数,应有ai≤qi-1,于是有:a1+a2+…+an≤q1+q2+…+qn-n <q1+q2+…+qn-n+1这与题设矛盾 。


推荐阅读