Puzzle栏目开通
生活中经常做到有意思的题目,自己也会有些巧妙的解法。当时不记下来很快会忘记,非常可惜。所以我在博客里开了Puzzle这个栏目,记录有意思的谜题。那么这个栏目的第一题,就献给今天早上刚刚出炉的IMO 2017吧。
IMO 2017 T1解答
先看看题目
题意不复杂,定义一个数列。问初值符合的条件使得题设成立。
首先要观察到,题设条件等价于去掉有限项开始循环,这个数列循环的部分不会太大,因为开根号这个运算衰减地太快了。既然题设条件如此强,我们就按照题设条件来求出一个初值的必要条件。要注意做题要利用根号衰减地快保证循环节不会太大,所以必定要利用数论性质进行不等式放缩。我的解答就按照这个思路写出了第一部分。
第一部分得到了初值的必要条件和此时的循环节必然为3,6,