第4题

由于 $1+2^{x+1}$ 为奇数，右边的 2-adic 总赋值为 $x$。两个相差 $2$ 的偶数中一个的赋值恰为 $1$，另一个承担其余的幂，因此 $x\ge3$，并可取 $y>0$（改变 $y$ 的符号不改变方程）而写成 $y=2^{x-1}m+\varepsilon$，其中 $m$ 为奇数且 $\varepsilon=\pm1$。