Maths Olympiad Prep

Library / /119 of 383

Combinatorics Difficulty 8.3 Shortlist Prove it IMO

In a 999×999999 \times 999 square table some cells are white and the remaining ones are red. Let TT be the number of triples (C1,C2,C3)(C_{1}, C_{2}, C_{3}) of cells, the first two in the same row and the last two in the same column, with C1C_{1} and C3C_{3} white and C2C_{2} red. Find the maximum value TT can attain.

Solution

We prove that in an n×nn \times n square table there are at most 4n427\frac{4 n^{4}}{27} such triples.
Let row ii and column jj contain aia_{i} and bjb_{j} white cells respectively, and let RR be the set of red cells. For every red cell (i,j)(i, j) there are aibja_{i} b_{j} admissible triples (C1,C2,C3)(C_{1}, C_{2}, C_{3}) with C2=(i,j)C_{2}=(i, j), therefore
T=(i,j)Raibj T=\sum_{(i, j) \in R} a_{i} b_{j}
We use the inequality 2aba2+b22 a b \leq a^{2}+b^{2} to obtain
T12(i,j)R(ai2+bj2)=12i=1n(nai)ai2+12j=1n(nbj)bj2. T \leq \frac{1}{2} \sum_{(i, j) \in R}\left(a_{i}^{2}+b_{j}^{2}\right)=\frac{1}{2} \sum_{i=1}^{n}\left(n-a_{i}\right) a_{i}^{2}+\frac{1}{2} \sum_{j=1}^{n}\left(n-b_{j}\right) b_{j}^{2} .
This is because there are nain-a_{i} red cells in row ii and nbjn-b_{j} red cells in column jj. Now we maximize the right-hand side.
By the AM-GM inequality we have
(nx)x2=12(2n2x)xx12(2n3)3=4n327 (n-x) x^{2}=\frac{1}{2}(2 n-2 x) \cdot x \cdot x \leq \frac{1}{2}\left(\frac{2 n}{3}\right)^{3}=\frac{4 n^{3}}{27}
with equality if and only if x=2n3x=\frac{2 n}{3}. By putting everything together, we get
Tn24n327+n24n327=4n427 T \leq \frac{n}{2} \frac{4 n^{3}}{27}+\frac{n}{2} \frac{4 n^{3}}{27}=\frac{4 n^{4}}{27}
If n=999n=999 then any coloring of the square table with x=2n3=666x=\frac{2 n}{3}=666 white cells in each row and column attains the maximum as all inequalities in the previous argument become equalities. For example color a cell (i,j)(i, j) white if ij1,2,,666(mod999)i-j \equiv 1,2, \ldots, 666(\bmod 999), and red otherwise.
Therefore the maximum value TT can attain is T=4999427T=\frac{4 \cdot 999^{4}}{27}.

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.