因为N可以表示为3个3的倍数的平方和(好拗口).所以可以设N=9^n*(a^2+b^2+c^2)其中a不是3的倍数(这样做的目的是把N的分解式中的所有的9提出来.
然后,我们可以用有限递降来实现这个证明.
N=9^n*(a^2+b^2+c^2) =9^(n-1)*(9a^2+9b^2+9c^2) =9^(n-1)*[(2a+2b-c)^2+(2b+2c-a)^2+(2c+2a-b)^2](这一步的代数变形很巧妙,中间项正好都抵消了)
其中2a+2b-c=2(a+b+c)-3c 要使2a+2b-c不是3的倍数,只需2(a+b+c)不是3的倍数即可,如果3能整除a+b+c,则使-a代替a,因为a不是3的倍数,所以2(-a+b+c)就不是3的倍数.
按这种做法执行n次,就可以把9的次数降低为0,就实现了这个转化过程.
哈哈.我刚好前几天做了这道题.挺有趣的