2000 IMO Problems/Problem 3
Let be a positive integer and a positive real number. Initially there are fleas on a horizontal line, not all at the same point. We define a move as choosing two fleas at some points and , with to the left of , and letting the flea from jump over the flea from to the point so that .
Determine all values of such that, for any point on the line and for any initial position of the fleas, there exists a sequence of moves that will take them all to the position right of .
Solution
The answer is .
We change the problem be replacing the fleas by bowling balls , , \dots, in that order. Bowling balls aren't exactly great at jumping, so the operation now works as follows. Choose any indices . Then ball moves to 's location, moves to 's location, and so on; until moves to 's location, Finally, moves some distance at most forward, but it may not pass .
Claim: If the bowling balls have bounded movement.
Proof. Let denote the initial distance between and , and let denote the distance travelled by ball . Of course we have , , \dots, by the relative ordering of the bowling balls. Finally, distance covered by is always times distance travelled by other bowling balls, so\begin{align*} \Delta_n &\le \lambda \sum_{i=1}^{n-1} \Delta_i \le \lambda \sum_{i=1}^{n-1} \left( \left( a_i + a_{i+1} + \dots + a_{n-1} \right) + \Delta_n \right) \\ &= (n-1)\lambda \cdot \Delta_n + \sum_{i=1}^{n-1} i a_i \end{align*}and since , this gives an upper bound.
Claim: When , it suffices to always jump the leftmost flea over the rightmost flea.
Proof. If we let denote the distance travelled by in the th step, then for and .
In particular, if then each is at least the average of the previous terms. So if the are not all zero, then are all positive and thereafter for every . So the partial sums of are unbounded, as desired.