Difference between revisions of "2006 IMO Problems/Problem 4"
Mrdavid445 (talk | contribs) |
Mrdavid445 (talk | contribs) |
||
Line 1: | Line 1: | ||
===Problem=== | ===Problem=== | ||
Determine all pairs <math>(x, y)</math> of integers such that <cmath>1+2^{x}+2^{2x+1}= y^{2}.</cmath> | Determine all pairs <math>(x, y)</math> of integers such that <cmath>1+2^{x}+2^{2x+1}= y^{2}.</cmath> | ||
+ | |||
+ | |||
+ | ===Solution=== | ||
+ | <math>x < 0</math>: LHS integer iff <math>x =-1</math>, but then <math>LHS = 2 \neq y^{2}</math>. | ||
+ | <math>(x,y) = (0,2)</math> is a solution. | ||
+ | for <math>x = 1,2</math> no solution. | ||
+ | so assume <math>x > 2</math>. LHS is odd, so writing <math>y = 2n+1</math> gives us <math>2^{x-2}(1+2^{x+1}) = n(n+1)</math>. <math>n,n+1</math> are coprime, and so are <math>2^{x-2}, 1+2^{x+1}</math>. so <math>n = 2^{x-2}, n+1=1+2^{x+1}</math> or vice versa, but both lead to a contradiction |
Revision as of 13:28, 2 October 2012
Problem
Determine all pairs of integers such that
Solution
: LHS integer iff , but then . is a solution. for no solution. so assume . LHS is odd, so writing gives us . are coprime, and so are . so or vice versa, but both lead to a contradiction