MathLabs

第1题

对每个整数 a0>1a_0>1,对 n≥0n\ge 0 定义数列 a0,a1,a2,…a_0,a_1,a_2,\ldots 为 an+1={anif an is an integer,an+3otherwise.a_{n+1}=\begin{cases}\sqrt{a_n} & \text{if }\sqrt{a_n}\text{ is an integer},\\ a_n+3 & \text{otherwise}.\end{cases} 求所有 a0a_0,使得存在数 AA 满足对无穷多个 nn 都有 an=Aa_n=A。
第 5/5 步:结论
a0=3k, k∈Z>0a_0=3k,\ k\in\mathbb{Z}_{>0}
详细分析

结合前两步与第1步的等价关系:存在无穷多次出现的数 AA 当且仅当 a0a_0 是 33 的正倍数,此时可取 A=3A=3、A=6A=6 或 A=9A=9。