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} と定める。無限に多くの nn について an=Aa_n=A となる数 AA が存在するような a0a_0 をすべて求めよ。
ステップ 1/5: 決定性により問題を有界性に帰着する
ざっくり言うと

次の項は現在の項だけで決まるので、一度繰り返した値は永遠に繰り返す。

an+1=Φ(an)a_{n+1}=\Phi(a_n)
詳しい解説

an+1a_{n+1} は固定された関数 Φ\Phi(an\sqrt{a_n} または an+3a_n+3)により ana_n だけから完全に決まるので、もし ai=aja_i=a_j(i<ji<j)となる項が存在すれば、すべての k≥0k\ge 0 について ai+k=aj+ka_{i+k}=a_{j+k} となり、数列は指数 ii 以降周期 j−ij-i で正確に周期的になるため、aia_i は無限回現れる。逆に、ある数が無限回現れるなら、それが現れる二つの添字が ai=aja_i=a_j(i<ji<j)を与え、同じ理由で周期性が導かれ、数列は有限個の値しかとらない、すなわち有界である。よって、ある AA が無限回現れることと数列 (an)(a_n) が有界であることは同値である。