Find all maps f:Z≥1→Z≥1 such that for any positive integers a and b, the number af(a)2+bf(b)2+3ab(f(a)+f(b)) is a perfect cube.
Solution
For any prime p let us set a=b=p. Hence 2pf(p)(f(p)+p) is a perfect cube, we have p∣f(p). Let f(p)=kp, k∈Z≥1. Setting a=p, b=1,2 we get that pf(p)2+f(1)2+3p(f(p)+f(1))pf(p)2+2f(2)2+6p(f(p)+f(2))=m3=n3. Hence m,n>3k2p and 33k2p(3k2p−1)+1<n3−m3=3kp2+3p(2f(2)−f(1))+2f(2)2−f(1)2. From this inequality we conclude that if p is sufficiently big then k=1. Now for any positive integer c and for a sufficiently big prime p, we set a=c and b=p. This yields that (c+p−1)3<cf(c)2+p3+3cp(f(c)+p)<(c+p+1)3. and therefore cf(c)2+p3+3cp(f(c)+p)=(c+p)3. Hence f(c)=c. Thus f is the identity map.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.