Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /156 of 359

Taiwan IMO Selection Camp

Combinatorics Difficulty 5.6 AIME, harder Prove it Taiwan

There's a 6×66 \times 6 chess board, which we label the squares in the first column by (1,1),(1,2),⋯ ,(1,6)(1,1), (1,2), \cdots, (1,6), and label the other squares similarly. For every k=0,1,⋯ ,5k = 0,1,\cdots,5, all squares (i−j)(i-j) satisfying i−j≡k(mod6)i-j \equiv k \pmod 6 form a diagonal; therefore, there are six diagonals. Decide whether we can write 1,2,⋯ ,361,2,\cdots,36 on the chess board so that the all following conditions hold:
(1) The sums for each column are the same.
(2) The sums of each row are the same.
(3) The sums of each diagonal are the same.

Solution

Impossible. Proof by contradiction: suppose we can fill it successfully, then this sum must be
S=16(1+2+⋯+36)=111. S = \frac{1}{6}(1 + 2 + \cdots + 36) = 111.
Divide the 6×66 \times 6 squares into four categories:
1. A: squares whose coordinates are (odd, odd).
2. B: squares whose coordinates are (odd, even).
3. C: squares whose coordinates are (even, odd).
4. D: squares whose coordinates are (even, even).
Then by the assumption of the problem, A+B=3SA + B = 3S, B+D=3SB + D = 3S, A+D=3SA + D = 3S, and adding them all together gives
2(A+B+D)=9S, 2(A + B + D) = 9S,
but the left side is even while the right side is odd, a contradiction!

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

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.