MathLabs

Problem 6

Let a1,…,ana_1,\ldots,a_n be distinct positive integers and let MM be a set of n−1n-1 positive integers not containing s=a1+⋯+ans=a_1+\cdots+a_n. A grasshopper starts at 00 and makes nn jumps to the right, with lengths a1,…,ana_1,\ldots,a_n in some order. Prove that the order can be chosen so that the grasshopper never lands on a point in MM.
Step 3 of 5: Replace a jump that hits the last remaining mine
In plain words

If the checkpoint has no mine to its right, the longest jump can jump over the largest mine whenever the shorter path reaches it.

m=max⁡M⟹m−ak+an>mm=\max M\quad\Longrightarrow\quad m-a_k+a_n>m
Detailed analysis

First suppose x∉Mx\notin M and there is no mine greater than xx. If MM is empty, we are done; otherwise let m=max⁡Mm=\max M. Apply induction to the shorter lengths and M∖{m}M\setminus\{m\}. If the resulting path never lands on mm, append ana_n. If its kkth jump aka_k lands on mm, replace that jump by ana_n and put aka_k last. The new point at that stage is m−ak+an>mm-a_k+a_n>m, and every later point is also greater than mm; the final point is ss. The same argument handles x∈Mx\in M with no mine greater than xx, by taking m=xm=x and applying induction to M∖{x}M\setminus\{x\}.