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 5 of 10: Determine every term whose index is a multiple of d
akd=kt(k≥1)a_{kd}=kt\quad(k\ge1)
Detailed analysis

Choose arbitrarily large positive R,SR,S with Rm−Sn=kdRm-Sn=kd, and set x=n+(R+1)mx=n+(R+1)m, y=m+(S+1)ny=m+(S+1)n. Then x−y=kdx-y=kd, while Step 3 gives ax=(t/d)xa_x=(t/d)x and ay=(t/d)ya_y=(t/d)y. Since ax=ay+kda_x=a_{y+kd} divides c(ay+akd)c(a_y+a_{kd}), it also divides c(akd−tk)c(a_{kd}-tk). Letting R,SR,S grow makes axa_x arbitrarily large, so akd=tka_{kd}=tk.