Maths Olympiad Prep

Track / Stage 4 / 308 of 340 #1048 of 2444

Problem 1048

AMC 12 late, AIME early
Combinatorics Difficulty 5.0 Prove it Taiwan IMO Selection Camp · Taiwan · 2023

Let nn and mm be positive integers. A kindergarten teacher uses n×mn \times m square tiles, arranged into an n×mn \times m rectangular region. On each tile stands a baby, each facing one of the sides of the square. When the teacher claps once, all babies simultaneously advance one tile in the direction they are facing, and then all babies turn 90 degrees clockwise in place. If a baby crawls out of the n×mn \times m rectangular region, that baby cries loudly. If two babies advance onto the same tile, they collide and then cry loudly together.
It is known that the teacher can appropriately arrange the initial facing direction of each baby so that no matter how many times the teacher claps, no baby cries.
Find all possible values of nn and mm.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

The answer is all even nn and mm. Clearly all cases of 2k×2h2k \times 2h can be tiled using k×hk \times h copies of the following 2×22 \times 2 baby array:
Figure 1

Now we prove that the condition of the problem can be satisfied only when both nn and mm are even. Let us number the columns in order as 1, 2, ..., nn, and the rows in order as 1, 2, ..., mm, and denote the tile in column ii, row jj as (i,j)(i, j). Let us consider all the "odd" cells where both ii and jj are odd, and all the "even" cells where both ii and jj are even. Notice that regardless of the initial facing directions of the babies, after the teacher claps twice, all babies originally on odd cells will appear on even cells, all babies originally on even cells will appear on odd cells, and no baby originally on a cell that is neither odd nor even will appear on an odd or even cell. This means the number of odd cells and even cells must be equal (otherwise there will certainly be babies colliding). However, when nn and mm are not both even, the number of odd cells and even cells must be different. Therefore, the condition of the problem can be satisfied only when both nn and mm are even.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty, ordering) added by this project.