现在设 x>0x>0x>0。原方程右边为奇数,所以 yyy 为奇数。移项得 (y−1)(y+1)=2x(1+2x+1)(y-1)(y+1)=2^x(1+2^{x+1})(y−1)(y+1)=2x(1+2x+1)。左边两个因子均为偶数,且恰有一个能被 444 整除。