Every cell of a table is colored black or white. The difference between the number of black and white cells is . Prove that there exists a square that contains an odd number of white cells.
Solution
Assume the contrary, that every square contains an even number of black cells. Let us compare two adjacent rows.
If the first cell in the lower row is the same color as the first cell in the upper row (e.g. black), then the second cells in these rows are also the same color (either black or white). In the same way we conclude further and see that these two rows are colored exactly the same.
If the first cell in the lower row is the opposite color from the first cells in the upper row, then the second cells in the lower row is also the opposite color from the second cells in the upper row. The same reasoning shows that the color of each cell in the lower row is the opposite color from the corresponding cell in the upper row.
Hence all the rows that begin with a black cell are equal, as are all the rows that begin with a white cell.
Let be the number of rows that begin with a black cell. Then rows begin with a white cell. Let be the difference between the number of black and the number of white cells in rows that begin with a black cell. Then the difference between the number of black and the number of white cells in rows that begin with a white cell is .
The difference between the total number of black and the total number of white cells on the board is
Hence we have .
Notice that is even, since the total number of black and white cells in each row is . Also, it is clear that . Therefore from follows so which is clearly not possible.