鸽巢原理及推广应用

简单形式

定理：如果把n+1个物体放入n个盒子，至少有一个盒子包含两个或更多的物体。

证明：反证法 n个盒子每个盒子至多一个物品，总数至多为n，与有n+1个物体矛盾。

意义：当某一范围内最多可规定出m个“类”，则当此范围内的元素多于m时，可知必定有某个“类”的元素大于1

推广1（有关mod）：

n个数mod m 时，由于一个数mod m，可产生从0到m-1的余数，所以此时可看作有m个“类”，所以当n>m时，一定存在有ai mod m==aj mod m。

推广1.1：

有理数中的无限位小数必定在某一位开始循环。

证明：根据竖式除法的原则，n/m时，每次运算为：(上一次运算所剩的余数*10) + (n在本位中的数) mod m，
所以当再小数部分进行到足够多位数后，一定会出现相同的余数，且此时n在本位的数为0，故下一位再进行计算的结果必定开始循环。（可先了解竖式除法的运算过程）
‘；

推广1.2：

求证：对于任意正整数 n ，都能找到一个 n 的倍数，它全由数字 0 和 1 构成，且前半部分全部为1，后半部分全部为0；

证明：我们取n个数1,11,111,1111，…,i个1，由鸽巢原理知，这n个数中对n取模至少有两个数相同（除以n后余数相同），设较大的数为M,较小的数为m，则易证n|M-m；因为M为长度大于m的1串，那么相减后M-m前半部分一定全部为1，后半部分全部为0。

推广2：

求证：从1-2n中，选n+1个数，至少有一对数是互素的；

证明：已知某数i和i+1一定数互素的，所以将1-2n分为[1,2] [2,3] [3,4]…[2n-1,2n],共有2n-1类，且除了1和2n，其他每个数都占了两类，则此时m=2n-1，当选用n+1个数时，至少占用2n个类(2+2*(n-1)–>其中两个数是1和2n)>2n-1,则必然至少有两个类重叠，即至少有一个类中的两个元素都存在，即一定存在互素。（可见文末引用，此证法是为了印证文章开头的鸽巢原理用“类”来表示意义）

加强版

加强版
定理：设q1，q2,…,qn是正整数。如果将q1 + q2 + … + qn - n + 1个物品放入n个盒子内，那么或者第一个盒子至少含有q1个，或者第二个盒子至少含有q2个，…，或者第n个盒子至少含有qn个。

证明：反证法。对于每个盒子i，至少含有少于qi个物品。那么所有盒子中的物品总数不超过（q1-1）+（q2 -1 ）+ … + （qn -1 ) = q1 + q2 + … + qn - n。比我们给定的分配物品少一，矛盾。因此我们的结论正确。

意义：引用出元素的概念：在每个类中都存在若干元素，当放入所有元素-n+1个物品时，必定存在一个类中元素全满或有元素重叠

（对于推广2，此时可用元素来理解。）