MathLabs

第5题

设 a1,a2,…a_1,a_2,\ldots 是一个正整数无限序列。假设存在整数 N>1N>1,使得对每个 n≥Nn\ge N,数 a1a2+a2a3+⋯+an−1an+ana1\frac{a_1}{a_2}+\frac{a_2}{a_3}+\cdots+\frac{a_{n-1}}{a_n}+\frac{a_n}{a_1} 都是整数。证明存在正整数 MM,使得对所有 m≥Mm\ge M 都有 am=am+1a_m=a_{m+1}.
第 3/8 步:不整除 a1a_1 的素数给出递减
p∤a1⟹vp(an+1)≤vp(an)p\nmid a_1\Longrightarrow v_p(a_{n+1})\le v_p(a_n)
详细分析

若 p∤a1p\nmid a_1,则 v(an+1a1)≥0v(\frac{a_{n+1}}{a_1})\ge0 且 v(ana1)≥0v(\frac{a_n}{a_1})\ge0。由于 TnT_n 是整数,最后一项也须满足 v(anan+1)≥0v(\frac{a_n}{a_{n+1}})\ge0。故对每个 n>Nn>N 有 vp(an+1)≤vp(an)v_p(a_{n+1})\le v_p(a_n)。