Maths Olympiad Prep

Library / /14 of 19

Combinatorics Difficulty 6.6 National olympiad Prove it Romania

Two right isosceles triangles of legs equal to 11 are glued together to form either an isosceles triangle – called t-shape – of leg 2\sqrt{2}, or a parallelogram – called p-shape – of sides 11 and 2\sqrt{2}. Find all integers mm and nn, m,n2m, n \ge 2, such that a rectangle m×nm \times n can be tiled with t-shapes and p-shapes.

Solution

To this end, notice that 44 t-shapes can be glued to produce a 2×22 \times 2 square, which is sufficient for tiling a rectangle with both sides even. If m+nm + n is odd, a 2×32 \times 3 rectangle can be obtained as below:

Figure 1

Alternatively, we can tile any rectangle 2×n2 \times n, with n2n \ge 2 tiles as follows:

Figure 2

Obviously a 1×n1 \times n rectangle can not be tiled for any nn. Any way one would position the tiles, the one that covers one of the vertices of the rectangle renders impossible the covering of the closest vertex.
It is left to prove that any odd sided rectangle cannot be tessellated. For this, color the unit squares of an m×nm \times n rectangle with m,nm, n odd in a chessboard pattern, with the corners being black. On one hand, we have more black squares than white squares, on the other hand each tile covers a surface area that is half black, half white, so the total surface area covered by the tiles is half black, half white. In conclusion, the surface of a rectangle with both dimensions odd can not be tiled.
In conclusion, the tiling is possible if and only if m,n2m, n \ge 2 and at least one dimension is even.

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.