Maths Olympiad Prep

Library / /8 of 30

, 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 n2n \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 n3n \ge 3). Now n1n-1 cannot be a difference of two red numbers (since 11 is blue), so n1n-1 is red. Similarly n2=(n1)1n-2 = (n-1)-1 has to be red since both 11 and 22 are blue. It follows that n5n \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
(n3)+(n4)=2n7. (n-3) + (n-4) = 2n-7.
Therefore, 2n7n    n72n - 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 n9n \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=98, 2=97, 4=73, 5=83, 6=93, 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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.