Maths Olympiad Prep

Library / /42 of 520

Number theory Difficulty 5.3 AIME, harder Prove it

Let ff be a function from the set of integers to the set of positive integers. Suppose that for any two integers mm and nn, the difference f(m)f(n)f(m)-f(n) is divisible by f(mn)f(m-n). Prove that for all integers m,nm, n with f(m)f(n)f(m) \leq f(n) the number f(n)f(n) is divisible by f(m)f(m).

Solution

Suppose that xx and yy are two integers with f(x)0f(x)0 so so f(x-y) \leq f(y)-f(x)<f(y).Hencethenumber. Hence the number d=f(x)-f(x-y)satisfies satisfies f(y)<f(xy)<d<f(x)<f(y). -f(y)<-f(x-y)<d<f(x)<f(y) . Taking Taking m=xand and n=x-yweseethat we see that f(y) \mid d,sowededuce, so we deduce d=0,orinotherwords, or in other words f(x)=f(x-y).Taking. Taking m=xand and n=yweseethat we see that f(x)=f(x-y) \mid f(x)-f(y),whichimplies, which implies f(x) \mid f(y)$.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.