Maths Olympiad Prep

Library / /63 of 69

, 2011

Algebra Difficulty 6.7 National Olympiad Prove it South Africa

Each positive integer is coloured red or blue. A function ff from the set of positive integers to itself has the following two properties:
(a) if xyx \le y, then f(x)f(y)f(x) \le f(y); and
(b) if x,yx, y and zz are (not necessarily distinct) positive integers of the same colour and x+y=zx + y = z, then f(x)+f(y)=f(z)f(x) + f(y) = f(z).
Prove that there exists a positive number aa such that f(x)axf(x) \le a x for all positive integers xx.

Solution

For integers xx and yy, by a segment [x,y][x, y] we mean the set of all integers tt such that xtyx \le t \le y; the length of this segment is yxy - x.
If, for every two positive integers xx and yy of the same colour we have f(x)x=f(y)y\frac{f(x)}{x} = \frac{f(y)}{y}, then one can choose a=max{f(r)r,f(b)b}a = \max\left\{\frac{f(r)}{r}, \frac{f(b)}{b}\right\}, where rr and bb are arbitrary red and blue numbers, respectively. So we can assume that there are two red numbers xx and yy such that f(x)xf(y)y\frac{f(x)}{x} \ne \frac{f(y)}{y}.
Set m=xym = x y. Then each segment of length mm contains a blue number. Indeed, assume that all the numbers on the segment [k,k+m][k, k+m] are red. Then
f(k+m)=f(k+xy)=f(k+x(y1))+f(x)==f(k)+yf(x),f(k+m)=f(k+xy)=f(k+(x1)y)+f(y)==f(k)+xf(y), f(k + m) = f(k + x y) = f(k + x(y - 1)) + f(x) = \dots = f(k) + y f(x), \\ f(k + m) = f(k + x y) = f(k + (x - 1)y) + f(y) = \dots = f(k) + x f(y),
so yf(x)=xf(y)y f(x) = x f(y), a contradiction. Now we consider two cases.

Case 1. Assume that there exists a segment [k,k+m][k, k+m] of length mm consisting of blue numbers. Define D=max{f(k),,f(k+m)}D = \max\{f(k), \dots, f(k+m)\}. We claim that f(z)f(z1)Df(z) - f(z-1) \le D, whenever z>kz > k, and the conclusion follows. Consider the largest blue number b1b_1 not exceeding zz, so zb1mz-b_1 \le m, and some blue number b2b_2 in the segment [b1+k,b1+k+m][b_1+k, b_1+k+m], so b2>zb_2 > z. Write f(b2)=f(b1)+f(b2b1)f(b1)+Df(b_2) = f(b_1) + f(b_2-b_1) \le f(b_1) + D to deduce that f(z+1)f(z)f(b2)f(b1)Df(z+1) - f(z) \le f(b_2) - f(b_1) \le D, as claimed.

Case 2. Each segment of length mm contains numbers of both colours. Fix any red number R2mR \ge 2m such that R+1R+1 is blue and set D=max{f(R),f(R+1)}D = \max\{f(R), f(R+1)\}. Now we claim that f(z+1)f(z)Df(z+1)-f(z) \le D, whenever z>2mz > 2m. Consider the largest red number rr not exceeding zz and the largest blue number bb smaller than rr; then 0<zb=(zr)+(rb)2m0 < z-b = (z-r)+(r-b) \le 2m, and b+1b+1 is red. Let t=b+R+1t = b+R+1; then t>zt > z. If tt is blue, then f(t)=f(b)+f(R+1)f(b)+Df(t) = f(b)+f(R+1) \le f(b)+D, and f(z+1)f(z)f(t)f(b)Df(z+1)-f(z) \le f(t)-f(b) \le D. Otherwise, f(t)=f(b+1)+f(R)f(b+1)+Df(t) = f(b+1)+f(R) \le f(b+1)+D, hence f(z+1)f(z)f(t)f(b+1)Df(z+1)-f(z) \le f(t)-f(b+1) \le D, as claimed.

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.