Maths Olympiad Prep

Library / /19 of 24

, 2019

Combinatorics Difficulty 8.7 Shortlist Prove it Balkan Mathematical Olympiad

Suppose that the numbers {1,2,,25}\{1, 2, \dots, 25\} are written in some order in an 5×55 \times 5 array. Find the maximal positive integer kk, such that the following holds. There is always an 2×22 \times 2 subarray whose numbers have a sum not less than kk.

An 5×55 \times 5 array must be completed with all numbers {1,2,,25}\{1, 2, \dots, 25\}, one number in each cell. Find the maximal positive integer kk, such that for any completion of the array there is a 2×22 \times 2 square (subarray), whose numbers have a sum not less than kk.

Solution

We will prove that kmax=45k_{\max} = 45.

We number the columns and the rows and we select all possible 32=93^2 = 9 choices of an odd column with an odd row.
Collecting all such pairs of an odd column with an odd row, we double count some squares. Indeed, we take some 323^2 squares 5 times, some 12 squares 3 times and there are some 4 squares (namely all the intersections of an even column with an even row) that we don't take in such pairs.
It follows that the maximal total sum over all 323^2 choices of an odd column with an odd row is
5×(17+18++25)+3×(5+6++16)=1323. 5 \times (17 + 18 + \dots + 25) + 3 \times (5 + 6 + \dots + 16) = 1323.
So, by an averaging argument, there exists a pair of an odd column with an odd row with sum at most 13239=147\frac{1323}{9} = 147.
Then all the other squares of the array will have sum at least
(1+2++25)147=178. (1 + 2 + \dots + 25) - 147 = 178.
But for these squares there is a tiling with 2×22 \times 2 arrays, which are 4 in total. So there is an 2×22 \times 2 array, whose numbers have a sum at least 1784>44\frac{178}{4} > 44. So, there is a 2×22 \times 2 array whose numbers have a sum at least 45. This argument gives that
kmax45.(1) k_{\max} \geq 45. \qquad (1)
We are going now to give an example of an array, in which 45 is the best possible. We fill the rows of the array as follows:

| 25 | 5 | 24 | 6 | 23 |
|----|---|----|---|----|
| 11 | 4 | 12 | 3 | 13 |
| 22 | 7 | 21 | 8 | 20 |
| 14 | 2 | 15 | 1 | 16 |
| 19 | 9 | 18 | 10 | 17 |

We are going now to even rows:
In the above array, every 2×22 \times 2 subarray has a sum, which is less or equal to 45. This gives that
kmax45.(2) k_{\max} \leq 45. \qquad (2)
A combination of (1) and (2) gives that kmax=45k_{\max} = 45.

\boxed{}

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.