2006 IMO Problems/Problem 4

Revision as of 13:28, 2 October 2012 by Mrdavid445 (talk | contribs)

Problem

Determine all pairs $(x, y)$ of integers such that \[1+2^{x}+2^{2x+1}= y^{2}.\]


Solution

$x < 0$: LHS integer iff $x =-1$, but then $LHS = 2 \neq y^{2}$. $(x,y) = (0,2)$ is a solution. for $x = 1,2$ no solution. so assume $x > 2$. LHS is odd, so writing $y = 2n+1$ gives us $2^{x-2}(1+2^{x+1}) = n(n+1)$. $n,n+1$ are coprime, and so are $2^{x-2}, 1+2^{x+1}$. so $n = 2^{x-2}, n+1=1+2^{x+1}$ or vice versa, but both lead to a contradiction