Skip to main content
OlympiadHQ

Browse · MathNet

Print

National Olympiad of Argentina

Argentina counting and probability

Problem

A collection of weights can be divided into 4 groups with equal masses, into 5 groups with equal masses, and into 9 groups with equal masses. Give an example of such a collection with the least possible number of weights. (Non-integer masses are allowed.)
Solution
The answer is 14. First we prove that no collection of 13 weights is admissible. Assume on the contrary that 13 weights can be divided into 9, 5 and 4 groups with equal masses (divisions 1, 2 and 3 respectively). Multiplying all by a positive number yields an admissible collection again, so suppose that the total mass is . (It is not assumed here that the are integers.) The mass of one group in division 1 is , hence for all . At least 5 groups of the 9 groups in division 1 consist of exactly 1 weight, so there are 5 weights of mass 20, say . They are in different groups in division 2 where the mass of one group is . Remove from their groups to obtain a division of into 5 groups of mass 16. In particular for . So in division 1 the 8 weights are divided into 4 pairs with mass 20 each, say . There is also a division of into 5 groups of mass 16; two of these groups must have exactly one weight. Hence one may assume , implying . All determined so far are integer multiples of 4.

Each group in division 3 has mass which is not a multiple of 4. Hence each group contains a non-multiple of 4, i.e. an integer not divisible by 4 or a non-integer. As are divisible by 4, the non-multiples of 4 are , and they belong to different groups. We obtain that each of differs from 45 by a multiple of 4, so it is an integer congruent to 1 modulo 4. But then which is a contradiction.

[The reasoning modulo 4 can be avoided. We proved that weights form 5 groups of mass 16—hence each one has mass at most 16—and also 4 pairs with mass 20—so each one has mass at least 4. Two of the 5 weights with mass 20 are in the same group in division 3. The mass 45 of the group is completed by exactly one weight of mass 5: having two or more weights of total mass 5 would yield a mass less than 4. The weight 5 must be paired up with a weight 15 in a group of mass 20. However the 15 is also in a group of mass 16 which is impossible by the above.]

So there is no admissible collection with 13 weights (and hence with fewer weights either). An admissible collection with 14 weights is ; divisions 1, 2 and 3 are:

;

;

.
Final answer
14; for example masses: 3, 4, 5, 7, 9, 11, 13, 15, 16, 17, 20, 20, 20, 20

Techniques

Pigeonhole principleColoring schemes, extremal arguments