组合数学（三）鸽巢原理

鸽巢原理

先来看鸽巢原理最简单的说明，若有n个鸽巢，n+1个鸽子，则至少有一个巢内有至少两个鸽子。

鸽巢原理主要不是用来计数，但是可以结合反证法来证明一些看起来很巧妙很难想到的数论结论，下面也主要通过几个例子来介绍鸽巢原理。

一个学生有37天用来准备考试。根据以往的经验，他知道他需要的学习时间不超过60小时。他还希望每天至少学习1个小时。请你证明：无论她如何安排她的学习时间（假设每天的学习时间是一个整数），都存在连续的若干天，在此期间他恰好学习了13个小时。

证明如下：
$$\begin{gathered} 不妨设a_1是第一天学习的时间，a_2是第一天和第二天学习的时间总和，以此类推，由题可得a是一个严格递增序列，即： \\ 1<=a_1<a_2<\dots \dots <a_{37}<=60（序列1） \\ 易得序列a_1+13,a_2+13\dots \dots a_{3}7+13也是一个严格递增序列，即： \\ 14<=a_1+13<a_2+13<\dots \dots <a_{37}+13<=73（序列2） \\ 由此可知这74个数都是1到73之间的数，由鸽巢原理可知必有两个数是一样的，由于数列1和数列2都是单调递增的，所以必然存在 \\ {a}_i=a_j+13 \\ 从而此人在第j+1，j+2，\dots \dots ，i天总共学习了13个小时 \end{gathered}$$
到最后也就不难看出这个如此巧妙的13小时是怎么来的了，其实是为了刚好凑出那个鸽巢原理的条件，事实上14小时，15小时也是满足条件的（不妨自己想想为什么？）

再来看一题有些类似的题：

这题的题意很简单，看起来很抽象，其实就是问你m个整数，是否一定存在连续的数，这几个数的和能被m整除，可以用反证法来说明：
$$\begin{gathered} 考虑m个和a_1,a_1+a_2,\dots \dots a_1+a_2\dots \dots a_m \\ 假设这m个和都不被m整除，即除m都有一个非零整数，整数范围从1到m-1，一共是m-1个数， \\ 但是我们知道有m个数来取模，根据鸽巢原理，这个m个和的模至少有两个是相同的，假设相同的摸是x，即： \\ {a}_1+a_2\dots \dots a_i=am+x{a}_1+a_2\dots \dots a_j=bm+x \\ 那么两边一减就可以得a_k+\dots \dots +a_j=(b-a)m \\ 结果得证 \end{gathered}$$

广义的鸽巢原理

Ramsey定理