Maths Olympiad Prep

Library / /5 of 5

Combinatorics Difficulty 8.5 Shortlist Prove it Bulgaria

Let mm, nn and rr be positive integers with n2n \ge 2 and 1rn11 \le r \le n-1. Consider a square table of size (mn+r)×(mn+r)(mn+r) \times (mn+r). The table is covered by squares of size n×nn \times n with sides parallel to the sides of the table. Each unit square is covered at least once and some unit squares are covered multiple times. Find the minimum possible number of unit squares covered at least two times.

Solution

We call a unit square bad if it is covered more than once.

(Bound) Choose an arbitrary row and mark its cells in the columns r+1r+1, r+n+1r+n+1, \dots, r+(m1)n+1r+(m-1)n+1. Consider all n×nn \times n squares having nonempty intersection with the chosen row. Since mn<mn+r<(m+1)nmn < mn+r < (m+1)n, we have at least m+1m+1 such squares. Moreover, each such square covers at least one of the marked cells. Since we have mm marked cells, we conclude that at least one of them is bad.

Analogously, there is at least one bad unit square among the intersecting squares of this row with columns with numbers r+2r+2, r+n+2r+n+2, \dots, r+(m1)n+2r+(m-1)n+2, and so on. Thus, in this row we have at least nrn-r bad squares. The same reasoning shows that there are at least nrn-r bad squares in any of the remaining rows. We repeat the above observation for all remaining (m+1)r(m+1)r columns and conclude that there are at least nrn-r bad cells in each of them. Therefore, there are at least
(mn+r)(nr)+(m+1)r(nr)=(mn+mr+2r)(nr) (mn+r)(n-r) + (m+1)r(n-r) = (mn+mr+2r)(n-r)
bad cells.

(Construction) Consider the first n+rn+r rows (starting from below) and first n+rn+r columns (starting from the left). Their intersection forms a (n+r)×(n+r)(n+r) \times (n+r) square AA. Cover this square using four n×nn \times n squares in its four corners. It is easy to see that the number of bad cells equals (n+r)24r2(n+r)^2 - 4r^2. Consider the Γ\Gamma-shaped figure consisting of all cells in the (2n+r)×(2n+r)(2n+r) \times (2n+r) square without the cells of AA. We cover all cells in this figure by five n×nn \times n squares (two squares in each of the two rectangular parts and one square in the right upper corner) and leave n2r2n^2 - r^2 bad cells. The same procedure is applied m1m-1 times for all Γ\Gamma-shaped figures of width nn. The number of bad cells equals
(n+r)24r2+(m1)(n2r2)=(mn+mr+2r)(nr). (n+r)^2 - 4r^2 + (m-1)(n^2 - r^2) = (mn + mr + 2r)(n-r).

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 and solution reproduced as published; topic and difficulty added by this site.