第3章 鸽巢原理

3.1 鸽巢原理的简单形式

又名“迪利克雷原理” 大一数分第一课证明有理数可数时用的就是这个原理，老朋友了

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

鸽巢原理在数论中的应用

【例】：从{$1,2,3,...,2n$}中选择n+1个整数，证明一定存在两个整数，它们之间差为1

证：将{$1,2,3,...,2n$}划分成n个子集，$S_i=2i-1,2i$

由鸽巢原理知，从中取n个数，一定会有一个子集中的整数被同时取出，这两个整数之间差为1

【例】：有n+1个正整数，且这些正整数是小于等于2n，是否会有一对数是互素的？

证1（同上）：将1,2,…,2n划分为n个子集，$S_i=2i-1,2i$

由鸽巢原理知，从中取n个数，一定会有一个子集中的整数被同时取出，且这两个数字互素。

证2：有$1\le a_1<a_2...<a_{n+1}\le 2n$，构造$1<b_1<b_2...<b_{n+1}\le 2n+1$

现有2n+2个数，这些数在1-2n+1之间，由鸽巢原理，这2n+2个数中至少有两个相等。又$a_i$不相等，因此存在一对$b_j=a_j+1$与$a_k$相等。

【例】：在m个正整数$a_1,a_2,....,a_m$中，存在$0\le k<l\le m$，使得$a_{k+1}+a_{k+2}+...+a_l$能够被m整除

证：构造m个子集$S_i={\sum }_{n=1}^k{a}_i,1\le i\le m$

若存在$S_i$能被m整除，则有$a_1+a_2+...+a_i$能被m整除

若不存在$ S_i$ 能被m整除，则m个 $S_i$ 除m的余数一定在1-m-1即m-1中余数。由鸽巢原理，必然存在$i,j$ 且$i\ne j$，使得$S_i\%m=S_j\%m$.因此$(S_j-S_i)\%m=0$,有$a_{i+1}+...+a_j$能够被m整除

【例】：从整数1，2，…，200中选取101个整数，证明所选的数中存在两个整数，使得其中一个是另一个的因子

证：对于1到200间的整数n，可以写作$n=2^k\times a$（1)，其中a是1，2，…，200内的奇数。由于要选101个整数，而200内只有100个奇数，由鸽巢原理知，比存在两个整数$n_1$与$n_2$写作(1)式后两个奇数相等。

【例】：在n+2个任选的正整数中，存在两个数，或者其差能被2n整除，或者其和能被2n整除

证：构造n+1个被2n除余数的子集$S_i=2n-i,i$ ，$0\le i\le n$，取自同一个子集的两个数，必然满足和或者差可以被2n整除。由鸽巢原理知，n+2个数一定存在两个数字来自相同的$S_i$

【例】：一间屋子10个人，当中没有人超过60岁。但又至少不低于1岁。证明总能找到两组人（两组人中不含有相同的人），使得年龄和相同。题中的10能否换成更小的数？

1-60*9=540 ，$2^{10}$

鸽巢原理在几何图形类问题中的应用

【本】：在边长为1的等边三角形内任选5个点，证明一定存在两个点，其距离至多是$\frac{1}{2}$

证：将等边三角形依每边中点分成四部分，落在任意一个部分中的两点之间的距离至多是$\frac{1}{2}$.根据鸽巢原理，任意选择5个点，肯定有两个点落在同一部分。

【扩】：确定一个整数$n_k$,使得如果在边长为1的等边三角形中任意选择$n_k$个点，一定存在2个点，其距离至多是$\frac{1}{k}$

【例】：在直径为5的圆内任意给定10个点，证明存在亮点，它们之间的距离小于2

【本】：将矩形分成4行19列的网络，每个单元格涂一种颜色，有3中颜色可以选择。证明无论如何涂色，其中必有一个单元格构成的矩形4角上的格子被涂成一种颜色。

$\left(\genfrac{}{}{0ex}{}{4}{2}\right)3=18$

【扩】：把3行9列棋盘每个方格涂成红色或蓝色，证明必有两列方格的涂色方式是一样的

$2^3$ 种涂色方式，由鸽巢原理必然有两个是一样的

鸽巢原理——连续时间问题

【例】：某场在5年期间每一个月里至少试制一种新产品，每年最多试制19种新产品。证:一定存在连续几个月，恰好试制24种新产品

思路：$b_i=a_i+24$共120个数，这些数的取值在$1-19\ast 5=119$，必然有两个一样，又每个月至少试制一种，因此$a_i$严格递增。

证：设五年间每个月新产品数分别为$a_1,a_2,...,a_{60}$构造出数列$a_n$的前n项和的数列$s_1,s_2,...,s_{60}$

序列$s_1+24,s_2+24,...,s_{60}+24$ 也是严格递增序列。这120个数都在区间$[1,119]$中，根据鸽巢原理，必存在两数相等。

由于$s_1,s_2,...,s_{60}$ 和$s_1+24,s_2+24,...,s_{60}+24$ 均为严格单调，因此必然存在i和j，使得$s_i=s_j+24$.因此该厂从第$j+1$月到$i$月这几个月刚好试制了24种新产品。

鸽巢原理——计算机网络

【例】：假设由6台计算机组成的网络，证明这样的网络中至少存在两台计算机直接连接数量相同的其他计算机
证：（1）如果存在1台计算机连接台数为0，

​ (a)余下5台计算机中有一台连接台数为0，那么存在两台计算机连接相同数量的其他计算机；

​ (b)若余下5台计算机不存在连接台数为0，那么可能连接的台数为$[1,4]$,相当于4分抽屉，根据鸽巢原理，至少有两台计算机直接连接数量相同的其他计算机

(2)如果不存在计算机连接台数为0，那么每台计算机可能的连接台数为$[1,5]$。根据鸽巢原理，至少有两台…

中国剩余定理

令m,n为互素的正整数，a和b分别是小于m和n的非负整数。那么，存在正整数x，使得x除以m余数为a，且除以n余数为b，即$x=pm+a，x=qn+b$

思路：构造足够多“除以m余数为a”的整数，证明这n个数除以b的余数都不相同，那么b肯定出现在这n个数当中

证：考虑n个除以m余数为a的整数：$a,a+m,...,a+(n-1)m$

假设存在两个数$im+a$和$jm+a$ $(0\le i\le j\le n-1)$处于n的余数都是r，即存在非负整数k和l使得$im+a=kn+r,jm+a=ln+r$

上式相减得到$(i-j)m=(k-l)n$，由于$mn$互素，因此n是$j-i$的因子。这与$j-i<n$矛盾。

故上述n个整数除以n的余数各不相同。

由鸽巢原理，n个数都出现在这些余数集中，因此b也出现。设对应除以n余数为b的数为$x=pm+a(0\le p\le n-1)$,同时$x=qn+b(0\le q\le n-1)$结论成立。

【应用】：证明正整数n,必存在0和3组成的正整数能被n整除

证：构造3, 33, …, 3…3(n个3).

如果其中有可以被n整除，满足要求

如果没有可以被n整除的，则上述n个数除n的余数在$[1,n-1]$，由鸽巢原理，一定存在除n余数相等的数。将两数做差，得到的结果满足要求。