Maths Olympiad Prep

Library / /18 of 19

Combinatorics Difficulty 9.0 IMO level Prove it Germany

Problem:

Two positive integers nn and kk are given. In the plane there are nn circles (n2n \geq 2), such that every circle intersects every other circle twice and all these intersection points are pairwise distinct.
Every intersection point is colored with one of nn colors so that every color is used at least once and on each of the circles the same number kk of colors is represented.
Determine all values of nn and kk for which such a coloring is possible.

Solution

Solution:

The answer is: 2kn32 \leq k \leq n \leq 3 or 3kn3 \leq k \leq n.
Clearly knk \leq n holds by the statement of the problem, and also k2k \geq 2, because for k=1k=1 all points would have the same color, while the number nn of colors is supposed to be 2\geq 2. We number the circles and the colors from 1 to nn and denote by F(i,j)F(i, j) the set of colors of the intersection points of circles ii and jj. F(i,j)F(i, j) contains one or two elements.

Let k=2k=2. For n=2n=2, F(1,2)={1,2}F(1,2)=\{1,2\} is an admissible coloring. For n=3n=3, F(1,2)={3}F(1,2)=\{3\}, F(2,3)={1}F(2,3)=\{1\}, F(3,1)={2}F(3,1)=\{2\} is an example of an admissible coloring. Now let n4n \geq 4. To each of the nn circles we assign the set {i,j}\{i, j\} of the two colors occurring on it. Each of these sets consists of two elements, and each of the nn colors must occur in at least two sets, since at every colored point two circles intersect. Hence each color occurs in exactly two sets. For circle 1 with the set {i,j}\{i, j\} there are therefore at most two other circles in whose color sets ii or jj occur. Since n4n \geq 4, we can always find a circle 2 with the set {k,l}\{k, l\} and {k,l}{i,j}={}\{k, l\} \cap \{i, j\}=\{ \}. The intersection points of circles 1 and 2 then cannot be colored admissibly – contradiction!

We now prove by complete induction a somewhat stronger statement than required: For nk3n \geq k \geq 3 there always exists an admissible coloring in which, on circle ii, the color ii occurs, for all i=1,,ni=1, \ldots, n. As a base case, for k=n=3k=n=3 we give the example F(1,2)={1,2}F(1,2)=\{1,2\}, F(1,3)={1,3}F(1,3)=\{1,3\}, F(2,3)={2,3}F(2,3)=\{2,3\}, and for k=3,n>3k=3, n>3 the following example of an admissible coloring with the additional condition:

F(1,2)={1,2}F(1,2)=\{1,2\}, F(i,i+1)={i}F(i, i+1)=\{i\} for 1<i<n11<i<n-1, F(n1,n)={n2,n1}F(n-1, n)=\{n-2, n-1\} and F(i,j)={n}F(i, j)=\{n\} for the remaining pairs (i,j)(i, j) with 1i<jn1 \leq i<j \leq n.

Now we assume that the stronger statement holds for some k3k \geq 3, and choose nk+1n \geq k+1. Since n1k3n-1 \geq k \geq 3, there is an admissible coloring with the additional condition for the circles resp. colors 1,2,...,n11,2,..., n-1. Now we color the intersection points of circle nn: for each i=1,,n1i=1, \ldots, n-1, one intersection point of circles ii and nn receives the color nn. Thus on each of the circles ii with i=1,,n1i=1, \ldots, n-1 exactly k+1k+1 colors occur; among them ii and nn. For i=1,,ki=1, \ldots, k, the second intersection point of circles ii and nn receives the color ii, so that now exactly k+1k+1 colors also lie on circle nn, namely 11 through kk and nn. All remaining new intersection points receive the color nn, so that no further colors are added on any circle. This coloring satisfies all conditions.

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 de; metadata (topic, difficulty) added by this project.