Maths Olympiad Prep

Library / /16 of 48

Combinatorics Difficulty 5.7 AIME, harder Prove it Greece

We consider a 8×88 \times 8 chess table with all 6464 unit squares white. We color 1212 unit squares arbitrarily black. Prove that we can find four rows and four columns containing the 1212 black unit squares.

Solution

Let x1,x2,,x8x_1, x_2, \ldots, x_8 be the number of black squares in the rows, such that x1x2x8x_1 \ge x_2 \ge \ldots \ge x_8. This means that if, for example, the fourth line has the maximum number of black squares, then these are x1x_1. From the problem condition we have:

x1+x2++x8=12.(1) x_1 + x_2 + \ldots + x_8 = 12. \quad (1)

We observe that it is impossible x1=x2==x8x_1 = x_2 = \ldots = x_8, since then 8x1=128x_1 = 12, a contradiction. This means that:

x1+x2+x3+x4>x5+x6+x7+x8. x_1 + x_2 + x_3 + x_4 > x_5 + x_6 + x_7 + x_8.

We will prove that it is impossible to have:
x1+x2+x3+x4=x5+x6+x7+x8+1, x_1 + x_2 + x_3 + x_4 = x_5 + x_6 + x_7 + x_8 + 1,
Since then (1) gives 2(x1+x2+x3+x4)1=122(x_1 + x_2 + x_3 + x_4) - 1 = 12, a contradiction, since the left hand side is odd, while the right hand side is even. Moreover, we cannot have:
x1+x2+x3+x4=x5+x6+x7+x8+2.(2) x_1 + x_2 + x_3 + x_4 = x_5 + x_6 + x_7 + x_8 + 2. \qquad (2)
Indeed, if (2) was true, then from (1) we will have that x1+x2+x3+x4=7x_1 + x_2 + x_3 + x_4 = 7 and
x5+x6+x7+x8=5,(3) x_5 + x_6 + x_7 + x_8 = 5, \qquad (3)
so that 4x47x414x_4 \le 7 \Rightarrow x_4 \le 1. From the ordering condition we have x8x7x6x5x41x_8 \le x_7 \le x_6 \le x_5 \le x_4 \le 1, so x8+x7+x6+x54x_8 + x_7 + x_6 + x_5 \le 4, which is a contradiction according to (3).
Therefore:
x1+x2+x3+x4x5+x6+x7+x8+3, x_1 + x_2 + x_3 + x_4 \ge x_5 + x_6 + x_7 + x_8 + 3,
so from (1) we have:
2(x1+x2+x3+x4)312x1+x2+x3+x48, 2(x_1 + x_2 + x_3 + x_4) - 3 \ge 12 \Rightarrow x_1 + x_2 + x_3 + x_4 \ge 8,
thus, if we choose the 44 lines with the maximum number of black squares, then these contain at least 88 black squares. Then, we are left with at most 44 black squares and for them we choose the 44 columns in which they are located. As a conclusion, with 44 lines and 44 columns we can cover 1212 black squares.

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 and solution reproduced as published; topic and difficulty added by this site.