IMO Shortlist-2011 N3

Discussion on International Mathematical Olympiad (IMO)
mutasimmim
Posts:107
Joined:Sun Dec 12, 2010 10:46 am
IMO Shortlist-2011 N3

Unread post by mutasimmim » Fri Sep 19, 2014 10:08 pm

Let $n\ge 1$ be an odd natural number. Find all functions $f$ from the set of integers to itself such that for all integers $x$ and $y$ the difference $f(x)-f(y)$ divides $x^n-y^n$.

mutasimmim
Posts:107
Joined:Sun Dec 12, 2010 10:46 am

Re: IMO Shortlist-2011 N3

Unread post by mutasimmim » Fri Sep 19, 2014 10:20 pm

My progress till now:
$1$. Proved $f(0)=0$.
$2$. $f(x)\mid x^n$.
$3$ If we find such a function and inverse the sign of $f(x)$ for all integers $x$, that is, $g(x)=-f(x)$ also satisfies our conditions. Thus WLOG I let $f(1)$ non negative.
$3$. Proved $f(1)=1, f(-1)=-1$
$4$. Proved for prime $ p $, $f(p)=p^u$ for some $u\mid n$ and $f(-p)=-p^u$ for the same $u$ as in $f(p)$, that is, $f(p)=-f(-p)=p^u$, where $u\mid n$.
$5$. $f(x)=x$ is an obvious solution.

User avatar
*Mahi*
Posts:1175
Joined:Wed Dec 29, 2010 12:46 pm
Location:23.786228,90.354974
Contact:

Re: IMO Shortlist-2011 N3

Unread post by *Mahi* » Sat Sep 20, 2014 8:03 am

Another member of the "Great Set of Number Theoretical Functions."

Next step:
Prove that if $p, p'$ are two different primes with $f(p) = p^{u}, f(p')=p'^{u'}$, then $u=u'$.
Please read Forum Guide and Rules before you post.

Use $L^AT_EX$, It makes our work a lot easier!

Nur Muhammad Shafiullah | Mahi

Post Reply