Maths Olympiad Prep

Library / /207 of 520

Combinatorics Difficulty 6.8 National olympiad Find the answer

There are 4040 members of jury, that want to choose problem for contest. There are list with 3030 problems. They want to find such problem, that can be solved at least half members , but not all. Every member solved 2626 problems, and every two members solved different sets of problems.
Prove, that they can find problem for contest.

Solution

1. Assume the contrary: Suppose that every problem was solved by either at most 19 jury members or by all 40 jury members. Let n n be the number of problems solved by all 40 members, where n n is a nonnegative integer.

2. Remaining problems: There are 30n 30 - n problems left to be solved by at most 19 jury members. Each jury member must solve 26n 26 - n problems from these remaining problems.

3. Counting total solves: The total number of solves by the jury members is 40(26n) 40(26 - n) . The maximum number of solves for the 30n 30 - n problems is 19(30n) 19(30 - n) . Therefore, we have the inequality:
40(26n)19(30n) 40(26 - n) \leq 19(30 - n)
Simplifying this inequality:
104040n57019n 1040 - 40n \leq 570 - 19n
104057040n19n 1040 - 570 \leq 40n - 19n
47021n 470 \leq 21n
n4702122.38 n \geq \frac{470}{21} \approx 22.38
Since n n must be an integer, n23 n \geq 23 .

4. Distinct sets of problems: Each jury member must solve a distinct set of problems. For the 30n 30 - n problems that weren't solved by all 40 jury members, there must be at least 40 distinct sets of 26n 26 - n problems. This gives the inequality:
(30n26n)>40 \binom{30 - n}{26 - n} > 40
Simplifying the binomial coefficient:
(30n4)>40 \binom{30 - n}{4} > 40
The solutions to this inequality over the integers are n<23 n < 23 and n>34 n > 34 . However, we have already established that n23 n \geq 23 , so the solution n<23 n < 23 is invalid. Also, since there are only 30 problems, n>34 n > 34 is impossible.

5. Contradiction: The only value of n n that satisfies our conditions is n=0 n = 0 . This means there can be no problems that were solved by all 40 members of the jury.

6. Maximum number of solves: If our initial assumption is true, each of the 30 problems were solved at most 19 times. This gives a maximum number of solves:
3019=570 30 \cdot 19 = 570
But since each jury member solves 26 problems, the total number of solves should be:
2640=1040 26 \cdot 40 = 1040
This is another contradiction.

7. Conclusion: We conclude that it is impossible for any of the 30 problems to be solved by all 40 members of the jury and it is impossible for all of the 30 problems to be solved by less than half of the jury. Thus, there must exist a problem that was solved by at least half the jury but not all of it.

\blacksquare

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