Page 1 of 1

IMO $2017$ P$1$

Posted: Wed Jul 19, 2017 12:25 am
by ahmedittihad
For each integer $a_0 > 1$, define the sequence $a_0, a_1, a_2, \ldots$ for $n \geq 0$ as
$$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 $a_0$ so that there exists a number $A$ such that $a_n = A$ for infinitely many values of $n$.

Re: IMO $2017$ P$1$

Posted: Fri Aug 04, 2017 1:25 pm
by Katy729
Anyone?? :(

Re: IMO $2017$ P$1$

Posted: Fri Sep 15, 2017 3:11 am
by Katy729
Please someone post a solution... :( :(

Re: IMO $2017$ P$1$

Posted: Sun Oct 01, 2017 10:25 pm
by ahmedittihad
Case 1: $a_0\equiv 0\pmod{3}$.
We have $a_m\equiv 0\pmod{3}\,\,\forall m\geq 0$.
If $a_0=3$ then $a_{3m}=3\,\,\forall m\geq 0$, therefore $a_0=3$ satisfying the condition of the problem.
If $a_0=3k$ for some $k>1$. We will prove that there is an index $m_0$ such that $a_{m_0}<a_0$, and therefore (by replace $a_0$ by $a_{m_0}$) $a_0$ satisfying the condition of the problem. If $a_0$ is a square then $a_1<a_0$ else $m^2<3k<(m+1)^2$ for some positive integer $m$, exactly one of $m+1$, $m+2$, $m+3$ is divisible $3$, assume that it is $m+x\,\, (x\in\{0,1,2\})$, for some $m_0$ we have $a_{m_0}=m+x\leq m+3<3k=a_0$, we're done.

Case 2: $a_0\equiv 2\pmod{3}$.
In this case we have $a_n=a_0+3n\,\,\forall n\geq 0$ therefore $a_0$ does not meet the condition of the problem.

Case 3: $a_0\equiv 1\pmod{3}$.
We have $a_m\not\equiv 0\pmod{3}\,\,\forall m\geq 0$.
If $a_m\equiv 2\pmod{3}$ for some $m$ then by case 2, the sequence is unbound, therefore $a_0$ does not meet the condition of the problem.
If $a_m\equiv 1\pmod{3}\,\,\forall m\geq 0$ then assume that $a_k$ is smallest in $\{a_n\}$. Similary case 1, we can find $a_l$ such that $a_l<a_k$, contradiction! Therefore $a_0$ does not meet the condition of the problem.

Conclude, $a_0\equiv 0\pmod{3}$.[/

Re: IMO $2017$ P$1$

Posted: Mon Oct 02, 2017 3:00 pm
by Katy729
Beautifull solution ahmedittihad!! :)