Maths Olympiad Prep

Library / /417 of 520

Combinatorics Difficulty 7.0 National olympiad, round 2 Prove it

On a rectangular board with m×nm \times n squares (m,n3m, n \geq 3), dominoes (2×12 \times 1 or 1×21 \times 2 tiles) are placed such that they do not overlap and do not extend beyond the board. Each domino covers exactly two squares of the board. Assume that the tiling with dominoes has the property that no additional domino can be placed on the board, and that not all four corner squares of the board are empty. Prove that at least 23\frac{2}{3} of the squares of the board are covered by dominoes.

Solution

Pair each empty cell with the domino that is directly to the right of this cell (unless the cell is at the right edge of the board). Suppose now that two empty cells are paired with the same domino, then this domino must be placed vertically and both cells to its left are empty. However, then there would be room for an additional domino, contradiction. Therefore, no two empty cells are paired with the same domino.

The empty cells at the right edge of the board have not yet been paired. We try to pair these cells each with a domino that has no empty cell directly to its left (and thus has not yet been paired). First, assume that it is possible to pair all empty cells at the right edge in this way with different dominoes. We have then paired all empty cells on the board with a domino, without using any domino more than once. Since each domino covers two cells of the board, for each empty cell there are two covered cells, and thus at most 13\frac{1}{3} of the cells on the board are empty. Then we are done.

We will now show that this pairing always works. Let kk be the number of empty cells at the right edge and \ell be the number of empty cells at the left edge. The empty cells at the left edge must not be adjacent, so there are at least 1\ell-1 dominoes at the left edge, and none of these have an empty cell to their left. If >k\ell > k, then there are enough dominoes at the left edge to pair with all empty cells at the right edge. If <k\ell < k, then we could flip the entire situation and pair all empty cells with the domino to their left, and we could also prove that at most 13\frac{1}{3} of the cells on the board are empty. The only situation that remains is if =k\ell = k and there are exactly k1k-1 dominoes at both edges. In this case, there is an empty cell between every two dominoes at both edges, and there is also an empty cell in the corners. But this contradicts the condition in the problem that not all corner cells are empty. This situation cannot occur.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.