Browse · MathNet
PrintTeam Selection Test for IMO
Turkey counting and probability
Problem
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?
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.
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.
Final answer
233625
Techniques
Coloring schemes, extremal argumentsInclusion-exclusionInduction / smoothing