Maths Olympiad Prep

Track / Stage 7 / 69 of 300 #1949 of 2444

Problem 1949

National Olympiad second round; IMO P1/P4
Geometry Difficulty 7.1 Find the answer USAMO

Find the smallest positive integer nn such that if nn squares of a 1000×10001000 \times 1000 chessboard are colored, then there will exist three colored squares whose centers form a right triangle with sides parallel to the edges of the board.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Next problem →

Official solution

We claim that n=1999n = 1999 is the smallest such number. For n1998n \le 1998 , we can simply color any of the 19981998 squares forming the top row and the left column, but excluding the top left corner square.

Figure (Asymptote source)
for(int i = 0; i < 10; ++i){  for(int j = 0; j < 10; ++j){   if((i == 0 || j == 9) && !(j-i == 9)) fill(shift(i,j)*unitsquare,rgb(0.3,0.3,0.3));   else draw(shift(i,j)*unitsquare);  } }

We now show that no configuration with no colored right triangles exists for n=1999n = 1999 . We call a row or column filled if all 10001000 of its squares are colored. Then any of the remaining 999999 colored squares must share a column or row, respectively, with one of the colored squares in a filled row or column. These two squares, and any other square in the filled row or column, form a colored right triangle, giving us a contradiction. Hence, no filled row or column may exist.
Let mm be the number of columns with 11 colored square. Then there are 1999m1999-m colored squares in the remaining columns, and in each of these <1999m< 1999-m columns that have a colored square must have at least two colored squares in them. These two colored squares will form a triangle with any other colored square in either of the rows containing the colored squares. Hence, each of the 1999m1999-m colored squares must be placed in different rows, but as there are only 10001000 rows, the inequality 1999m1000m9991999 - m \le 1000 \Longrightarrow m \ge 999 holds. If m=1000m = 1000 , then each column only has 11 colored square, leaving no place for the remaining 999999 , contradiction. If m=999m = 999 , then each of the 10001000 rows has 11 black square, leaving no place for the other 999999 , contradiction. Hence n=1999n = \boxed{1999} is the minimal value.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.