Suppose that the numbers {1,2,…,25} are written in some order in an 5×5 array. Find the maximal positive integer k, such that the following holds. There is always an 2×2 subarray whose numbers have a sum not less than k.
An 5×5 array must be completed with all numbers {1,2,…,25}, one number in each cell. Find the maximal positive integer k, such that for any completion of the array there is a 2×2 square (subarray), whose numbers have a sum not less than k.
This one wants a proof. Work it on paper, then read the official solution and mark
yourself. Be honest about it: the record is only any use to you if it is.
Official solution
We will prove that kmax=45.
We number the columns and the rows and we select all possible 32=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 32 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 32 choices of an odd column with an odd row is 5×(17+18+⋯+25)+3×(5+6+⋯+16)=1323. So, by an averaging argument, there exists a pair of an odd column with an odd row with sum at most 91323=147. Then all the other squares of the array will have sum at least (1+2+⋯+25)−147=178. But for these squares there is a tiling with 2×2 arrays, which are 4 in total. So there is an 2×2 array, whose numbers have a sum at least 4178>44. So, there is a 2×2 array whose numbers have a sum at least 45. This argument gives that kmax≥45.(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:
We are going now to even rows: In the above array, every 2×2 subarray has a sum, which is less or equal to 45. This gives that kmax≤45.(2) A combination of (1) and (2) gives that kmax=45.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.