关于数学抽屉原理.pdfVIP

抽屉原理

把八个苹果任意地放进七个抽屉里，不论怎样放，至少有一个抽屉放有两个或两个以上的苹果。

抽屉原则有时也被称为鸽巢原理，它是德国数学家狄利克雷首先明确的提出来并用以证明一些

数论中的问题，因此，也称为狄利克雷原则。它是组合数学中一个重要的原理。把它推广到一

般情形有以下几种表现形式。

形式一：

证明：设把n＋1个元素分为n个集合A，A，…，A，用a，a，…，a表示这n个集合里相

12n12n

应的元素个数，需要证明至少存在某个a大于或等于2

i

（用反证法）假设结论不成立，即对每一个a都有a＜2，则因为a是整数，应有a≤1，于是

iiii

有：

a＋a＋…＋a≤1＋1＋…＋1＝n＜n＋1

12n

这与题设矛盾。

所以，至少有一个a≥2，即必有一个集合中含有两个或两个以上的元素。

i

形式二：

设把n·m＋1个元素分为n个集合A，A，…，A，用a，a，…，a表示这n个集合里相应的

12n12n

元素个数，需要证明至少存在某个a大于或等于m＋1。

i

（用反证法）假设结论不成立，即对每一个a都有a＜m＋1，则因为a是整数，应有a≤m，

iiii

于是有：

a＋a＋…＋a≤m＋m＋…＋m＝n·m

12n

个mn

＜n·m＋1

这与题设相矛盾。

所以，至少有存在一个a≥m＋1

i

高斯函数：

对任意的实数x,

[x]表示“不大于x的最大整数”.

例如：[3.5]＝3，[2.9]＝2，

[－2.5]＝－3，[7]＝7，……

一般地，我们有：[x]≤x＜[x]＋1

形式三：

证明：设把n个元素分为k个集合A，A，…，A，用a，a，…，a表示这k个集合里相应的

12k12k

元素个数，需要证明至少存在某个a大于或等于[n/k]。

i

（用反证法）假设结论不成立，即对每一个a都有a＜[n/k]，于是有：

ii

a＋a＋…＋a＜[n/k]+[n/k]+…+[n/k]

12k

个[n/k]k

＝k·[n/k]≤k·(n/k)＝n

∴a＋a＋…＋a＜n

12k

这与题设相矛盾。

所以，必有一个集合中元素个数大于或等于[n/k]

形式四：

证明：设把q＋q＋…＋q－n＋1个元素分为n个集合A，A，…，A，用a，a，…，a表示

12n12n12n

这n个集合里相应的元素个数，需要证明至少存在某个i，使得a大于或等于q。

ii

（用反证法）假设结论不成立，即对每一个a都有a＜q，因为a为整数，应有a≤q－1，于

iiiiii

是有：

a＋a＋…＋a≤q＋q＋…＋q－n

12n12n

＜q＋q＋…＋q－n＋1

12n

这与题设矛盾。

所以，假设不成立，故必有一个i,在第i个集合中