Maths Olympiad Prep

Library / /74 of 133

, 2015

Combinatorics Difficulty 5.7 AIME, harder Prove it Saudi Arabia

In his bag, Salman has a number of stones. The weight of each stone is not greater than 0.50.5 kg and the total weight of the stones is not greater than 2.52.5 kg. Prove that Salman can divide his stones into 44 groups, each group has a total weight not greater than 11 kg.

Suggested by Trân Nam Dũng

Solution

Let kk be the number of stones. Note that the sum of weights of any two stones is not greater than 11 kg.

Thus, if k8k \leq 8 we can divide these stones into 44 (or less) groups, each group has 11 or 22 stones. This division obviously fulfills the condition.

If k=9k=9, we take 33 lightest stones. Their total weight must not be greater than 2.53<1\frac{2.5}{3} < 1 kg. We put these stones together into one group and distribute the other 66 into 33 groups, 22 stones in each. This division again fulfills the condition.

Now, consider the general case. Whenever two or more stones have the total weight less or equal to 0.50.5 kg then we merge them into one new stone. Since the number of stones is finite, this process must terminate and our new stones have the property that the sum of the weights of any two stones is greater than 0.50.5 kg. We deduce that the number of our new stones is less or equal to 99, otherwise, we will have at least 55 pairs of stones with total weight greater than 0.50.5 kg each, and the total weight of all the stones will be greater than 2.52.5 kg. Applying what we have done in the first two cases, we can divide these new stones as required. Obviously, the same division applies for the original unmerged stones.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.