yn+(1+y)n+(1−y)n=0y^n+(1+y)^n+(1-y)^n=0yn+(1+y)n+(1−y)n=0 を 222 を法として考え、nnn が奇数であることを使うと y+(1+y)+(1−y)=y+2≡0(mod2)y+(1+y)+(1-y)=y+2\equiv0\pmod2y+(1+y)+(1−y)=y+2≡0(mod2) となる。したがって yyy は偶数である。