In a room there are 2005 fruit boxes, each of which contains one or more kinds of fruit, with an integer number of fruits of each kind.
a) Show that one can always select 669 fruit boxes that together contain at least one third of all apples as well as at least one third of all pears.
b) Can the boxes in part a) always be chosen such that they additionally contain at least one third of all peaches?
Solution
Solution:
a) Let be a box that contains a maximal number of apples, say pieces. It is first set aside. We now consider all possibilities of dividing the remaining boxes into three piles, , and , of 668 boxes each. Let the total number of apples in these boxes be , , . By starting with an arbitrary such division and renaming the piles formed if necessary, we see that there are divisions with . Among all of these we fix, for the remainder of the proof, one for which is minimal. If now , we could swap a box from containing the maximal number of apples with a box from containing the minimal number, and, due to the maximality of , after possibly renaming the piles, we would obtain a contradiction to the minimality of . Hence , so , from which immediately follows
So if we finally decide to take the 669 boxes , i.e. the boxes of pile together with the box , then we would have at least satisfied the condition on the number of apples to be taken. This naturally holds all the more for and . Now let (by the pigeonhole principle) be one of the three piles that contains at least one third of the pears occurring in them altogether. Thus the selection certainly satisfies the requirement on the number of pears to be chosen and is consequently, by the above, as desired.
b) Here it suffices to give a counterexample. Let one of the boxes contain nothing but one apple, another just one pear, and in each of the remaining 2003 boxes let there lie one peach. If one wanted to satisfy the stated conditions, one would have to choose the box with the apple, the box with the pear, and 668 boxes with a peach, thus needing 670 boxes in total.