Given different natural numbers ( ). Prove that two can be selected such that neither their sum nor the absolute value of their difference appears among the remaining numbers!
Problem 1047
Official solution
Given numbers in increasing order , where .
The number , when paired with any other number, will not have their sum appear among the other numbers, since is the largest. If for any , does not appear among , then we are done. If for every there exists some such that and , then all numbers except can be paired such that the sum of each pair is exactly . Since such a pairing is only possible if is even, the statement of the problem is proven for cases where is odd, i.e., when is even. The only cases left from those where is odd are those where can be paired, i.e., when
Let's examine the numbers and . Their difference, according to (1), is
Thus, . If we choose and , where , then , meaning that neither the sum nor the difference of the found numbers is among the remaining ones. This proves the statement for odd as well.
Remarks. 1. The statement is not true for , as the number triplet 1, 2, 3 demonstrates.
2. We did not use the fact that the numbers are integers, so the statement of the problem is true for any -tuple of distinct non-negative numbers.