鸽巢原理

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

其他原理:1.如果将n个物体放入n个盒子并且没有一个盒子是空的，那么每个盒子恰好有一个物体。

2.如果将n个物体放入n个盒子并且没有盒子被放入多与一个的物体，那么每个盒子有一个物体。

推论1.设q1,q2,...,qn是正整数，如果将q1+q2+...+(Qn-n+1)放到n个盒子内，那么或者第一个盒子至少含有q1个物体，或者第二个盒子至少含有q2个物体，...，或者第n个盒子至少含有Qn个物体。

证明：假设把q1+q2+...+(Qn-n+1)放到n个盒子内，如果对于每个i=1,2,...,n，第i个盒子含有qi个物体，那么所有盒子中的物体总数不超过（(q1)-1）+（(q2)-1）+...+（(Qn)-1）=q1+q2+...+Qn-n,由于上面这个数比分配的物体总数少1，因此矛盾，所以假设不成立。

推论2. 设n和r都是正整数，如果把n(r-1)+1个物体分配到n个盒子中，那么至少一个盒子含有r个或者更多的物体。

也可以陈述为：如果n个非负整数m1,m2，...,mn的平均数大于r-1,即,那么至少有一个整数大于或者等于r

证明：取n(r-1)+1个物体分配到n个盒子中即可。对于i=1,2，...,n,设Mi是第i个盒子中物体的个数。于是这m个数m1,m2,...,Mn的平均数为,因为这个平均数大于r-1,所以整数Mi中有一个至少是r，也就是说盒子中有一个盒子至少含有r个物体。