Maths Olympiad Prep

Library / /98 of 120

Combinatorics Difficulty 6.4 National Olympiad Prove it Croatia

There were nn students participating in a competition and each student solved exactly three problems. For any two students there is exactly one problem which they both solved, while each problem was solved by exactly kk students. For which positive integers nn and kk is that possible?
(Moscow olympiad 1947)

Solution

For k=1k=1 each problem was solved by only one student. That means that there are no other students, due to the condition that for any two students there is exactly one problem which they both solved.

Now let k2k \ge 2.
Let AA be one of the students. He solved exactly three problems, but each of these three problems was solved by k1k-1 more students. However, these 3(k1)3(k-1) students are all distinct, because there are no two students who solved same two problems. On the other hand, besides student AA and these 3(k1)3(k-1) students there are no others, because every student solved one of the problems solved by AA. Therefore the number of the students is n=3(k1)+1=3k2n = 3(k-1) + 1 = 3k - 2.

Let us now determine the number of the problems. Every student solved three problems, but every problem was solved by kk students. Therefore the number of the problems is 3nk\frac{3n}{k} and it has to be a positive integer.

Using the formula above for nn we get
3nk=3(3k2)k=96k, \frac{3n}{k} = \frac{3 \cdot (3k-2)}{k} = 9 - \frac{6}{k},
from which it follows that kk divides 66, which implies k{2,3,6}k \in \{2, 3, 6\} (k2k \ge 2).

For k=2k=2 we have n=4n=4 students (A,B,C,D)(A, B, C, D) and 3nk=6\frac{3n}{k} = 6 problems (1,2,3,4,5,6)(1, 2, 3, 4, 5, 6).
A:1,2,3B:1,4,5C:2,4,6D:3,5,6A: 1, 2, 3 \quad B: 1, 4, 5 \quad C: 2, 4, 6 \quad D: 3, 5, 6

For k=3k=3 we have n=7n=7 students and 3nk=7\frac{3n}{k} = 7 problems. For example, we can have:
A:1,2,3B:1,4,5C:1,6,7A: 1, 2, 3 \quad B: 1, 4, 5 \quad C: 1, 6, 7
D:2,4,6E:2,5,7F:3,4,7G:3,5,6D: 2, 4, 6 \quad E: 2, 5, 7 \quad F: 3, 4, 7 \quad G: 3, 5, 6

For k=6k=6 we would have n=16n=16 students and 3nk=8\frac{3n}{k} = 8 problems. Then number of the pairs of the problems would be (82)=28\binom{8}{2} = 28. However, number of the pairs of the problems solved by the same student is 316=483 \cdot 16 = 48, because there are no two students who solved same two problems. Since 48>2848 > 28, this situation cannot happen.

Hence, the only possibilities are (n,k){(1,1),(4,2),(7,3)}(n, k) \in \{(1, 1), (4, 2), (7, 3)\}.

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