Maths Olympiad Prep

Library / /58 of 84

, 2014

Combinatorics Difficulty 5.6 AIME, harder Prove it United States

Problem:

The integers 1,2,,641,2, \ldots, 64 are written in the squares of a 8×88 \times 8 chess board, such that for each 1i<641 \leq i < 64, the numbers ii and i+1i+1 are in squares that share an edge. What is the largest possible sum that can appear along one of the diagonals?

Solution

Solution:

Answer: 432 Our answer is 26+52+54+56+58+60+62+6426+52+54+56+58+60+62+64.
One possible configuration:

26252423181787
27525322191696
285154212015105
295055565714114
304944435813123
314845425960612
324746414039621
3334353637386364

WLOG, we seek to maximize the sum of the numbers on the main diagonal (top left to bottom right). If we color the squares in a checker-board pattern and use the fact that aa and a+1a+1 lie on different colored squares, we notice that all numbers appearing on the main diagonal must be of the same parity.

Consider the smallest value mm on the main diagonal. All numbers from 11 to m1m-1 must lie on one side of the diagonal since the main diagonal disconnects the board into two regions, and by assumption, all numbers less than mm cannot lie on the main diagonal. Therefore, m29m \leq 29 (one more than the seventh triangular number). But if m=29m=29, then the sum of the numbers on the main diagonal is at most 29+51+53+55+57+59+61+63=42829+51+53+55+57+59+61+63=428, as these numbers must be odd. Similarly, m=27m=27 is also not optimal.

This leaves m=28m=28 as a possibility. But if this were the case, the only way it beats our answer is if we have 28+52+54++6428+52+54+\ldots+64, which would require 52,54,,6452,54, \ldots, 64 to appear sequentially along the diagonal, forcing 2828 to be in one of the corners.

Now label the squares (row, column) with (1,1)(1,1) being the top left and (8,8)(8,8) being the bottom right. Assume WLOG that 2828 occupies (1,1)(1,1). Since 6262 and 6464 are in (7,7)(7,7) and (8,8)(8,8), respectively, we must have 6363 in (7,8)(7,8) or (8,7)(8,7), and WLOG, assume it's in (8,7)(8,7). Since 6161 is next to 6060, it is not difficult to see that (7,8)(7,8) must be occupied by 11 (all numbers aa between 22 and 6060 must have a1a-1 and a+1a+1 as neighbors). Since 11 is above the main diagonal, all numbers from 11 to 2727 must also be above the main diagonal. Since there are 2828 squares above the main diagonal, there is exactly one number above the main diagonal greater than 2828.

Notice that 6161 must occupy (7,6)(7,6) or (6,7)(6,7). If it occupies (7,6)(7,6), then we are stuck at (8,6)(8,6), since it must contain a number between 22 and 5959, which is impossible. Therefore, 6161 must occupy (6,7)(6,7), and no more numbers greater than 2828 can be above the main diagonal. This forces 59,57,5559,57,55, and 5353 to occupy (6,5),(5,4),(4,3),(3,2)(6,5),(5,4),(4,3),(3,2), respectively. But we see that 2727 occupies (1,2)(1,2) and 2929 occupies (2,1)(2,1), leaving nowhere for 5151.
This is a contradiction, so our answer is therefore optimal.

Alternate solution: Another method of proving that m26m \leq 26 is to note that each side of the diagonal has 2828 squares, 1616 of which are one color and 1212 of which are the other color. As the path has to alternate colors, one can make at most 13+12=2513+12=25 steps before moving on the diagonal.

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.