一些利用鸽巢原理的优雅证明

PigeonHole Principle:
If k is a positive integer and (k+1) or more objects are placed into k boxes,then 
there is at least one box containing two or more of the objects.

The Generalized PigeonHole Principle:
If N objects are placed into k boxes,then there is at least one box containing at 
least ⌈N/k⌉ objects.

        鸽巢原理（抽屉原理）及其一般性定理不难证明。这里主要关注利用鸽巢原理的一些优美的证明。

1.Show that for every integer n there is a multiple of n that has only 0s and 1s in 
its decimal expansion.

令n是一个正整数，考虑(n+1)个正整数1,11,111,...,11...1(这里有n+1个1)。
对于任何一个正整数A,考虑A除以n，则余数只可能有n种情况(即0到n-1)。
而这n+1个正整数分别除以n，会有n+1个余数。
由鸽巢原理，这些数中势必有两个数ai,aj(不妨假设ai>aj)除以n后余数相同。
令N=ai-aj,则N为n的倍数，且N的各位数字只可能为0或1。得证

        真的是很巧妙的构造了hh。

2.During a month with 30 days,a baseball team plays at least one game a day,but no 
more than 45 games.Show that there must be a period of some number of consecutive 
days during which the team must play exactly 14 games.

令an为截至至第n天结束，这支队伍进行过的比赛数量。
不难发现，an是一个首项大于等于1且严格单调增的数列，这里由于实际情况考虑a1到a30。
由题意可知，30≤a30≤45。则44≤a30+14≤59。
由于an的严格单调增性，可以知道，任意i(i为1到30的正整数)，都有1≤ai≤59,1≤ai+14≤59。
对于a1,a2,...,a30,a1+14,a2+14,...,a30+14这60个数而言，他们都介于1到59(包含两端)。
由鸽巢原理，必有两者，不妨设为bi,bj，相等。
由于an是严格单调增的，故bi,bj不同时属于a1到a30。
因此可知，存在i,j属于1到30，有ai=aj+14。
那么从第(j+1)天起，至第i天，恰好进行了14场比赛。得证。

        这个题作为一道联系实际的题目，结论并不是直觉上显然的，没有迹象可以让人直观地感受到在这个条件下一定会有一段时间比了恰好14场比赛。这是一个巧妙的构造证明。

3.Show that among any n+1 positive integers not exceeding 2n there must be an integer 
that divides one of the other integers.

令这(n+1)个数分别为a1,a2,...,a(n+1)。
对于其中的任何一个数(或者说对于任意一个正整数)，都可以写作2的幂次乘以一个奇数的形式。
即，ai=(2^pi)*qi,其中pi是一个自然数，qi是一个奇数。(其实就是把2都提出来)
则现在得到了(n+1)个奇数，q1,q2,q3,...,q(n+1)。
由题意可得,这些奇数均小于2n。而小于2n的奇数至多有n个。
由鸽巢原理，必有两者相等，设为qi=qj=q。
则ai整除aj或aj整除ai，这个顺序由它们的大小决定。
但总之，势必有一者整除另一者。得证。

        这里不仅是鸽巢原理，这种整数分解的方式也是很重要的。

4.Every sequence of (n^2)+1 distinct real numbers contains a subsequence of length 
n+1 that is either strictly increasing or strictly decreasing.

对于这个数列，称有序数对(ik,dk)为ak的“单调子列长度对”，
其中ik为自ak始的最长的单调增的子列长度，
dk为自ak始的最长的单调减的子列长度。

接下来采用反证法。
假设不存在这样的(n+1)长度的子列。则可能的最长的单调子列的长度为n。
也即,ik和dk的取值只能介于1到n。
由乘法原理，这样的有序数对(ik,dk)可以有n^2个。
但当前的有序数对有(n^2+1)个，于是由鸽巢原理，势必有两者，设为ap,aq，其单调子列长度对相等。
(1)若ap<aq。
则我们可以找到这样的一个单调增子列，ap,aq,...,ak。其中aq,...ak是自ap始的最长的单调增子列。
那么这样自ap始的最长的单调增子列的个数即为iq+1。但因为ap,aq单调子列长度对相等。
那么ip=iq=iq+1，矛盾。
(2)若ap>aq
同理，考虑dp,dq即可。

由(1)、(2)，得证。

Ramsey theory(拉姆齐定理):Assume that in a group of six people,each pair of 
individuals consists of two friends or two enemies.Show that there are either 
three mutual friends or three mutual enemies in the group.

不妨假设这六个人分别叫做A,B,C,D,E,F。
则对于A来说，其余五个人和他非敌即友。
那么就产生了两个集合，一个是A的朋友，一个是A的敌人。
由广义鸽巢原理，势必有一个集合中至少有⌈5/2⌉=3个元素。
不妨假设这个集合是A的朋友集合(敌人集合的分析方式同理)
不妨假设这个集合中的至少3个元素为B,C,D。
那么但凡B,C,D中有两个互相是朋友，他们就和A构成了题目中提及的3 mutual friends。
如果B,C,D两两互相不为朋友，那么说明他们两两为敌，则B,C,D构成了题目中提及的3 mutual enemies。
得证。