MathDB
IMO Shortlist 2010 - Problem N6

Source:

July 17, 2011
IMO Shortlistcombinatoricsnumber theorymatrix

Problem Statement

The rows and columns of a 2n×2n2^n \times 2^n table are numbered from 00 to 2n1.2^{n}-1. The cells of the table have been coloured with the following property being satisfied: for each 0i,j2n1,0 \leq i,j \leq 2^n - 1, the jj-th cell in the ii-th row and the (i+j)(i+j)-th cell in the jj-th row have the same colour. (The indices of the cells in a row are considered modulo 2n2^n.) Prove that the maximal possible number of colours is 2n2^n.
Proposed by Hossein Dabirian, Sepehr Ghazi-nezami, Iran