If there are several heaps of stones on the table, it is said that there are stones on the table, if we can find piles and number them with the numbers from to so that the first pile contains at least one stone, the second - at least two stones,..., the -th has at least stones. Let the table be initially contain piles of stones each. Find the largest such that after removing any stones, there will still be stones left on the table.
Problem 1340
Official solution
1. Initial Setup:
- We start with 100 piles of 100 stones each.
- We need to find the largest such that after removing any stones, there will still be 50 piles numbered from 1 to 50, where the -th pile has at least stones.
2. Part 1:
- We can remove 5100 stones in such a way that the condition is not satisfied.
- Specifically, if we remove 51 stones from each pile, we will have removed stones.
- After this removal, each pile will have stones.
- Since the 50th pile needs at least 50 stones, the condition is not satisfied.
3. Part 2:
- We need to show that if we remove 5099 stones, the condition is always satisfied.
- Suppose we remove stones from the -th pile, with .
- We claim that for all .
4. Proof of the Claim:
- Assume there exists an such that .
- Then, we have:
- We need to show that leads to a contradiction.
- Consider the function :
- This is a quadratic function opening downwards with a maximum at .
- Evaluating at the boundaries and :
- Since for , the assumption leads to , which is a contradiction.
- Therefore, for all .
5. Verification:
- After removing stones, each pile has stones left.
- For :
- Thus, the 51st pile has at least 1 stone, the 52nd pile has at least 2 stones, ..., and the 100th pile has at least 50 stones.
Conclusion: