Maths Olympiad Prep

Library / /134 of 136

, 1997

Combinatorics Difficulty 9.1 IMO level Prove it Hong Kong

Let nn be a positive integer larger than or equal to 22. On an n×nn \times n chessboard, rr 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 4545^\circ with a side of the chessboard). (For instance, in the 3×33 \times 3 chessboard, the 1×11 \times 1 cell forms a diagonal; the 1×21 \times 2 cell and the 2×12 \times 1 cell together form a diagonal; the 1×11 \times 1 cell, 2×22 \times 2 cell and the 3×33 \times 3 cell also form a diagonal (a main diagonal), etc.)
Find, in terms of nn, the smallest possible value of rr.

Solution

The smallest possible value of rr is 2n2n if nn is even, and is 2n+12n + 1 if nn is odd.

Case 1. n=2kn = 2k is even
Let (i,j)(i, j) be the cell in row ii and column jj. Consider the following 2n2n diagonals:
{(i,j):i+j=m} for m=2,3,,k+1,{(i,j):ji=m} for m=k,k+1,,2k1,{(i,j):ij=m} for m=k,k+1,,2k1,{(i,j):i+j=m} for m=3k+1,3k+2,,4k. \begin{aligned} \{(i, j) : i + j = m\} & \text{ for } m = 2, 3, \dots, k + 1, \\ \{(i, j) : j - i = m\} & \text{ for } m = k, k + 1, \dots, 2k - 1, \\ \{(i, j) : i - j = m\} & \text{ for } m = k, k + 1, \dots, 2k - 1, \\ \{(i, j) : i + j = m\} & \text{ for } m = 3k + 1, 3k + 2, \dots, 4k. \end{aligned}

ABCDEF
BCDE
CD
IJ
HIJK
GHIJKL

Obviously, these diagonals are disjoint. Therefore, one chess piece is needed for each diagonal, and so r2nr \geq 2n.

Now, we put 2n2n chess pieces in the following cells:
- (1,j)(1, j) for j=1,2,,kj = 1, 2, \dots, k,
- (i,n)(i, n) for i=1,2,,ki = 1, 2, \dots, k,
- (i,1)(i, 1) for i=k+1,k+2,,2ki = k + 1, k + 2, \dots, 2k,
- (n,j)(n, j) for j=k+1,k+2,,2kj = k + 1, k + 2, \dots, 2k.

XXXX
X
X
X
X
XXXX

Then we see that each row, each column and each diagonal consists of a chess piece. This proves r=2nr = 2n when nn is even.

Case 2. n=2k+1n = 2k + 1 is odd
Consider the following 2n+22n + 2 diagonals:
{(i,j):i+j=m}for m=2,3,,k+2,{(i,j):ji=m}for m=k,k+1,,2k,{(i,j):ij=m}for m=k,k+1,,2k,{(i,j):i+j=m}for m=3k+2,3k+3,,4k+2. \begin{aligned} \{(i,j) : i + j = m\} & \quad \text{for } m = 2, 3, \dots, k + 2, \\ \{(i,j) : j - i = m\} & \quad \text{for } m = k, k + 1, \dots, 2k, \\ \{(i,j) : i - j = m\} & \quad \text{for } m = k, k + 1, \dots, 2k, \\ \{(i,j) : i + j = m\} & \quad \text{for } m = 3k + 2, 3k + 3, \dots, 4k + 2. \end{aligned}

ABC, DEF
BCDE
C, ID, J
HIJK
GHI, JKL

Only 4 pairs of these diagonals are not disjoint. We call these C,D,I,JC, D, I, J-diagonals respectively, as labelled in the above example. One chess piece is needed for each of those 4k=2n24k = 2n-2 diagonals other than the C,D,I,JC, D, I, J-diagonals.

If r2nr \le 2n, then we can put at most 2 chess pieces in the C,D,I,JC, D, I, J-diagonals. By the pigeonhole principle, one chess piece must occupy at least two such diagonals. WLOG assume there is a chess piece in (1,k+1)(1, k+1) occupying the C,DC, D-diagonals. In order to occupy the I,JI, J-diagonals simultaneously, there must be another chess piece in (2k+1,k+1)(2k+1, k+1). But then there is no chess piece in row k+1k+1. This is a contradiction. Thus, we have r2n+1r \ge 2n+1.

Now, we put 2n+12n + 1 chess pieces in the following cells:
(1,j)for j=1,2,,k+1,(i,n)for i=1,2,,k,(i,1)for i=k+2,k+3,,2k+1,(n,j)for j=k+1,k+2,,2k+1,(k+1,k+1) \begin{aligned} (1, j) & \quad \text{for } j = 1, 2, \dots, k + 1, \\ (i, n) & \quad \text{for } i = 1, 2, \dots, k, \\ (i, 1) & \quad \text{for } i = k + 2, k + 3, \dots, 2k + 1, \\ (n, j) & \quad \text{for } j = k + 1, k + 2, \dots, 2k + 1, \\ (k + 1, k + 1) & \end{aligned}

XXXX
X
X
X
XXXX

Then we see that each row, each column and each diagonal consists of a chess piece. This proves r=2n+1r = 2n + 1 when nn 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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.