MathLabs

Problem 6

In a mathematical competition, in which 66 problems were posed to the participants, every two of these problems were solved by more than 25\frac25 of the contestants. Moreover, no contestant solved all the 66 problems. Show that there are at least 22 contestants who solved exactly 55 problems each.
Step 5 of 6: Reduce modulo 33 for any split of {1,2,3,4,5}\{1,2,3,4,5\}
tde≡1+ta+tb+tc+tab+tbc+tca(mod3)({a,b,c,d,e}={1,2,3,4,5})t_{de}\equiv 1+t_a+t_b+t_c+t_{ab}+t_{bc}+t_{ca}\pmod 3\quad(\{a,b,c,d,e\}=\{1,2,3,4,5\})
Detailed analysis

Reducing the identity of Step 4 modulo 33 gives t45≡1+t1+t2+t3+t12+t23+t13(mod3)t_{45}\equiv 1+t_1+t_2+t_3+t_{12}+t_{23}+t_{13}\pmod3. Since the setup is symmetric in the five problems 1,2,3,4,51,2,3,4,5, the same congruence holds for every partition of {1,2,3,4,5}\{1,2,3,4,5\} into a triple {a,b,c}\{a,b,c\} and a pair {d,e}\{d,e\}.