CombinatoricsDifficulty 6.2Prove itBrazilian Mathematical Olympiad · Brazil
n tokens are to be placed on the squares of a 10×10 board such that no 4 tokens be the vertices of a rectangle with sides parallel to the sides of the board. Find the greatest value of n for which this is possible.
This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.
Let Ai⊂{1,2,…,10} be the set of the positions of the tokens in the i−th line of the board, 1≤i≤10. The problem is equivalent to finding A1,A2,…,A10 such that ∣Ai∩Aj∣≤1 for i=j and ∣A1∣+∣A2∣+⋯+∣A10∣ is maximum.
Let ki be ∣Ai∣. The (2ki) subsets of Ai with 2 elements must not be contained in any other Aj,j=i. Hence 1≤i≤10∑(2ki)≤(210)⇔1≤i≤10∑(2ki−1)2≤370 By Cauchy's inequality, ENV0 The equality holds if and only if 5 of the kik_iki's equal 4 and the other 5 equal 3. In this case, ∑1≤i≤10(ki2)=(102)\sum_{1 \le i \le 10} \binom{k_i}{2} = \binom{10}{2}∑1≤i≤10(2ki)=(210) and hence each subset of {1,2,…,10}\{1, 2, \dots, 10\}{1,2,…,10} with 2 elements should be in exactly one AiA_iAi.
Therefore if it were possible to construct an instance with 35 tokens, each element of {1,2,…,10}\{1, 2, \dots, 10\}{1,2,…,10} would either be in 3 subsets with 4 elements or in 1 subset with 4 elements and 3 subsets with 3 elements. Since there are 5 subsets with 4 elements, there must be elements which belong to 3 subsets with 4 elements. We may thus suppose wlog that A1={1,2,3,4}A_1 = \{1, 2, 3, 4\}A1={1,2,3,4}, A2={1,5,6,7}A_2 = \{1, 5, 6, 7\}A2={1,5,6,7}, A3={1,8,9,10}A_3 = \{1, 8, 9, 10\}A3={1,8,9,10}. However any other subset with 4 elements would be contained in {2,3,…,10}\{2, 3, \dots, 10\}{2,3,…,10} and therefore its intersection with one of A1A_1A1, A2A_2A2 or A3A_3A3 would have at least 2 elements. We conclude that it is impossible to have ∑1≤i≤10ki=35\sum_{1\le i\le 10} k_i = 35∑1≤i≤10ki=35.
On the other hand, there exist instances with 34 tokens:
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.