Let be a positive natural number. In the following, we consider pairs of elements of the set , each of which have no common element.
Determine with proof the maximum number of such pairs, for which the sums of their elements are pairwise distinct and not greater than .
(For example, and are three possible pairs for .)
Problem 1499
Official solution
Let be the number of possible pairs. Then the sum of the numbers occurring in them can be estimated in two directions:
(all numbers are different) and
(all sums are different and ).
This yields for because after division by the inequality , from which follows. Therefore, there are at most possible pairs
( denotes the greatest integer ). For , it is obviously .
Now we give a construction for with exactly pairs. For this, let , so . The following table shows the pairs and their sums, where for small some columns must be omitted due to ambiguity of the terms:
| Pair | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 2 | 4 | 1 | 3 | ||||||
| Sum |
The pairs contain all numbers from 1 to ; their sums range from to and are clearly different and not greater than .
The same construction works for and , because here again. For , is sufficient. Therefore, the last column of the table can simply be omitted here. For , as well, and we omit the last column of the table and also decrease each upper number in the first row by 1. Thus, all conditions are again satisfied.
Hint: Many participants were misled by the example to assume as the maximum number. However, those who discovered the three(!) pairs (2;4), (1;6), (3;5) or (1;5), (3;4), (2;6) for were immune to this estimate. The rarely occurring misunderstanding of the formulation, "no common element" in the sense that pairs were allowed, led to a trivial problem, whose solution was only awarded a modest score.