Maths Olympiad Prep

Library / /2 of 4

Combinatorics Difficulty 7.6 National Olympiad, round 2 Prove it Romania

Consider a 4×44 \times 4 array of pairwise distinct positive integers such that on each column, respectively row, one of the numbers is equal to the sum of the other three. Determine the least possible value of the largest number such an array may contain.

Solution

<table>
<tr><td>1</td><td>8</td><td>12</td><td><b>21</b></td></tr>
<tr><td>7</td><td>9</td><td>20</td><td>4</td></tr>
<tr><td>10</td><td>19</td><td>3</td><td>6</td></tr>
<tr><td>18</td><td>2</td><td>5</td><td>11</td></tr>
</table>

The lower bound is a consequence of the following slightly more general fact:
If, for some integer n3n \ge 3, on each row of an n×nn \times n array of pairwise distinct positive integers, one of the numbers is equal to the sum of the other n1n-1, then the largest number in the array is at least 12(n1)(n2n+2)\frac{1}{2}(n-1)(n^2 - n + 2); columns subjected to no condition whatsoever.

Let aa be the largest number in the array and let aia_i be the largest number on the ii-th row, i=1,2,,ni = 1, 2, \dots, n. Since the aia_i are pairwise distinct positive integers not exceeding aa,
i=1naij=0n1(aj)=na12n(n1).() \sum_{i=1}^{n} a_i \le \sum_{j=0}^{n-1} (a-j) = na - \frac{1}{2}n(n-1). \quad (*)
Let now b1,b2,,bn2nb_1, b_2, \dots, b_{n^2-n} be the numbers in the array different from each aia_i. Then
i=1nai=j=1n2nbjk=1n2nk=12n(n1)(n2n+1),() \sum_{i=1}^{n} a_i = \sum_{j=1}^{n^2-n} b_j \ge \sum_{k=1}^{n^2-n} k = \frac{1}{2}n(n-1)(n^2-n+1), \quad (**)
where the first equality holds by hypothesis, and the inequality follows from the fact that the bjb_j are pairwise distinct positive integers.
Finally, ()(*) and ()(**) imply a12(n1)(n2n+2)a \ge \frac{1}{2}(n-1)(n^2-n+2), as stated. If n=4n=4, then a21a \ge 21, as desired.

In particular, if n=3n = 3, then amax(9,8)=9a \ge \max(9, 8) = 9. The case a=9a = 9 can be ruled out by hand and it turns out that a=10a = 10 fits the bill on columns as well:
4596821037 \begin{array}{ccc} 4 & 5 & 9 \\ 6 & 8 & 2 \\ \mathbf{10} & 3 & 7 \end{array}
It should now be clear that a=12(n1)(n2n+2)a = \frac{1}{2}(n-1)(n^2-n+2) forces n4n \ge 4. If n=4n = 4, then a=21a = 21 also fits the bill on columns, as the array in the solution shows.

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.