Maths Olympiad Prep

Library / SAUDI ARABIAN IMO Booklet /6 of 25

SAUDI ARABIAN IMO Booklet, 2023

Combinatorics Difficulty 7.8 National Olympiad, round 2 Prove it Saudi Arabia

Each integer from 11 to nn was colored either red, or blue, and each color was used at least once. It turned out that
* Every red number is a sum of some two distinct blue numbers;
* Every blue number is a difference of some two red numbers.
Find the smallest number nn for which such coloring is possible.

Solution

The smallest such number is n=9n = 9.
Suppose that nn is a number allowing for coloring with the desired properties. Then n≥2n \ge 2 since each color needs to be used at least once. Note that nn cannot be blue since it is inexpressible as a difference of two numbers between 11 and nn, therefore nn is red. On the other hand, 11 and 22 cannot be red, since none of them is a sum of two distinct positive integers, which means 11 and 22 are blue (and in particular n≥3n \ge 3). Now n−1n-1 cannot be a difference of two red numbers (since 11 is blue), so n−1n-1 is red. Similarly n−2=(n−1)−1n-2 = (n-1)-1 has to be red since both 11 and 22 are blue. It follows that n≥5n \ge 5.

Since nn is red, it needs to be a sum of two distinct blue numbers. But a sum of two blue numbers cannot exceed
(n−3)+(n−4)=2n−7. (n-3) + (n-4) = 2n-7.
Therefore, 2n−7≥n  ⟹  n≥72n - 7 \ge n \implies n \ge 7.
If n=7n = 7, then the only remaining possibility to express 77 as a sum of two blue numbers is 3+43+4, but then 44 is not a difference of two red numbers, contradiction. Similarly with n=8n = 8.
We have proved that n≥9n \ge 9. It remains to show that there exists a valid coloring for n=9n = 9. We can color 11, 22, 44, 55, 66 blue and 33, 77, 88, 99 red. Correctness of this coloring follows from the simple arithmetic:
1=9−8, 2=9−7, 4=7−3, 5=8−3, 6=9−3, 1 = 9 - 8,\ 2 = 9 - 7,\ 4 = 7 - 3,\ 5 = 8 - 3,\ 6 = 9 - 3,
3=1+2, 7=1+6, 8=2+6, 9=4+5. 3 = 1 + 2,\ 7 = 1 + 6,\ 8 = 2 + 6,\ 9 = 4 + 5.

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.