在任意的四个自然数中,是否其中必有两个数,它们的差能被3整除?

问题描述:

在任意的四个自然数中,是否其中必有两个数,它们的差能被3整除?
同上

自然数可以分成三类:
被3整除,被3除余1,被3除余2,
所以任意4个数,都必有2个数是同一类,他们的差被3整除.
证毕.