专题 鸽巢原理从入门的放弃

1 鸽巢原理：简单形式

定理1.1 如果把$n+1$个物体放进$n$个盒子，那么至少有一个盒子包含$2$个或更多的物体。
证明 用反证法进行证明。如果这$n$个盒子中的每一个都至多含有$1$个物体，那么物体的总数最多是$n$。这与我们有$n+1$个物体矛盾，所有某个盒子至少有$2$个物体。

定理1.2 如果把$n$个物体放进$n$个盒子并且没有一个盒子是空的，那么每一个盒子恰好有一个物体。

定理1.3 如果把$n$个物体放进$n$个盒子并且没有一个盒子被放入多于一个物体，那么每一个盒子恰好有一个物体。

以上$3$个原理可以更抽象的表述为：
设$X$和$Y$是有限集合，并令$f:X\to Y$是一个从$X$到$Y$的函数。

• 如果$X$的元素多余$Y$的元素，那么$f$就不是一一对应的。
• 如果$X$和$Y$含有相同个数的元素，并且$f$是满射，那么$f$就是一一对应。
• 如果$X$和$Y$含有相同个数的元素，并且$f$是一一对应，那么$f$就是满射。

例1.1 给定$m$个整数$a_1,a_2,...,a_m$，存在满足$0⩽k<l⩽m$的整数$k$和$l$，使得$a_{k+1}+a_{k+2}+...+a_l$。即在序列$a_1,a_2,...,a_m$中存在连续的$a$，这些$a$的和能被$m$整除。

证明 为证明这一结论，考虑$m$个和$$a_1,a_1+a_2,a_1+a_2+a_3,...,a_1+a_2+a_3+...+a_m$$如果这些和当中的任意一个可以被$m$整除，那么结论成立。因此，我们可以假设这些和中的每一个除以$m$都有一个非零余数，余数等于$1,2,...,m-1$中的一个数。因为有$m$个和，而只有$m-1$个元素，所有必然有两个和除以$m$有相同的余数。因此，存在整数$k$和$l$，看k<l,使得$a_1+a_2+...+a_k$和$a_1+a_2+...+a_l$除以$m$有相同的余数$r$：$$a_1+a_2+...+a_k=bm+r,a_1+a_2+...+a_k=cm+r$$两式相减，我们发现$a_{k+1}+a_{k+2}+...+a_l=(c-b)m$，从而$a_{k+1}+a_{k+2}+...+a_l$能被$m$整除。

例1.2（中国剩余定理） 设$n$和$m$是互素的正整数，并设$a$和$b$是整数，其中$0⩽a⩽m-1$并且$0⩽b⩽n-1$。于是，存在正整数$x$，使得$x$除以$m$的余数为$a$，$x$除以$n$的余数为$b$；即$x$可以写成$x=pm+a$的同时又可以写成$x=qn+b$的形式，这里，$p$和$q$是两个整数。
证明 为证明这个结论，我们考虑$n$个整数$$a,m+a,2m+a,...,(n-1)m+a$$这些整数中每一个除以$m$都余$a$。设其中两个除以$n$有相同的余数$r$。令这两个数为$im+a$和$jm=a$，其中，存在两整数$q_i$和$q_j$，使得$$im+a=q_{i}n+r$$且$$jm+b=q_{j}n+r$$第二个方程减去第一个方程，得$$(j-i)m=(q_i-q_j)n$$上面方程告诉我们，$n$是$(j-i)m$的因子。因为$n$与$m$互素，因此$n$只能是$j-i$的因子。这与我们的假设相矛盾：$a,m+a,2m+a,...,(n-1)m+a$中两个除以$n$有相同的余数。因此，这$n$个数中的每一个除以$n$都有不同的余数。根据鸽巢原理，$n$个数$0,1，。。。，n-1$中的每一个都有作为余数出现；特别是$b$也如此。设$p$为整数，满足$0⩽p⩽n-1$，使得数$x=pm+a$除以$n$余数为$b$。则对于某个整数$q$，有$$x=qn+b$$因此，$x=pm+a$且$x=qm+b$，从而$x$具有要求的性质。

2 鸽巢原理：加强版

定理2.1 设$q_1,q_2,...,q_n$是正整数。如果将$$q_1+q_2+...+q_n-n+1$$个物体放入$n$个盒子内，那么或者第一个盒子至少含有$q_1$个物体，或者第二个盒子至少含有$q_2$个物体，…，或者第$n$个盒子至少含有$q_n$个物体。

证明 假设我们把$q_1+q_2+...+q_n-n+1$个物体放入n个盒子中。如果对于每一个$i=1,2,...,n$，第$i$个盒子含有少于$q_i$个物体，那么所有盒子中的物体总数不超过$$(q_1-1)+(q_2-1)+...+(q_n-1)=q_1+q_2+...+q_n-n$$由于上面这个数比分配物体的总数少$1$，矛盾，因此，对于某一个$i=1,2,...,n$第$i$个盒子至少含有$q_i$个物体。

注意 鸽巢原理的简单形式可以通过取$q_1=q_2=...=q_n=2$而由加强版达到。此时有$$q_1+q_2+...+q_n-n+1=2n-n+1=n+1$$

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

可以用另一种方法阐述这一原理，即平均原理：
如果$n$个非负整数$m_1,m_2,...,m_n$的平均数大于$r-1$，即$$\frac{m_1+m_2+...+m_n}{n}>r-1$$那么至少有一个整数大于或等于$r$。

想明白推论2.2与这个平均原理的关系，只需要取$n(r-1)+1$个物体并把它们放入$n$个盒子即可。对于$i=1,2,...,n$，设$m_i$是第$i$个盒子中的物体个数。于是这$m$个数$m_1,m_2,...,m_n$的平均数为$$\frac{m_1+m_2+...+m_n}{n}=\frac{n(r-1)+1}{n}=r-1+\frac{1}{n}$$因为这个平均数大于$r-1$，所有整数$m_i$中有一个至少是$r$。换句话说，这些盒子中有一个至少含有$r$个物体。

还有一个不同的平均原理是：
如果$n$个非负整数$m_1,m_2,...,m_n$的平均数小于$r+1$，即$$\frac{m_1+m_2+...+m_n}{n}>r-1$$那么至少有一个整数小于或等于$r$。