Difference between revisions of "2017 USAJMO Problems/Problem 1"
m (→Solution) |
m (→Solution1) |
||
| Line 3: | Line 3: | ||
Prove that there are infinitely many distinct pairs <math>(a,b)</math> of relatively prime integers <math>a>1</math> and <math>b>1</math> such that <math>a^b+b^a</math> is divisible by <math>a+b</math>. | Prove that there are infinitely many distinct pairs <math>(a,b)</math> of relatively prime integers <math>a>1</math> and <math>b>1</math> such that <math>a^b+b^a</math> is divisible by <math>a+b</math>. | ||
| − | == | + | ==Solution 1== |
Let <math>a = 2^n - 1</math> and <math>b = 2^n + 1</math>. We see that <math>a</math> and <math>b</math> are relatively prime (they are consecutive positive odd integers). | Let <math>a = 2^n - 1</math> and <math>b = 2^n + 1</math>. We see that <math>a</math> and <math>b</math> are relatively prime (they are consecutive positive odd integers). | ||
Revision as of 18:26, 19 April 2017
Problem
Prove that there are infinitely many distinct pairs 
of relatively prime integers 
and 
such that 
is divisible by 
.
Solution 1
Let 
and 
. We see that 
and 
are relatively prime (they are consecutive positive odd integers).
Lemma: 
.
Since every number has a unique modular inverse, the lemma is equivalent to proving that 
. Expanding, we have the result.
Substituting for and , we have
![\[(2^k+1)^{2^k-1} + (2^k-1)^{2^k+1} \equiv 2^k - 1 + 2^k + 1 \equiv 0 \pmod{2^{k+1}},\]](http://latex.artofproblemsolving.com/5/5/7/5572c842a8d19ea1e35b514541c85bea6a906030.png)
where we use our lemma and the Euler totient theorem: 
when and 
are relatively prime.
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. 
See also
| 2017 USAJMO (Problems • Resources) | ||
| First Problem | Followed by Problem 2 | |
| 1 • 2 • 3 • 4 • 5 • 6 | ||
| All USAJMO Problems and Solutions | ||
