Maths Olympiad Prep

Library / /51 of 397

, 2022

Combinatorics Difficulty 5.0 AIME Prove it Taiwan

Let n3n \ge 3 be a positive integer. A positive integer mn+1m \ge n+1 is called nn-colorable if and only if we can color each vertex of a regular mm-gon with one of nn colors, such that any n+1n+1 consecutive vertices of this regular mm-gon contain all nn colors.
Prove that for any n3n \ge 3, there are only finitely many non-nn-colorable numbers, and find the largest non-nn-colorable number.

Solution

The largest non-nn-colorable number is mmax=n(n1)1m_{\text{max}} = n(n-1) - 1.

Suppose m=mmaxm = m_{\text{max}}. Then there must exist some color CC that appears on at most n2n-2 vertices, and these vertices divide all the vertices not colored CC into at most n2n-2 consecutive segments. Since there are at least n(n1)1(n2)=(n1)2>n(n2)n(n-1) - 1 - (n-2) = (n-1)^2 > n(n-2) vertices not colored CC, there must exist a consecutive segment of non-CC-colored vertices of length at least nn, and thus mmaxm_{\text{max}} is a non-nn-colorable number.

Now suppose mmmax+1=n(n1)m \ge m_{\text{max}} + 1 = n(n-1). By the division algorithm, we have m=nk+jm = nk + j, where kn1k \ge n-1 and 0jn10 \le j \le n-1. Then, starting from some vertex, going in clockwise order, we can first color in the sequence [1,2,,n][1, 2, \dots, n] repeated kjk-j times, and then color in the sequence [1,1,2,,n][1, 1, 2, \dots, n] repeated jj times. It is easy to verify that this coloring indeed satisfies the requirements of the problem, so all m>mmaxm > m_{\text{max}} are nn-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.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.