Maths Olympiad Prep

Library / /108 of 120

Combinatorics Difficulty 6.8 National Olympiad Prove it Croatia

27 points are arranged in 9 columns and 3 rows, and each is coloured blue or red. Prove that there exists a rectangle whose vertices are all of the same colour.

Solution

Consider the 3×93 \times 9 grid, with each point coloured blue or red.

For each row, consider the sequence of colours in the 9 columns. For a fixed row, there are 29=5122^9 = 512 possible colourings. However, we only have 3 rows.

Now, focus on the columns. For each column, consider the triple of colours in the 3 rows. Each column can be coloured in 23=82^3 = 8 ways.

Let us fix the rows and consider the columns. For each row, there are 9 points, each coloured blue or red. For each row, select the set of columns where the point is blue (or red). For a fixed pair of columns, consider the colours in the three rows at those columns.

Let us fix two columns, say columns ii and jj (i<ji < j). For each row, the pair (Cr,i,Cr,j)(C_{r,i}, C_{r,j}) can be (B,B)(B,B), (B,R)(B,R), (R,B)(R,B), or (R,R)(R,R), where BB is blue and RR is red.

Now, for each row, record the colour pair in columns ii and jj. Since there are 3 rows, there are 43=644^3 = 64 possible assignments of colour pairs for the three rows.

Now, by the pigeonhole principle, consider the following:

Let us fix two columns, say columns aa and bb. For each row, look at the colour of the point in column aa and the colour in column bb. There are 3 rows, so for each row, the pair can be (B,B)(B,B), (B,R)(B,R), (R,B)(R,B), or (R,R)(R,R).

Suppose that in some two rows, say row r1r_1 and row r2r_2, the colour in column aa is the same, and the colour in column bb is the same, and both are blue (or both are red). Then, the four points (r1,a)(r_1,a), (r1,b)(r_1,b), (r2,a)(r_2,a), (r2,b)(r_2,b)these form the vertices of a rectangle, and all four are the same colour.

But more generally, for each pair of columns, consider the 3 pairs of colours in the 3 rows. If, for some colour (say blue), both columns aa and bb have blue in two different rows, then the rectangle formed by those two rows and those two columns has all blue vertices.

Alternatively, consider the following argument:

For each row, there are 9 points, each coloured blue or red. For each row, there are 292^9 possible colourings. But we have only 3 rows.

Let us fix the rows and consider the columns. For each column, there are 3 points, each coloured blue or red, so 23=82^3 = 8 possible colourings per column. There are 9 columns.

Now, for each row, consider the set of columns where the point is blue. For a fixed row, there are (9k)\binom{9}{k} ways to have kk blue points.

But the key is to use the following classic Ramsey-type argument:

Consider any two rows. For each column, the pair of colours in those two rows can be (B,B)(B,B), (B,R)(B,R), (R,B)(R,B), or (R,R)(R,R). There are 9 columns, and 4 possible pairs per column.

Now, by the pigeonhole principle, among the 9 columns, there must be at least 3 columns where the pair is the same. That is, for some pair of rows, there are at least 3 columns where the colour in both rows is the same (either both blue or both red).

But actually, let's formalize the argument:

Let us fix two rows, say row 1 and row 2. For each column, the pair (C1,j,C2,j)(C_{1,j}, C_{2,j}) can be (B,B)(B,B), (B,R)(B,R), (R,B)(R,B), or (R,R)(R,R). There are 9 columns, and 4 possible pairs.

By the pigeonhole principle, there must be at least 9/4=3\lceil 9/4 \rceil = 3 columns where the pair is the same.

But we need to find a rectangle with all four vertices the same colour.

Let us use the following approach:

For each row, consider the sequence of colours in the 9 columns. There are 29=5122^9 = 512 possible colourings per row. Since there are only 3 rows, there are at most 3 different colourings among the rows.

Now, consider the 9 columns. For each column, the sequence of colours in the 3 rows is a triple, which can be any of 8 possibilities.

Now, consider the following: For each pair of columns, consider the 3 pairs of colours in the 3 rows. If, for some colour, say blue, in two different rows, both columns have blue, then the rectangle formed by those two rows and those two columns has all blue vertices.

This is a classic application of the pigeonhole principle and Ramsey theory. In fact, the result is a special case of the theorem that in any n×mn \times m grid coloured with two colours, if nn and mm are large enough, there must be a monochromatic rectangle.

In this case, with 3 rows and 9 columns, the result holds.

Therefore, there must exist a rectangle whose vertices are all of the same colour.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.