Page 1 of 1

USAJMO/USAMO 2017 P1

Posted: Sat Apr 22, 2017 8:24 am
by Zawadx
Prove that there are infinitely many distinct pairs $(a, b)$ of relatively prime integers $a>1$ and $b>1$ such that $a^b+b^a$ is divisible by $a+b$.

Re: USAJMO/USAMO 2017 P1

Posted: Sat Apr 22, 2017 12:55 pm
by aritra barua
When $a,b$ € $N$ and it follows that $a^x$=$b^y$,there exists $t$ € $N$ such that $a$=$t^k$,$b$=$t^q$.This lemma can be quite handy in this problem.

Re: USAJMO/USAMO 2017 P1

Posted: Sat Apr 22, 2017 1:33 pm
by Atonu Roy Chowdhury
Quite easy as USAMO #1
We'll show $(a,b)=(2n+1,2n-1)$ works. It is easy to see that $gcd(2n+1, 2n-1) =1 $.
$(2n+1)^{2n-1} + (2n-1)^{2n+1} \equiv (2n+1) + (2n-1) \equiv 0 (mod 4n) $ because $(2n \pm 1)^2 \equiv 4n^2 \pm 4n +1 \equiv 1 (mod 4n) $

Re: USAJMO/USAMO 2017 P1

Posted: Sat Apr 22, 2017 3:19 pm
by Thanic Nur Samin
aritra barua wrote:When $a,b$ € $N$ and it follows that $a^x$=$b^y$,there exists $t$ € $N$ such that $a$=$t^k$,$b$=$t^q$.This lemma can be quite handy in this problem.
Are you sure that helps? $a$ and $b$ need to be coprime.