Maths Olympiad Prep

Track / Stage 6 / 47 of 400 #1047 of 1964

Problem 1047

National olympiad, first round
Combinatorics Difficulty 6.0 Prove it

Given nn different natural numbers ( n4n \geqq 4 ). Prove that two can be selected such that neither their sum nor the absolute value of their difference appears among the remaining numbers!

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

Given numbers in increasing order a1<a2<<an1<ana_{1} < a_{2} < \ldots < a_{n-1} < a_{n}, where a1>0a_{1} > 0.

The number ana_{n}, when paired with any other number, will not have their sum appear among the other numbers, since ana_{n} is the largest. If for any 1in11 \leq i \leq n-1, anai=anai\left|a_{n}-a_{i}\right|=a_{n}-a_{i} does not appear among a1,a2,,ai1,,an1a_{1}, a_{2}, \ldots, a_{i-1}, \ldots, a_{n-1}, then we are done. If for every ii there exists some 1jn11 \leq j \leq n-1 such that anai=aja_{n}-a_{i}=a_{j} and iji \neq j, then all numbers except ana_{n} can be paired such that the sum of each pair is exactly ana_{n}. Since such a pairing is only possible if n1n-1 is even, the statement of the problem is proven for cases where n1n-1 is odd, i.e., when nn is even. The only cases left from those where nn is odd are those where a1,a2,,an1a_{1}, a_{2}, \ldots, a_{n-1} can be paired, i.e., when

ak+ank=anfor all1kn1. a_{k}+a_{n-k}=a_{n} \quad \text{for all} \quad 1 \leq k \leq n-1.

Let's examine the numbers an1a_{n-1} and an2a_{n-2}. Their difference, according to (1), is

an1an2=(ana1)(ana2)=a2a1. a_{n-1}-a_{n-2}=\left(a_{n}-a_{1}\right)-\left(a_{n}-a_{2}\right)=a_{2}-a_{1}.

Thus, an1an2=a2a1a_{n-1}-a_{n-2}=a_{2}-a_{1}. If we choose an1a_{n-1} and aka_{k}, where 1<k<n11 < k < n-1, then an1+ak>an1+a1=ana_{n-1}+a_{k}>a_{n-1}+a_{1}=a_{n}, meaning that neither the sum nor the difference of the found numbers is among the remaining ones. This proves the statement for odd nn as well.

Remarks. 1. The statement is not true for n=3n=3, as the number triplet 1, 2, 3 demonstrates.

2. We did not use the fact that the aia_{i} numbers are integers, so the statement of the problem is true for any nn-tuple of distinct non-negative numbers.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.