Maths Olympiad Prep

Library / South-Afrika /58 of 64

South-Afrika, 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 x≤yx \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 x≤t≤yx \le t \le y; the length of this segment is y−xy - 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)x≠f(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(y−1))+f(x)=⋯=f(k)+yf(x),f(k+m)=f(k+xy)=f(k+(x−1)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(z−1)≤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 z−b1≤mz-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(b2−b1)≤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 R≥2mR \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<z−b=(z−r)+(r−b)≤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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.