Maths Olympiad Prep

Library / /2 of 37

Combinatorics Difficulty 6.0 National olympiad Find the answer

Let P P be a convex n n polygon each of which sides and diagnoals is colored with one of n n distinct colors. For which n n does: there exists a coloring method such that for any three of n n colors, we can always find one triangle whose vertices is of P P' and whose sides is colored by the three colors respectively.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Let P P be a convex n n -polygon where each side and diagonal is colored with one of n n distinct colors. We need to determine for which n n there exists a coloring method such that for any three of the n n colors, we can always find one triangle whose vertices are vertices of P P and whose sides are colored by the three colors respectively.

First, we observe that n n cannot be even. This is because if any two distinct triangles get different color triples, there must be exactly (n12) \binom{n-1}{2} triangles that get color i i , and since every segment is part of exactly n2 n-2 triangles, there must be n12 \frac{n-1}{2} segments of color i i . This is an integer only if n n is odd.

For odd n n , consider the following coloring method: label the vertices with 1,,n 1, \ldots, n and color segment ij ij by the (i+jmodn) (i + j \mod n) -th color.

To verify that this works, assume for two triangles i1,j1,k1 i_1, j_1, k_1 and i2,j2,k2 i_2, j_2, k_2 we have i1+j1i2+j2modn i_1 + j_1 \equiv i_2 + j_2 \mod n , j1+k1j2+k2modn j_1 + k_1 \equiv j_2 + k_2 \mod n , and k1+i1k2+i2modn k_1 + i_1 \equiv k_2 + i_2 \mod n . Then we would have:
(i1+j1)+(j1+k1)(i1+k1)(i2+j2)+(j2+k2)(i2+k2)modn, (i_1 + j_1) + (j_1 + k_1) - (i_1 + k_1) \equiv (i_2 + j_2) + (j_2 + k_2) - (i_2 + k_2) \mod n,
which implies n2(j1j2) n \mid 2(j_1 - j_2) . Since n n is odd, we also have nj1j2 n \mid j_1 - j_2 , and as j1j2<n |j_1 - j_2| < n , it must be that j1=j2 j_1 = j_2 . Similarly, i1=i2 i_1 = i_2 and k1=k2 k_1 = k_2 , so the triangles were not different after all and the coloring is as desired.

Therefore, the answer is: n\boxed{n \text{}} must be odd}}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.