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 5 of 5: Finish with the safe two-jump tail
In plain words

Use induction to reach the point before the two selected jumps, then those jumps land at the two safe checkpoints and finally at the safe total.

(b1,…,bn−2,an,ai)(b_1,\ldots,b_{n-2},a_n,a_i)
Detailed analysis

For the index ii found above, apply induction to the n−2n-2 lengths other than aia_i and ana_n, with forbidden set M∖{x,m}M\setminus\{x,m\}. Its total is viv_i, which is not forbidden, so let their safe order be (b1,…,bn−2)(b_1,\ldots,b_{n-2}). Use the order (b1,…,bn−2,an,ai)(b_1,\ldots,b_{n-2},a_n,a_i). The first part avoids the remaining mines; the next landing is vi+an=uiv_i+a_n=u_i, the last landing is ui+ai=su_i+a_i=s, and both are safe. This completes the induction.