抽屉原理把八个苹果任意地放进七个抽屉里，不论怎样放，至少有一个抽屉放有两个或两个以上的苹果抽屉原则有时也被称为鸽巢原理，它是德国数学家狄利克雷首先明确的提出来并用以证明一些数论中的问题，因此，也称为狄利克雷原则它是组合数学中一个重要的原理把它推广到一般情形有以下几种表现形式形式一：证明：设把n1个元素分为n个集合A1，A2，An，用a1，a2，an表示这n个集合里相应的元素个数，需要证明至少存在某个ai大于或等于2（用反证法）假设结论不成立，即对每一个ai都有ai2，则因为ai是整数，应有ai1，于是有：a1a2an111nn1这与题设矛盾所以，至少有一个ai2，即必有一个集合中含有两个或两个以上的元素形式二：设把nm1个元素分为n个集合A1，A2，An，用a1，a2，an表示这n个集合里相应的元素个数，需要证明至少存在某个ai大于或等于m1（用反证法）假设结论不成立，即对每一个ai都有aim1，则因为ai是整数，应有aim，于是有：a1a2anmmmnm n个mnm1这与题设相矛盾 所以，至少有存在一个aim1高斯函数：对任意的实数x，x表示“不大于x的最大整数”例如：353，292，253，77，一般地，我们有：xxx1形式三：证明：设把n个元素分为k个集合A1，A2，Ak，用a1，a2，ak表示这k个集合里相应的元素个数，需要证明至少存在某个ai大于或等于n/k（用反证法）假设结论不成立，即对每一个ai都有ain/k，于是有：a1a2akn/k+n/k+n/k k个n/kkn/kk(n/k)n a1a2akn这与题设相矛盾 所以，必有一个集合中元素个数大于或等于n/k形式四：证明：设把q1q2qnn1个元素分为n个集合A1，A2，An，用a1，a2，an表示这n个集合里相应的元素个数，需要证明至少存在某个i，使得ai大于或等于qi（用反证法）假设结论不成立，即对每一个ai都有aiqi，因为ai为整数，应有aiqi1，于是有：a1a2anq1q2qnn q1q2qnn1这与题设矛盾所以，假设不成立，故必有一个i，在第i个集合中元素个数aiqi形式五： 证明：（用反证法）将无穷多个元素分为有限个集合，假设这有限个集合中的元素的个数都是有限个，则有限个有限数相加，所得的数必是有限数，这就与题设产生矛盾，所以，假设不成立，故必有一个集合含有无穷多个元素例题：400人中至少有两个人的生日相同分析：生日从1月1日排到12月31日，共有366个不相同的生日，我们把366个不同的生日看作366个抽屉，400人视为400个苹果，由表现形式1可知，至少有两人在同一个抽屉里，所以这400人中有两人的生日相同解：将一年中的366天视为366个抽屉，400个人看作400个苹果，由抽屉原理的表现形式1可以得知：至少有两人的生日相同例题：边长为1的正方形中，任意放入9个点，求证这9个点中任取3个点组成的三角形中，至少有一个的面积不超过1/8解：将边长为1的正方形等分成边长为的四个小正方形，视这四个正方形为抽屉，9个点任意放入这四个正方形中，据形式2，必有三点落入同一个正方形内现特别取出这个正方形来加以讨论EFGD把落在这个正方形中的三点记为D、E、F通过这三点中的任意一点（如E）作平行线，如图可知：SDEFSDEGSEFGh例题3：任取5个整数，必然能够从中选出三个，使它们的和能够被3整除证明：任意给一个整数，它被3除，余数可能为0，1，2，我们把被3除余数为0，1，2的整数各归入类r，r1，r2至少有一类包含所给个数中的至少两个因此可能出现两种情况：1某一类至少包含三个数；2某两类各含两个数，第三类包含一个数若是第一种情况，就在至少包含三个数的那一类中任取三数，其和一定能被3整除；若是第二种情况，在三类中各取一个数，其和也能被3整除综上所述，原命题正确例题4：九条直线中的每一条直线都将正方形分成面积比为23的梯形，证明：这九条直线中至少有三条经过同一点证明：如图，设PQ是一条这样的直线，作这两个梯形的中位线MN这两个梯形的高相等，它们的面积之比等于中位线长的比，即|MH|NH|点H有确定的位置（它在正方形一对对边中点的连线上，并且|MH|NH|23）由几何上的对称性，这种点共有四个，即，图中的H、J、I、K已知的九条适合条件的分割直线中的每一条必须经过H、J、I、K这四点中的一点把H、J、I、K看成四个抽屉，九条直线当成9个苹果，即可得出必定有3条分割线经过同一点例题5：某校派出学生204人上山植树15301株，其中最少一人植树50株，最多一人植树100株，则至少有5人植树的株数相同证明：按植树的多少，从50到100株可以构造51个抽屉，则个问题就转化为至少有5人植树的株数在同一个抽屉里(用反证法)假设无5人或5人以上植树的株数在同一个抽屉里，那只有5人以下植树的株数在同一个抽屉里，而参加植树的人数为204人，所以，每个抽屉最多有4人，故植树的总株数最多有：4(5051100)41530015301得出矛盾因此，至少有5人植树的株数相同练习：1边长为1的等边三角形内有5个点，那么这5个点中一定有距离小于0.5的两点2边长为1的等边三角形内，若有n21个点，则至少存在2点距离小于3求证：任意四个整数中，至少有两个整数的差能够被3整除4某校高一某班有50名新生，试说明其中一定有二人的熟人一样多5某个年级有202人参加考试，满分为100分，且得分都为整数，总得分为10101分，则至少有3人得分相同