I found this in Mathematical miniatures by Titu Andreescu. Suppose we have integers divided into three sets of
each. Then one can alway pick an element from each of the three sets such that one can be expressed as the sum of the remaining two.
To begin with lets assume the three sets to be such that
. Let
then
either belongs to
or some other set. Let us call that set
.
Let’s assume that there are no good triples, which means if then
. Let
contains its
elements as
. Now suppose
cannot belong to set
because then we can pick
. Thus all these elements
should belong to set
, however this would mean
has
elements. So its not possible.
Let us prove the statement if then
. Let’s suppose it is not true which means there is a number
such that
. Clearly
since otherwise
will become the requisite triple. Hence
. Thus if
. We know that
is the least element outside
such that
. We will show that if
. Because if
then
form a triple. If
then
is a good triple. Similarly the relation
means
or if
then
. We can repeat this argument as many times as possible, concluding that all numbers
and
for
for some
. So it will be an element either in
or
a contradiction showing that
implies
and proving if
then
.