Maths Olympiad Prep

Track / Stage 6 / 168 of 400 #1168 of 1964

Problem 1168

National olympiad, first round
Combinatorics Difficulty 6.3 Prove it

4. A square with side 5 is divided into 25 unit squares, and each of them is colored with one of two colors. Prove that there exist four same-colored unit squares whose centers are vertices of a rectangle with sides parallel to the sides of the square. Prove that the statement does not hold for a square with side 4.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Solution. Let's denote the rows of the given table as 1,2,3,4,51,2,3,4,5, and the columns as a,b,c,d,ea, b, c, d, e, similar to the conventional notation of a chessboard (diagrams a), b), and c)). Let the colors mentioned in the problem be blue (the blue squares are the penalized ones) and red. In the first row, at least three squares are of the same color, and for definiteness, let's assume that these are the squares a1,b1,c1a 1, b 1, c 1 which are blue. If in any row from 2 to 5 in the first three columns there are two blue squares (for example, as in diagram a), squares a3a 3 and b3b 3), then the desired rectangle is determined.

!
a)

!

b)

!

c)

Therefore, let's assume that in each of the following four triplets

(a2,b2,c2),(a3,b3,c3),(a4,b4,c4),(a5,b5,c5) (a 2, b 2, c 2), \quad(a 3, b 3, c 3), \quad(a 4, b 4, c 4), \quad(a 5, b 5, c 5)

at least two squares are red. If in one of these triplets all squares are red (as in diagram b), this is the triplet (a5,b5,c5a 5, b 5, c 5)), then a monochromatic rectangle is easily determined. If in each of these four triplets there are exactly two red squares, then there are three possible arrangements of the red squares, and by the pigeonhole principle, at least in two of them the squares are

!
arranged in the same way, which again gives the desired rectangle. In diagram c), this is the rectangle a3,c3,a5,c5a 3, c 3, a 5, c 5.

That the statement does not hold for a square with side 4 is shown by the diagram on the right.

## II year

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.