MathLabs

第4题

求所有正整数 nn,使方程 xn+(2+x)n+(2−x)n=0x^n+(2+x)^n+(2-x)^n=0 有整数解。
第 3/6 步:证明奇数 n>1 时 x 必为偶数
n>1 odd⟹x is even,x=2yn>1\text{ odd}\Longrightarrow x\text{ is even},\qquad x=2y
详细分析

对奇数 n>1n>1,若 xx 为奇数,则 2+x2+x 与 2−x2-x 也为奇数,三个奇数幂之和为奇数,不可能等于零。因此 xx 为偶数,令 x=2yx=2y。方程除以 2n2^n 得 yn+(1+y)n+(1−y)n=0y^n+(1+y)^n+(1-y)^n=0。