Each positive integer is coloured red or blue. A function from the set of positive integers to itself has the following two properties:
(a) if , then ; and
(b) if and are (not necessarily distinct) positive integers of the same colour and , then .
Prove that there exists a positive number such that for all positive integers .
, 2011
Solution
For integers and , by a segment we mean the set of all integers such that ; the length of this segment is .
If, for every two positive integers and of the same colour we have , then one can choose , where and are arbitrary red and blue numbers, respectively. So we can assume that there are two red numbers and such that .
Set . Then each segment of length contains a blue number. Indeed, assume that all the numbers on the segment are red. Then
so , a contradiction. Now we consider two cases.
Case 1. Assume that there exists a segment of length consisting of blue numbers. Define . We claim that , whenever , and the conclusion follows. Consider the largest blue number not exceeding , so , and some blue number in the segment , so . Write to deduce that , as claimed.
Case 2. Each segment of length contains numbers of both colours. Fix any red number such that is blue and set . Now we claim that , whenever . Consider the largest red number not exceeding and the largest blue number smaller than ; then , and is red. Let ; then . If is blue, then , and . Otherwise, , hence , as claimed.