Some unit squares of the grid are marked so that any sub-square of the grid consisting of unit squares has at least 21 marked unit squares. What is the minimal possible number of marked unit squares?
Team Selection Test for IMO
Solution
The answer is .
Suppose that the centers of unit squares have coordinates , where ; . The unit square with center at will be denoted by . Let the marked unit squares be:
, , where , and
, where , .
Then it can be readily seen that the total number of marked unit squares is , and any sub-square has exactly marked unit squares.
Let be a positive integer. Now by the method of mathematical induction we show that if any sub-square of the grid has at least marked unit squares, then the total number of marked unit squares is at least .
* . . Consider two squares: the square consisting all , where , and the square consisting all , where , . Each of these squares contains at least marked unit squares and their intersection is the unit square . Therefore the total number of marked unit squares is at least . Done.
* Suppose the statement is correct for a grid and consider a grid . Suppose that consists of all unit squares , where , and consists of all unit squares , where , .
Let squares , ; consist of all unit squares , where , and squares , ; consist of all unit squares , where , . Note that the squares and share a unit square , all other pairs of and squares do not share any unit square. Therefore, since the union of and squares is a subset of the set , the set contains at least marked squares. Thus, by inductive hypothesis contains at least . Done. Since the solution is completed.