Maths Olympiad Prep

Library / /176 of 397

, 2022

Combinatorics Difficulty 5.7 AIME, harder Prove it Taiwan

Fill each cell of a 100×100100 \times 100 chessboard with a non-negative real number. We call this chessboard balanced if and only if the sum of numbers in every column of the chessboard is 1, and the sum of numbers in every row is also 1. Find the largest positive real number xx such that in any balanced chessboard, we can always select 100 cells such that any two cells lie in different columns and different rows, and the numbers in these cells are all not less than xx.

Solution

The largest xx is 150×51\frac{1}{50 \times 51}. More generally, for an n×nn \times n chessboard, let a=n+12a = \lfloor \frac{n+1}{2} \rfloor, b=n+22b = \lfloor \frac{n+2}{2} \rfloor, then the largest xx is 1ab\frac{1}{ab}.

First, we construct a chessboard achieving this xx. Let us divide the chessboard into four regions:
- The a×ba \times b cells in the upper-left corner are all filled with 1ab\frac{1}{ab};
- The (na)×b(n-a) \times b cells in the upper-right corner are all filled with 1b\frac{1}{b};
- The a×(nb)a \times (n-b) cells in the lower-left corner are all filled with 1a\frac{1}{a};
- The (na)×(nb)(n-a) \times (n-b) cells in the lower-right corner are all filled with 0.

Direct verification shows that this chessboard is balanced (note that a+b=n+1a+b=n+1). Moreover, according to the condition required by the problem of different rows and columns, if we select nn cells without selecting from the (na)×(nb)(n-a) \times (n-b) cells in the lower-right corner, then we must necessarily need to select from the a×ba \times b cells in the upper-left corner, so xx must be at least 1ab\frac{1}{ab}.

Next we prove that x=1abx = \frac{1}{ab} is already sufficient. Given a balanced chessboard, let us color black all cells with value 1ab\ge \frac{1}{ab}, and color the remaining cells white. We wish to prove: for any pp rows, the black cells on these pp rows will together appear in at least pp different columns. If this property holds, then by using the black cells to match the corresponding rows and columns, by Hall's theorem, there exists a perfect matching between rows and columns, that is, we can find nn black cells in different rows and columns, which completes the proof.

To prove this property, for any pp rows, suppose the black cells on these pp rows appear in qq different columns. Consider the cells that are in these pp rows but not in these qq columns, then they must all be white cells, so the sum of the numbers in these cells is <1abp(nq)< \frac{1}{ab}p(n-q). Also, since the sum of numbers in each row is 1, the sum of the numbers in the cells that are in these pp rows and in these qq columns is >p1abp(nq)> p - \frac{1}{ab}p(n-q). But note that the sum of the numbers in these qq columns is qq, and this number must not be less than the sum of the numbers in the cells that are in these pp rows and in these qq columns, so

q>p1abp(nq)q>abppnabp. q > p - \frac{1}{ab}p(n-q) \Rightarrow q > \frac{abp - pn}{ab - p}.

But it is also easy to see that
abp(n+1p)abppnabpp1, ab \ge p(n+1-p) \Rightarrow \frac{abp - pn}{ab - p} \ge p - 1,

so we have q>p1qpq > p - 1 \Rightarrow q \ge p. This proves the property to be proved, and thus proves the original proposition.

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.