鸽笼原理及其应用

鸽笼原理看似简单，但用途很广，并且有很多推论。

1. 鸽笼原理（The pigeon hole principle）

如果将 $n+1$ 个鸽子放进 $n$ 个笼里，那么至少有一个笼中有两只鸽子。

2. 一般鸽笼原理（General pigeon hole principle）

设 $q_1,q_2,\ldots,q_n$ 是正整数，如果有：

$$q_1+q_2+\cdots+q_n-n+1$$
只鸽子需要放进 $n$ 个鸽笼，那么或者第一个笼子至少有 $q_1$ 只鸽子，或者第二个笼子至少有 $q_2$ 只鸽子，。。。，或者第 $q_n$ 个鸽笼至少有 $q_n$只鸽子。

采用反证法证明，如果第 $i$ 个笼中最多有 $q_i-1$ 只鸽子，那么总共最多有：

$$\left(q_1-1\right)+\left(q_2-1\right)+\cdots+\left(q_n-1\right)= q_1+q_2+\cdots+q_n-n$$

少一只鸽子，因此矛盾。

3. 简单应用

• （1）从一副纸牌（排除大小王）中随机抽取 5 张纸牌，则至少存在两张牌的花色一致。

  注意，此时的“鸽”与“笼”分别指什么？
  “鸽”：5 张纸牌的各自花色，“笼”：四种花色；

• （2）三个人分四块蛋糕，本着公平的原则，一定有一个人会分得 2 块蛋糕；

• （3）五个蛋糕要放在两个盒子里，则存在一个盒子存放的蛋糕数量至少为3. $\frac{\left(5-1\right)}2+1$（5-1：表示减去余出来的一个鸽子）

4. 高级证明

从鸽笼原理到拉姆赛数

例1：任意给 m 个整数 $a_1,a_2,…,a_m$。
证明：必存在整数 $s,t(0≤s＜t≤m)$,使得 $m$ 整除 $a_{s+1}+a_{s+2}+…+a_t$。

证：令 $S_1=a_1, S_2=a_1+a_2,\ldots,S_m=a_1+a_2+\ldots+a_m$，若 $m$ 整除 $S_k$，问题得证。否则根据鸽笼原理（笼为余数），笼（余数）只能在 1,2,…, m-1（m-1）中间选择，一定存在 $S_s,S_t$，余数相同，根据相关数论定理：

$S_t-S_s=a_{s+1}+\ldots+a_t$ 能被 m <script id="MathJax-Element-865" type="math/tex">m</script> 整除；