58-я Международная Математическая OлимпиадаБразилия, Рио-де-Жанейро, 2017 год

Для произвольного целого $a_0 > 1$ определим последовательность $a_0$, $a_1$, $a_2$, $\ldots$ следующим образом: $${a_{n + 1}} = \left\{ \begin{array}{l} \sqrt {{a_n}} ,\mbox { если } {\sqrt{a_n}} \mbox { — целое число},\\ {a_n} + 3 \mbox { в противном случае,} \end{array} \right. \mbox { для всех } n \ge 0. $$
Найдите все значения $a_0$, при которых существует число $A$ такое, что $a_n=A$ для бесконечно многих значений $n$.

Комментарий/решение

"Набросок решения"

Если $3\mid a_0,$ то докажите, что $a_i\le (3t)^2,\forall i\in\mathbb N,$ где $t\in\mathbb N,a_0\le {(3t)}^.2$ $\quad (t$ константа)

Если $2\equiv a_i\pmod 3,$ для некоторого $i\in\mathbb N_0,$ то ни один член последовательности не является целым квадратом, поскольку $x^2\equiv \{0,1\} \pmod 3.$

Если $1\equiv a_i\pmod 3,$ для всех $i\in\mathbb N_0,$ то для каждого $j\in\mathbb N_0,$ существует $k_j\in\mathbb N_0,$ что $$a_j> a_{k_j}\quad \text{и}\quad k_j> j.$$ Тогда для некоторого $\ell\in\mathbb N_0,a_{\ell}=1,$ но тогда $a_i\ge a_{\ell}=1,$ что противоречит свойству доказанному ранее.

Свойство легко доказать, если ограничить $s^2 < a_j\le (s+1)^2,s\in\mathbb{N_0},$ а далее рассмотрев случаи $s\equiv \{0,1,2\}\pmod 3.$

Если $a_i \equiv 2 \pmod {3}$ то заметим что все последующие числа тоже будут давать такой же остаток откуда заметим что это будет возрастающая последовательность тогда таких $a_0$ нету

Пусть теперь же $a_i\equiv 1 \pmod {3}$ если $a_i\ne 1$ тогда если $\sqrt{a_i} \in Z \Rightarrow a_{i-1}\equiv 2 \pmod {3} \Rightarrow $ и так бесконечно вниз и это будет возрастающей последовательности а если $\sqrt {a_i}$ не целое то если после $t$ действий опять не будет целое то это будет опять же возрастающей последовательности и такового $A$ не будет тогда если $a_i=1 \Rightarrow a_i=a_{i-1}=....=a_0=1 \Rightarrow A=1$

$a_i \equiv0\pmod {3}$ Тогда все числа в этой последовательнсоти $\equiv 0 \pmod {3}$

Допустим теперь $a_i$ квадрат какого то числа После $p$ дествий мы дойдем до того что $a_u=a_i$ и тогда это будет бесконечная последовательность

Докво если $a_i$ квадрат то после первого действия он уменьшится но т.к. последующий числа будут возрастать то он опять же вырастет тогда Если $a_i$ не квадрат то он возрастет до квадрата какого то числа и опять спустится и если следующее число не квадрат то бесконечная последовательность и если это число еще какого квадрата и т.д. несколько раз то это будет опять бесконечная последовательность или они достигнут предела в $\sqrt{9}=3,3+3=6,6+3=9$ и это бесконечная последовательнсоть откуда

$a_0=3s,1$

Правильно ?просто это второй раз когда последовательность решаю