Setting in (∗)n=l3 we get: f(k3+f(m)3+l3)=f(k)3+m3+f(l3), in (∗)k=l, n=k3 we get: f(l3+f(m)3+k3)=f(l)3+m3+f(k3) Therefore, f(k)3−f(k3)=f(l)3−f(l3)=const=c,c∈Z (1)
Setting in (∗)k=f(s) we get: f(f(s)3+f(m)3+n)=f(f(s))3+m3+f(n) in (∗)k=l, n=k3 we get: f(f(m)3+f(s)3+n)=f(f(m))3+s3+f(n) Therefore, f(f(s))3−s3=f(f(m))3−m3=const=t,t∈Z In other words, f(f(m))3=m3+t and for m which is sufficiently large there is no perfect cube of the form m3+t, so t=0. I.e. f(f(m))3=m3 and more accurately f(f(m))=m. (⋆)
From (2) f(f(m))3=m3 Set in (1) l=f(m): f(f(m))3=f(f(m)3)+c If we put m=1 then 0<f(f(1)3)=1−c⇒c<1. Therefore, f(f(m)3)=m3−c Let's prove that c=0. In the case c<0: f(l)3−c=f(l3) P(l,−c)⇒f(l)3−c=f(l3+f(−c)) Therefore, f(l3)=f(l3+f(−c)) On the other hand, supposing that f(a)=f(b): P(m,a)⇒f(m3+f(a))=f(m)3+aP(m,b)⇒f(m3+f(b))=f(m)3+b Therefore, a=b which means f is injective. Moreover, f(l3)=f(l3+f(−c))⇒f(−c)=0 leads to contradiction. From this follows c=0. Therefore, f(13)=f(1)3⇒f(1)(f(1)2−1)=0⇒f(1)=1 And P(1,n)⇒f(1+f(n))=1+n. Let's prove that f(n)=n by induction. Case f(1)=1 is trivial. Supposing that f(n)=n is true, we get f(1+f(n))=f(n+1)=n+1 and this completes the proof. Obviously, the function f(n)=n satisfies the given condition.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.