Question

（1）任给4个自然数，请说明：一定有两个数的差是3的倍数；（2）至少取几个数，才能保证一定有两个数的差

（1）任给4个自然数，请说明：一定有两个数的差是3的倍数；（2）至少取几个数，才能保证一定有两个数的差是7的倍数？

Answer 1

（1）如果两个整数a、b，它们除以自然数m的余数相同，那么它们的差a-b是m的倍数．根据这个性质，这4个自然数中有2个自然数，它们除以3的余数相同．
把所有自然数按被3除所得的3种不同的余数0、1、2分成3类．也就是3个抽屉．
任取4个自然数，根据抽屉原理，必有两个数在同一个抽屉中，也就是它们除以3的余数相同，因此这两个数的差一定是3的倍数．
故任取4个自然数，必有两个数的差是3的倍数．
（2）自然数除以7的余数为：0、1、2、3、4、5、6，因此7就把自然数分成了7类，
即：除以7余0、1、2、3、4、5、6，因此，可以把它看成是7个抽屉，
至少要有8个数，才能必然有一个抽屉里有两个数，而这两个数除以7的余数相同，也就是差是7的倍数，
答：根据上述分析，至少有8个数，就能保证其中必有两个数，它们的差是7的倍数．

Answer 2

引用猴03203放巫的回答：
（1）如果两个整数a、b，它们除以自然数m的余数相同，那么它们的差a-b是m的倍数．根据这个性质，这4个自然数中有2个自然数，它们除以3的余数相同．把所有自然数按被3除所得的3种不同的余数0、1、2分成3类．也就是3个抽屉．任取4个自然数，根据抽屉原理，必有两个数在同一个抽屉中，也就是它们除以3的余数相同，因此这两个数的差一定是3的倍数．故任取4个自然数，必有两个数的差是3的倍数．（2）自然数除以7的余数为：0、1、2、3、4、5、6，因此7就把自然数分成了7类，即：除以7余0、1、2、3、4、5、6，因此，可以把它看成是7个抽屉，至少要有8个数，才能必然有一个抽屉里有两个数，而这两个数除以7的余数相同，也就是差是7的倍数，答：根据上述分析，至少有8个数，就能保证其中必有两个数，它们的差是7的倍数．

你就不能讲的清楚一点吗