IMO2017day1.1

今天看到了IMO2017day1.1这一题，我觉得这题作为签到题很有水平，是很多局外人士都能参与思考的问题。另外day1居然没几何很桑心，下面来讲一讲我的想法。

(IMO2017)但对于每一个正整数$a_0>1$。定义对于$n \geq 0$的数列$a_0,a_1,...$为

$${a_{n + 1}} = \left\{ \begin{array}{l} \sqrt {{a_n}} ,\sqrt {{a_n}} \in N\\ {a_n} + 3,\sqrt {{a_n}} \notin N \end{array} \right.$$
求所有的 $a_0$，使得存在数 $A$满足有无穷多个$n$使得 $a_n=A.$

首先第一思路觉得这是一道数学分析问题，是不是$a_n$会收敛到$A$呢？然而，显然不是这样玩的，这应该是找出所有的可能发生循环的数列。这题比较好找规律，试了几个数之后基本上就能猜出来$a_0$是3的倍数。

证明：

• 先证明如果$3|a_0$，那么数列能进入循环。

对$N$划分为$(0,9]$,$(9,36]$…即$([3(k-1)]^2,(3k)^2],k \in N$.当$k=1$时，验证可以知道其中能被3整除的数都能进入循环。用数学归纳法，假设对于所有3倍数$n$满足$[3(k-1)]^2 \leq n \leq (3k)^2$，$k\geq 2$都能进入循环。下面考虑$((3k)^2,(3k+3)^2]$中的3的倍数$n$。

1.如果$n$本身是完全平方数，这个区间中有3个完全平方数，分别是$(3k-2)^2,(3k-1)^2,(3k)^2$。如果，$n$恰好为其中一个，(实际上只能是$(3k)^2$，因为其他不是3的倍数)那么由数列的定义，他们会发生开方运算，且平方根必定小于区间的左端点，由归纳假设，知道必定会发生3循环。

2.如果$n$本身不是完全平方数，由于$n$为3的倍数，所以$n$通过不断地加3一定会到$(3k)^2$，由上1的分析知道$n$必定会进入循环。于是，由数学归纳法知道如果$3|a_0$，那么数列能进入循环。

• 如果${a_0} \equiv 2(mod3)$那么数列将不会无限循环。

注意到关于$x$的同余方程$x \equiv n^2(mod 3)$的解只有1或0，于是如果${a_0} \equiv 2(mod3)$，那么数列将不断加3，是个递增数列，于是不会进入循环。

• 如果${a_0} \equiv 1(mod3)$那么数列将不会无限循环。

显然对于一个$a_0$如果膜3为1，那么一方面不管是加3运算还是开方运算都不会变成3的倍数，另一方面，如果在运算过程中出现膜3为2的情况的话由第二种情况知道，不可能出现无限循环。所以，只能是恒膜3为1.

对4,7,10,13进行验证知道都会进入第二种情况，从而不会无限循环。利用数学归纳法，假设对于所有$3m+1,m\geq 4$之内的模3为1数都满足结论，下面考虑$3(m+1)+1$,我们只需要证明对于$3(m+1)+1$发生第一次开方运算时（肯定会发生，否则会递增命题成立）所得平方根小于$3m+1$即可，然后由归纳假设即可证明。所以我们直接考察加3次数$l$的界，即

$$\sqrt{3(m+1)+1+3l}\leq3m+1,$$

可以得到$l\leq m^2+m-1$，这个界简直感人肺腑。要知道对于一个在$t^2$和$(t+1)^2$之间的数，最多（即$t^2+1$）只需要加$[\frac{2t-1}{3}]+1$次3即可变成完全平方数，即对于$3(m+1)+1$，最多只需要加$[\frac{2\sqrt{3m+3}-1}{3}]+1$次即可，而对于$m\geq 4$，

$$[\frac{2\sqrt{3m+3}-1}{3}]+1 \leq m^2+m-1,$$
是显然的，于是综上所述，命题得证。