MathLabs

Problem 5

Let n≥3n\ge3 be a fixed integer. The number 11 is written nn times on a blackboard. Below the blackboard, there are two buckets that are initially empty. A move consists of erasing two of the numbers aa and bb, replacing them with the numbers 11 and a+ba+b, then adding one stone to the first bucket and gcd⁡(a,b)\gcd(a,b) stones to the second bucket. After some finite number of moves, there are ss stones in the first bucket and tt stones in the second bucket, where ss and tt are positive integers. Find all possible values of the ratio ts\dfrac{t}{s}.
Step 4 of 6: Upper bound for q from a_i>=1
q≤(n−1)p−n(n−1)2=(n−1)s+n(n−1)2q\le (n-1)p-\tfrac{n(n-1)}2 = (n-1)s+\tfrac{n(n-1)}2
Detailed analysis

Since each ai≥1a_i\ge1, for each ii we have (i−1)ai≤(n−1)ai−(n−i)(i-1)a_i\le(n-1)a_i-(n-i), and summing over ii gives q≤(n−1)p−∑i=1n(n−i)=(n−1)p−n(n−1)2=(n−1)s+n(n−1)2q\le(n-1)p-\sum_{i=1}^n(n-i)=(n-1)p-\tfrac{n(n-1)}2=(n-1)s+\tfrac{n(n-1)}2 using p=n+sp=n+s.