>>444
Z/3で考えたら
0+1=2+2
1+2=0+0
2+0=1+1
で変化の前後で合計は変わらない
0*13+1*15+2*17=1
13+15+17=0
0*x=1は決して成立しない
逆に
0x+1y+2z=d(x+y+z)
となるdが存在するとき
1x+2y+0z=(d+1)(x+y+z)
2x+0y+1z=(d+2)(x+y+z)
であるので
一般性を失わずd=0としてよい
すなわち
0x+1y+2z=0
y=z+3n
n=0なら
0(x+y+z)+1*0+2*0=0
とできる
n>0なら
0(x+y)+1*0+2(3n)=0
0(x+y)+1(3n)+2*0=0
n=-m<0なら
0(x+z)+1(3m)+2*0=0
とできるので
そもそも
0n+1(3m)+2*0=0
m>0
としてよい
n=0なら終了なのでn>0とすると
0(n-1)+1(3m-1)+2*2=0
0(n+3)+1(3(m-1))+2*0=0
とできるので次第に減らして
0(n+3m)+1*0+2*0=0
にすることが可能