整数n被3除只有以下三种形式：
n=3k,n^2=9k=3(3k)
n=3k+1,n^2=9k^2+6k+1=3k(3k+2)+1
n=3k-1 n^2=9k^2-6k+1=3k(3k-2)+1
它们的平方只能为3a 或3a+1的形式.所以得证.