Maths Olympiad Prep

Library / /47 of 104

Combinatorics Difficulty 5.7 AIME, harder Prove it Bulgaria

Problem:
Find the least number of colors with the following property: the integers 1,2,,20041,2, \ldots, 2004 can be colored such that there are no integers a<b<ca < b < c of the same color for which aa divides bb and bb divides cc.

Solution

Solution:
Denote by f(n)f(n) the least number of colors such that the integers 1,2,,n1,2, \ldots, n can be colored in the required way. We shall prove that f(n)=(k+1)/2f(n) = \lfloor (k+1)/2 \rfloor, where 2k1n<2k2^{k-1} \leq n < 2^{k}.

Observe that in the sequence 1,2,22,,2k11, 2, 2^{2}, \ldots, 2^{k-1} we have no three numbers of the same color. This means that f(n)(k+1)/2f(n) \geq \lfloor (k+1)/2 \rfloor.

Consider the following coloring by (k+1)/2\lfloor (k+1)/2 \rfloor colors (each color is identified with an integer among 1,2,,(k+1)/21,2, \ldots, \lfloor (k+1)/2 \rfloor). If m=p1α1p2α2ptαtnm = p_{1}^{\alpha_{1}} p_{2}^{\alpha_{2}} \ldots p_{t}^{\alpha_{t}} \leq n, where pip_{i} are primes, then we have h(m):=α1++αt<kh(m) := \alpha_{1} + \cdots + \alpha_{t} < k and we can correctly color mm by the color (h(m)+1)/2\lfloor (h(m)+1)/2 \rfloor.

If aa divides bb and bb divides cc, then we have h(a)<h(b)<h(c)h(a) < h(b) < h(c), i.e., h(c)h(a)2h(c) - h(a) \geq 2. This means that the numbers aa and cc have different colors. Hence f(n)=(k+1)/2f(n) = \lfloor (k+1)/2 \rfloor.

Now applying the above formula for n=2004n = 2004 we get f(2004)=6f(2004) = 6.

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.