There are members of jury, that want to choose problem for contest. There are list with problems. They want to find such problem, that can be solved at least half members , but not all. Every member solved 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 be the number of problems solved by all 40 members, where is a nonnegative integer.
2. Remaining problems: There are problems left to be solved by at most 19 jury members. Each jury member must solve problems from these remaining problems.
3. Counting total solves: The total number of solves by the jury members is . The maximum number of solves for the problems is . Therefore, we have the inequality:
Simplifying this inequality:
Since must be an integer, .
4. Distinct sets of problems: Each jury member must solve a distinct set of problems. For the problems that weren't solved by all 40 jury members, there must be at least 40 distinct sets of problems. This gives the inequality:
Simplifying the binomial coefficient:
The solutions to this inequality over the integers are and . However, we have already established that , so the solution is invalid. Also, since there are only 30 problems, is impossible.
5. Contradiction: The only value of that satisfies our conditions is . 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:
But since each jury member solves 26 problems, the total number of solves should be:
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.