Let be a positive integer larger than or equal to . On an chessboard, chess pieces have been placed such that
(i) there is at least one chess piece in each row;
(ii) there is at least one chess piece in each column; and
(iii) there is at least one chess piece in each diagonal (here a 'diagonal' refers to the collection of cells whose centres lie on a straight line which makes an angle of with a side of the chessboard). (For instance, in the chessboard, the cell forms a diagonal; the cell and the cell together form a diagonal; the cell, cell and the cell also form a diagonal (a main diagonal), etc.)
Find, in terms of , the smallest possible value of .
, 1997
Solution
The smallest possible value of is if is even, and is if is odd.
Case 1. is even
Let be the cell in row and column . Consider the following diagonals:
| A | B | C | D | E | F |
|---|---|---|---|---|---|
| B | C | D | E | ||
| C | D | ||||
| I | J | ||||
| H | I | J | K | ||
| G | H | I | J | K | L |
Obviously, these diagonals are disjoint. Therefore, one chess piece is needed for each diagonal, and so .
Now, we put chess pieces in the following cells:
- for ,
- for ,
- for ,
- for .
| X | X | X | X | ||
| X | |||||
| X | |||||
| X | |||||
| X | |||||
| X | X | X | X |
Then we see that each row, each column and each diagonal consists of a chess piece. This proves when is even.
Case 2. is odd
Consider the following diagonals:
| A | B | C, D | E | F |
|---|---|---|---|---|
| B | C | D | E | |
| C, I | D, J | |||
| H | I | J | K | |
| G | H | I, J | K | L |
Only 4 pairs of these diagonals are not disjoint. We call these -diagonals respectively, as labelled in the above example. One chess piece is needed for each of those diagonals other than the -diagonals.
If , then we can put at most 2 chess pieces in the -diagonals. By the pigeonhole principle, one chess piece must occupy at least two such diagonals. WLOG assume there is a chess piece in occupying the -diagonals. In order to occupy the -diagonals simultaneously, there must be another chess piece in . But then there is no chess piece in row . This is a contradiction. Thus, we have .
Now, we put chess pieces in the following cells:
| X | X | X | X | |
| X | ||||
| X | ||||
| X | ||||
| X | X | X | X |
Then we see that each row, each column and each diagonal consists of a chess piece. This proves when is odd.
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.