MathLabs

Problem 5

Consider an infinite sequence a1,a2,…a_1,a_2,\ldots of positive integers such that 100!(am+am+1+⋯+an)100!(a_m+a_{m+1}+\cdots+a_n) is a multiple of an−m+1an+ma_{n-m+1}a_{n+m} for all positive integers m,nm,n with m≤nm\le n. Prove that the sequence is either bounded or linear. A sequence is bounded if there is a constant NN such that an<Na_n<N for every positive integer nn, and it is linear if an=n⋅a1a_n=n\cdot a_1 for every positive integer nn.
Step 4 of 10: The two chosen terms have proportional indices
man=nam,d=gcd⁡(m,n),am=mdt,an=ndtma_n=na_m,\qquad d=\gcd(m,n),\qquad a_m=\frac md t,\quad a_n=\frac nd t
Detailed analysis

The two formulas in Step 3 evaluate the same term: an+(n+1)m=am+(m+1)na_{n+(n+1)m}=a_{m+(m+1)n}. Therefore man=namma_n=na_m. With d=gcd⁡(m,n)d=\gcd(m,n), coprimality after dividing by dd gives an integer t>0t>0 such that am=(m/d)ta_m=(m/d)t and an=(n/d)ta_n=(n/d)t.