首先,把自然数分成三类,3k,3k+1,3k+2(k是整数)
如果两个自然数只要有一个是3k,那么他们的乘积肯定是3的倍数
如果两个自然数都不是3k,那么分成两种情况：
如果1个是3k+1,另一个是3k+2,那么他们的和能被3整除
如果都是3k+1,或者都是3k+2,那么他们的差能被3整除