A Question from 2023's Spanish Math Olympiad - 1st Phase Q1

  • Math
  • Olympiad
Published on Fri Jan 20 2023. Views
My solution to the problem.

Problem Statement

Let nn be a positive whole number. Every number from 1 to 2023 is colored using one of the nn distinct colors. Once colored, for any pair (a,b)(a, b) with a<ba < b and aba | b (b is divisible by a), the numbers aa and bb have distinct colors.

Find the minimum value of nn for which the scenario outlined above is true.

My Solution

Let's just start with a few numbers:

1,2,3,4,5,6,7,8\begin{aligned} 1, 2, 3, 4, 5, 6, 7, 8 \end{aligned}

To achieve the conditions previously described, every number must have a different color than that of its multiples. That is, for example, if 33 is green, none of its multiples like 6,9,126, 9, 12 can have the color of green. This means that to color those ones, at least one new color has to be added into consideration.

Let's use CkC_k to denote the kthk\text{th} color, and do the above process on the set of numbers from 11 to 88. Every number (apart from 11) in our set is a multiple of 11, so immediately we realize that at least 2 colors should be used. The first one of my steps is:

NumberColor
1C1C_1
2C2C_2
3C2C_2
4C2C_2
5C2C_2
6C2C_2
7C2C_2
8C2C_2

Now, this should apply not only to the number 1, but it should also hold true for other numbers.

So let's do this for the multiples of 22 now, but now we will need to use a third color for those:

NumberColor
1C1C_1
2C2C_2
3C2C_2
4C3C_3
5C2C_2
6C3C_3
7C2C_2
8C3C_3

For multiples of 3,, we realize that there is no need to alter the colors as 66 is already different from 33.

NumberColor
1C1C_1
2C2C_2
3C2C_2
4C3C_3
5C2C_2
6C3C_3
7C2C_2
8C3C_3

For multiples of 4:

NumberColor
1C1C_1
2C2C_2
3C2C_2
4C3C_3
5C2C_2
6C3C_3
7C2C_2
8C4C_4

The table above would be the final stage for our number set.

notice that at 22, 44, and 88, a new color is required to be considered. This also shows that whenever a power of 22 is reached, a new highest number of colors is required (1 more than the previous one). This pattern also applies to other multiples of 22, and this goes on until 210=10242^{10} = 1024 because 211=20482^{11} = 2048 exceeds the range stated in the question.

However our answer should be n=11n = 11 rather than n=10n = 10 because every number is a multiple of 11 so that extra color needs to be considered as well.

Our final solution is: the minimum value of nn required for the condition to hold true is 1111.