Given integer . Find the least positive integer , such that there are distinct positive real numbers () satisfying the following conditions:
(1) For every ,
(2) For every , there are at most indices , with
(3) For every , there are at most indices , with
Solution
.
Put these numbers in an table: call a "row pivot" if ; call a "column pivot", if .
First, prove . Consider all numbers (): every column (from to ) contains at most column pivots (by condition (3), and notice that () is a pivot); every row (from to ) contains at most row pivots (by condition (2), and notice that () is a pivot). Due to condition (1), every number is a pivot (row or column or both), and hence
We claim the equality in (1) cannot be attained. Let (). If is both row and column pivots, then is counted twice on the left-hand side of (1), and the equality cannot hold. Suppose is not a row pivot. Then and there are no other row pivots in this row, the equality in (1) cannot hold. Similarly, if is not a column pivot, then there are no other column pivots in this column, and the equality in (1) cannot hold. Therefore, , .
Next, construct tables for which . When , divide the table into four tables as follows:
Take sufficiently small, such that . For , let the number in row and column of be . Note that in and , the numbers decrease from the top right to the bottom left. For , let the number in row and column of be . Note that in and the numbers decrease from the bottom left to the top right.
It is easy to check that all numbers in and are row pivots, and all numbers in and are column pivots. In addition, except for the first and the rows, there are no other column pivots in and ; except for the first and the columns, there are no other row pivots in and . Hence, conditions (2) and (3) are fulfilled, and .
When , take the construction for as above and remove the rightmost column and the bottom row.