Maths Olympiad Prep

Library / /173 of 397

Combinatorics Difficulty 5.7 AIME, harder Prove it Taiwan

In a 999×999999 \times 999 chessboard, some cells are colored white, and the remaining cells are colored red. Consider a sequence of three cells (C1,C2,C3)(C_1, C_2, C_3), where C1,C2C_1, C_2 are in the same column, C2,C3C_2, C_3 are in the same row, C1,C3C_1, C_3 are white, and C2C_2 is red. Let TT be the total number of sequences satisfying these conditions. Find the maximum possible value of TT.

Solution

Let the ii-th column and the jj-th row have ai,bja_i, b_j white cells respectively, and let RR be the set of red cells. For a red cell with coordinates (i,j)(i, j), there are aibja_i b_j feasible sequences (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.
Using the inequality 2aba2+b22ab \le a^2 + b^2, we obtain
T12(i,j)R(ai2+bj2)=12i=1n(nai)ai2+12j=1n(nbj)bj2,(1) T \le \frac{1}{2} \sum_{(i,j) \in R} (a_i^2 + b_j^2) = \frac{1}{2} \sum_{i=1}^{n} (n-a_i)a_i^2 + \frac{1}{2} \sum_{j=1}^{n} (n-b_j)b_j^2, \quad (1)
this is because in the ii-th column there are nain-a_i red cells, and in the jj-th row there are nbjn-b_j red cells. Now we find the maximum value of expression (1).
By the AM-GM inequality, we have
(nx)x2=12(2n2x)xx12(2n3)3=4n327, (n-x)x^2 = \frac{1}{2}(2n-2x) \cdot x \cdot x \le \frac{1}{2}\left(\frac{2n}{3}\right)^3 = \frac{4n^3}{27},
where equality holds if and only if x=2n3x = \frac{2n}{3}. Combining all the expressions, we get
Tn24n327+n24n327=4n427. T \le \frac{n}{2} \cdot \frac{4n^3}{27} + \frac{n}{2} \cdot \frac{4n^3}{27} = \frac{4n^4}{27}.
If n=999n = 999, then any coloring satisfying that each column and each row has x=2n3=666x = \frac{2n}{3} = 666 white cells will achieve the above maximum value of TT, because all the inequalities above become equalities. For example:

Color cell (i,j)(i, j) white if ij1,2,,666(mod999)i - j \equiv 1, 2, \dots, 666 \pmod{999}, and red otherwise; this is a feasible coloring.

In summary, the maximum value that TT can attain is 4999427\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 translated into English from zh; metadata (topic, difficulty) added by this project.