Problem:
A square () is divided into unit squares colored in black or white such that the squares at the four corners of any rectangle (containing at least four squares) have not the same color. Find the maximum possible value of .
Problem:
A square () is divided into unit squares colored in black or white such that the squares at the four corners of any rectangle (containing at least four squares) have not the same color. Find the maximum possible value of .
Solution:
We shall show that the desired value is equal to .
Let be the unit square in the -th row and the -th column of a square. It is easy to check that if the squares are white and the others are black, then the condition of the problem is satisfied.
To prove that for there is no coloring with the required properties, it is enough to deal only with the case (any square contains a square). Consider an arbitrary black-white coloring of a square. At least of the unit squares have the same coloring, for example, black. Three cases are possible.
Case 1. One of the rows, say , contains only black squares. Then one of the other rows contains at least black squares. Hence the corners of the rectangle with two vertices at these squares and the other two in are black.
Case 2. One of the rows, say , contains exactly black squares. Then one of the other rows contains at least black squares. Then at least two of them do not correspond to the white square in . Hence the corners of the rectangle with two vertices at these squares and the other two in are black.
Case 3. Any row contains at most black squares. Then at least rows contain exactly black squares, say the rows from above. We call a column black (white) if its upper square is black (white). There are exactly black columns. If a row contains black squares that lie in black columns, then obviously there is a rectangle with black corners. Otherwise, two of the black squares in row and two of the black squares in the two white columns are black corners of a rectangle.
The solution is completed.