因为任意取4个不同的自然数,用最大的减其余三个,差值除以3,只能余1或2,（如余0,则这两个数的差是3的倍数）,那一定有两个差同余1或同余2,则差余数相同的两个数差除以3余0.
对于问题补充：为什么4个自然数里总有一个数比另一个数大至少3?应该是4个不同自然数,将这4个数按从小到大排列,最大的比最小数大至少3
任取4个不同的自然数,必有两个数的差是3的倍数,为什么?
因为任意取4个不同的自然数,用最大的减其余三个,差值除以3,只能余1或2,（如余0,则这两个数的差是3的倍数）,那一定有两个差同余1或同余2,则差余数相同的两个数差除以3余0.
对于问题补充：为什么4个自然数里总有一个数比另一个数大至少3?应该是4个不同自然数,将这4个数按从小到大排列,最大的比最小数大至少3