反证法 假设不存在两个数的差是5的倍数 .设六个自然数分别为x1,x2,x3,x4,x5,x6
xi-xj=5m+k(m为任意整数,k为余数,k=1,2,3,4)i,j=1,2,3,4,5,6.x2-x1,x3-x2,x4-x3,x5-x4,x6-x5这五组数除以5的余数一定不同,因为如果相同的话 ,比如x2-x1=5m+k,x3-x2=5n+k,我们发现此x3-x1=5(m+n),是5的倍数,产生矛盾.所以五组数余数都不相同.但是余数只能是1,2,3,4四种情况,所以五组数余数总有两个是相同的,产生矛盾.原命题得证