MathLabs

Problem 1

For each integer a0>1a_0>1, define the sequence a0,a1,a2,…a_0,a_1,a_2,\ldots for n≥0n\ge 0 by 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} Determine all values of a0a_0 for which there exists a number AA such that an=Aa_n=A for infinitely many values of nn.
Step 5 of 5: Conclusion
a0=3k, k∈Z>0a_0=3k,\ k\in\mathbb{Z}_{>0}
Detailed analysis

Combining the previous two steps with the equivalence from Step 1: a number AA occurs infinitely often exactly when a0a_0 is a positive multiple of 33, and then one may take A=3A=3, A=6A=6, or A=9A=9.