Skip to main content
OlympiadHQ

Browse · MathNet

Print

Czech-Slovak-Polish Match

counting and probability

Problem

Find for which the set can be partitioned into (disjoint) triples in such a way that one of the three numbers in any triple is the sum of the other two.
Solution
From the possibility of partitioning the set into disjoint triples it follows that . In each triple the sum of its elements is , hence an even number; thus also the sum of all numbers from to must be even, i.e. the product must be divisible by four. Altogether it therefore follows that the number has to be of the form either or ; from the given set of numbers, this is satisfied only for and .

In the next paragraph we describe a construction how to produce, starting from a decomposition satisfying the given condition for some , a decomposition of the same kind for and . This guarantees that the required decompositions for and indeed exist, in view of the decreasing sequence (instead of one can start also with ) and the trivial decomposition for (from which we in turn construct the decompositions for , etc. up to or ).

From a decomposition of the set satisfying the given conditions we first produce a similar decomposition for the set of the first even numbers (simply by multiplying all the numbers in the triples by two). In the case of we partition the remaining numbers into the triples , where . They are shown in the columns of the table below.



In the case of we partition the remaining numbers into the triples , where ; these are again shown in the columns of the table below.



This completes the proof of the fact that the solution of the given problem are the numbers and .
Final answer
3900 and 3903

Techniques

Induction / smoothingInvariants / monovariantsDivisibility / FactorizationModular Arithmetic