Difference between revisions of "2011 USAJMO Problems/Problem 1"
(→Solution 3) |
(→Solution 3) |
||
Line 39: | Line 39: | ||
==Solution 3== | ==Solution 3== | ||
− | Looking at residues | + | Looking at residues mod 3, we see that <math>n</math> must be odd, since even values of <math>n</math> leads to <math>2^n + 12^n + 2011^n = 2 \pmod{3}</math>. Also as shown in solution 2, for <math>n>1</math>, <math>n</math> must be even. Hence, for <math>n>1</math>, <math>n</math> can neither be odd nor even. The only possible solution is then <math>n=1</math>, which indeed works. |
Revision as of 04:13, 11 October 2011
Find, with proof, all positive integers for which is a perfect square.
Solution
Let . Since all perfect squares are congruent to 0 or 1 modulo 3, this means that n must be odd. Proof by Contradiction: I will show that the only value of that satisfies is . Assume that . Then consider the equation . From modulo 2, we easily that x is odd. Let , where a is an integer. . Dividing by 4, $2^{n-2} + 3^n \cdot 4^{n-1} = a^2 + a + \dfrac {1}{4} (1 - 2011^n})$ (Error compiling LaTeX. Unknown error_msg). Since , , so similarly, the entire LHS is an integer, and so are and . Thus, $\dfrac {1}{4} (1 - 2011^n})$ (Error compiling LaTeX. Unknown error_msg) must be an integer. Let $\dfrac {1}{4} (1 - 2011^n}) = k$ (Error compiling LaTeX. Unknown error_msg). Then we have . . Thus, n is even. However, I have already shown that must be odd. This is a contradiction. Therefore, is not greater than or equal to 2, and must hence be less than 2. The only positive integer less than 2 is 1. -hrithikguy
Solution 2
If , then , a perfect square.
If is odd, then .
Since all perfect squares are congruent to , we have that is not a perfect square for odd .
If is even, then .
Since , we have that is not a perfect square for even .
Thus, is the only positive integer for which is a perfect square.
Solution 3
Looking at residues mod 3, we see that must be odd, since even values of leads to . Also as shown in solution 2, for , must be even. Hence, for , can neither be odd nor even. The only possible solution is then , which indeed works.