Consider a 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 , on each row of an array of pairwise distinct positive integers, one of the numbers is equal to the sum of the other , then the largest number in the array is at least ; columns subjected to no condition whatsoever.
Let be the largest number in the array and let be the largest number on the -th row, . Since the are pairwise distinct positive integers not exceeding ,
Let now be the numbers in the array different from each . Then
where the first equality holds by hypothesis, and the inequality follows from the fact that the are pairwise distinct positive integers.
Finally, and imply , as stated. If , then , as desired.
In particular, if , then . The case can be ruled out by hand and it turns out that fits the bill on columns as well:
It should now be clear that forces . If , then also fits the bill on columns, as the array in the solution shows.