A Question from 2023's Spanish Math Olympiad - 1st Phase Q1
- Math
- Olympiad
Let be a positive whole number. Every number from 1 to 2023 is colored using one of the distinct colors. Once colored, for any pair with and (b is divisible by a), the numbers and have distinct colors.
Find the minimum value of for which the scenario outlined above is true.
Let's just start with a few numbers:
To achieve the conditions previously described, every number must have a different color than that of its multiples. That is, for example, if is green, none of its multiples like 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 to denote the color, and do the above process on the set of numbers from to . Every number (apart from ) in our set is a multiple of , so immediately we realize that at least 2 colors should be used. The first one of my steps is:
Number | Color |
---|---|
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 |
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 now, but now we will need to use a third color for those:
Number | Color |
---|---|
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 |
For multiples of 3,, we realize that there is no need to alter the colors as is already different from .
Number | Color |
---|---|
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 |
For multiples of 4:
Number | Color |
---|---|
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 |
The table above would be the final stage for our number set.
notice that at , , and , a new color is required to be considered. This also shows that whenever a power of is reached, a new highest number of colors is required (1 more than the previous one). This pattern also applies to other multiples of , and this goes on until because exceeds the range stated in the question.
However our answer should be rather than because every number is a multiple of so that extra color needs to be considered as well.
Our final solution is: the minimum value of required for the condition to hold true is .