设这三个数 x1,x2,x3
mod(x,3)只有0,1,2三种可能
如果其中两个任何两个数对3的MOD是同一个值,比如x1和x2,即mod(x1,3)=mod(x2,3),那么 mod(x1-x2,3)=0,即x1-x2必定是3的倍数
如果3个数的mod均不一样,那只有一种可能,即他们的mod各为0,1,2假设x1,x2的模各为1,2,那么mod(x1,3)+mod(x2,3)=mod(x1+x2,3)=1+2=3(这种情况实际是0,因为3就是3的倍数),那么x1+x2必定是3的倍数
宗上,其中必定有两个数和或者差是3的倍数
附注:mod(n,m)表示n除m的余数,比如mod(5,3)=2,mod(6,3)=0