Fill each cell of a 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 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 .
, 2022
Solution
The largest is . More generally, for an chessboard, let , , then the largest is .
First, we construct a chessboard achieving this . Let us divide the chessboard into four regions:
- The cells in the upper-left corner are all filled with ;
- The cells in the upper-right corner are all filled with ;
- The cells in the lower-left corner are all filled with ;
- The cells in the lower-right corner are all filled with 0.
Direct verification shows that this chessboard is balanced (note that ). Moreover, according to the condition required by the problem of different rows and columns, if we select cells without selecting from the cells in the lower-right corner, then we must necessarily need to select from the cells in the upper-left corner, so must be at least .
Next we prove that is already sufficient. Given a balanced chessboard, let us color black all cells with value , and color the remaining cells white. We wish to prove: for any rows, the black cells on these rows will together appear in at least 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 black cells in different rows and columns, which completes the proof.
To prove this property, for any rows, suppose the black cells on these rows appear in different columns. Consider the cells that are in these rows but not in these columns, then they must all be white cells, so the sum of the numbers in these cells is . Also, since the sum of numbers in each row is 1, the sum of the numbers in the cells that are in these rows and in these columns is . But note that the sum of the numbers in these columns is , and this number must not be less than the sum of the numbers in the cells that are in these rows and in these columns, so
But it is also easy to see that
so we have . This proves the property to be proved, and thus proves the original proposition.