抽屉原理

原理1： 把多于n+1个的物体放到n个抽屉里，则至少有一个抽屉里的东西不少于两件。

相对：把（mn－1）个物体放入n个抽屉中，其中必有一个抽屉中至多有（m—1）个物体。

 

整除问题：

 

 证明：任取8个自然数，必有两个数的差是7的倍数。

其实问是否有两个数差是7的倍数，实际上就是，是否两个数他们在mod 7的剩余系中代表同一个数

因为mod 7的剩余系只有7个数，所以，根据鸽巢原理，证明成立