Maths Olympiad Prep

Library / /3 of 33

, 2011

Combinatorics Difficulty 7.5 National Olympiad, round 2 Prove it Baltic Way

Math competition is held in 88 different levels of difficulty. The organizing committee has to prepare 55 problems for each level. The same problem can be used for more than one level, but each two levels can have at most one common problem. What is the least number of problems that is sufficient for the organizers?

Solution

1818 problems are enough. The following table shows how to arrange problems for 88 levels:

Level 112345
Level 216789
Level 326101112
Level 437101314
Level 548111315
Level 659121415
Level 7110151617
Level 828141618

Further we show that 1818 is indeed the smallest possible number of problems that is sufficient. Denote by aia_i the number of problems that are common for ii levels. As there are in total 4040 problems then
a1+2a2+3a3+4a4+5a5+6a6+7a7+8a8=40(1) a_1 + 2a_2 + 3a_3 + 4a_4 + 5a_5 + 6a_6 + 7a_7 + 8a_8 = 40 \quad (1)
If we consider all the pairs of these 4040 problems then at most 872=28\frac{8 \cdot 7}{2} = 28 of them can be equal. Each problem that is common for ii levels defines (i2)\binom{i}{2} such pairs, therefore
(22)a2+(32)a3+(42)a4+(52)a5+(62)a6+(72)a7+(82)a828(2) \binom{2}{2}a_2 + \binom{3}{2}a_3 + \binom{4}{2}a_4 + \binom{5}{2}a_5 + \binom{6}{2}a_6 + \binom{7}{2}a_7 + \binom{8}{2}a_8 \le 28 \quad (2)
We must prove that a1+a2++a818a_1 + a_2 + \dots + a_8 \ge 18 which given (1) is equivalent to
a2+2a3+3a4+4a5+5a6+6a7+7a822(3) a_2 + 2a_3 + 3a_4 + 4a_5 + 5a_6 + 6a_7 + 7a_8 \le 22 \quad (3)
From (1) we can also get that
2a2+3a3+4a4+5a5+6a6+7a7+8a840(4) 2a_2 + 3a_3 + 4a_4 + 5a_5 + 6a_6 + 7a_7 + 8a_8 \le 40 \quad (4)
By adding (4) and (2) and dividing the result by 33 we obtain
a2+2a3+103a4+5a5+7a6+283a7+12a82223(5) a_2 + 2a_3 + \frac{10}{3}a_4 + 5a_5 + 7a_6 + \frac{28}{3}a_7 + 12a_8 \le 22\frac{2}{3} \quad (5)
(3) then is a trivial consequence of (5) (coefficients for aia_i in (5) are greater or equal than those in (3) and the result for the expression in (3) has to be an integer).

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.