MathLabs

Problem 4

Determine all pairs (x,y)(x,y) of integers such that 1+2x+22x+1=y21+2^{x}+2^{2x+1}=y^{2}.
Step 7 of 7: Recover the remaining solutions
m=3⟹x=4,y=23⋅3−1=23⟹(x,y)=(4,±23)m=3\Longrightarrow x=4,\quad y=2^{3}\cdot3-1=23\Longrightarrow (x,y)=(4,\pm23)
Detailed analysis

Putting m=3m=3 into 1+m=2x−2(m2−8)1+m=2^{x-2}(m^2-8) gives 4=2x−24=2^{x-2}, hence x=4x=4. Then y=2x−1m−1=23y=2^{x-1}m-1=23, and the symmetry y↦−yy\mapsto-y gives (4,±23)(4,\pm23). Together with Step 2, the complete set is (0,±2)(0,\pm2) and (4,±23)(4,\pm23).