Let be a positive integer. A positive integer is called -colorable if and only if we can color each vertex of a regular -gon with one of colors, such that any consecutive vertices of this regular -gon contain all colors.
Prove that for any , there are only finitely many non--colorable numbers, and find the largest non--colorable number.
, 2022
Solution
The largest non--colorable number is .
Suppose . Then there must exist some color that appears on at most vertices, and these vertices divide all the vertices not colored into at most consecutive segments. Since there are at least vertices not colored , there must exist a consecutive segment of non--colored vertices of length at least , and thus is a non--colorable number.
Now suppose . By the division algorithm, we have , where and . Then, starting from some vertex, going in clockwise order, we can first color in the sequence repeated times, and then color in the sequence repeated times. It is easy to verify that this coloring indeed satisfies the requirements of the problem, so all are -colorable numbers.
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.