[list=1] [*] Prove that, the sequence of remainders obtained when the Fibonacci numbers are divided by $n$ is periodic, where $n$ is a natural number. [*] There exists no such non-constant polynomial with integer coefficients such that for every Fibonacci number $n,$ $ P(n)$ is a prime. [/list]

A finite sequence $x_1,\dots,x_r$ of positive integers is a [i]palindrome[/i] if $x_i=x_{r+1-i}$ for all integers $1 \le i \le r$. Let $a_1,a_2,\dots$ be an infinite sequence of positive integers. For a positive integer $j \ge 2$, denote by $a[j]$ the finite subsequence $a_1,a_2,\dots,a_{j-1}$. Suppose that there exists a strictly increasing infinite sequence $b_1,b_2,\dots$ of positive integers such that for every positive integer $n$, the subsequence $a[b_n]$ is a palindrome and $b_{n+2} \le b_{n+1}+b_n$. Prove that there exists a positive integer $T$ such that $a_i=a_{i+T}$ for every positive integer $i$.

Let $ a_n$ be the last nonzero digit in the decimal representation of the number $ n!.$ Does the sequence $ a_1, a_2, \ldots, a_n, \ldots$ become periodic after a finite number of terms?

A sequence of real numbers $ a_{0},\ a_{1},\ a_{2},\dots$ is defined by the formula \[ a_{i \plus{} 1} \equal{} \left\lfloor a_{i}\right\rfloor\cdot \left\langle a_{i}\right\rangle\qquad\text{for}\quad i\geq 0; \]here $a_0$ is an arbitrary real number, $\lfloor a_i\rfloor$ denotes the greatest integer not exceeding $a_i$, and $\left\langle a_i\right\rangle=a_i-\lfloor a_i\rfloor$. Prove that $a_i=a_{i+2}$ for $i$ sufficiently large. [i]Proposed by Harmel Nestra, Estionia[/i]

A sequence of real numbers $ a_{0},\ a_{1},\ a_{2},\dots$ is defined by the formula \[ a_{i \plus{} 1} \equal{} \left\lfloor a_{i}\right\rfloor\cdot \left\langle a_{i}\right\rangle\qquad\text{for}\quad i\geq 0; \]here $a_0$ is an arbitrary real number, $\lfloor a_i\rfloor$ denotes the greatest integer not exceeding $a_i$, and $\left\langle a_i\right\rangle=a_i-\lfloor a_i\rfloor$. Prove that $a_i=a_{i+2}$ for $i$ sufficiently large. [i]Proposed by Harmel Nestra, Estionia[/i]

There're two positive inegers $a_1<a_2$. For every positive integer $n \geq 3$ let $a_n$ be the smallest integer that bigger than $a_{n-1}$ and such that there's unique pair $1\leq i< j\leq n-1$ such that this number equals to $a_i+a_j$. Given that there're finitely many even numbers in this sequence. Prove that sequence $\{a_{n+1}-a_n \}$ is periodic starting from some element.

A sequence of real numbers $ a_{0},\ a_{1},\ a_{2},\dots$ is defined by the formula \[ a_{i \plus{} 1} \equal{} \left\lfloor a_{i}\right\rfloor\cdot \left\langle a_{i}\right\rangle\qquad\text{for}\quad i\geq 0; \]here $a_0$ is an arbitrary real number, $\lfloor a_i\rfloor$ denotes the greatest integer not exceeding $a_i$, and $\left\langle a_i\right\rangle=a_i-\lfloor a_i\rfloor$. Prove that $a_i=a_{i+2}$ for $i$ sufficiently large. [i]Proposed by Harmel Nestra, Estionia[/i]

A sequence $a_1, a_2, \ldots $ consisting of $1$'s and $0$'s satisfies for all $k>2016$ that \[ a_k=0 \quad \Longleftrightarrow \quad a_{k-1}+a_{k-2}+\cdots+a_{k-2016}>23. \] Prove that there exist positive integers $N$ and $T$ such that $a_k=a_{k+T}$ for all $k>N$.

A sequence $ \left( x_n\right)_{n\ge 0} $ of real numbers satisfies $ x_0>1=x_{n+1}\left( x_n-\left\lfloor x_n\right\rfloor\right) , $ for each $ n\ge 1. $ Prove that if $ \left( x_n\right)_{n\ge 0} $ is periodic, then $ x_0 $ is a root of a quadratic equation. Study the converse.

Find the largest integer $N \in \{1, 2, \ldots , 2019 \}$ such that there exists a polynomial $P(x)$ with integer coefficients satisfying the following property: for each positive integer $k$, $P^k(0)$ is divisible by $2020$ if and only if $k$ is divisible by $N$. Here $P^k$ means $P$ applied $k$ times, so $P^1(0)=P(0), P^2(0)=P(P(0)),$ etc.

Let $d_n$ be the last nonzero digit of the decimal representation of $n!$. Prove that $d_n$ is aperiodic; that is, there do not exist $T$ and $n_0$ such that for all $n \geq n_0, d_{n+T} = d_n.$

$(FRA 2)$ Let $n$ be an integer that is not divisible by any square greater than $1.$ Denote by $x_m$ the last digit of the number $x^m$ in the number system with base $n.$ For which integers $x$ is it possible for $x_m$ to be $0$? Prove that the sequence $x_m$ is periodic with period $t$ independent of $x.$ For which $x$ do we have $x_t = 1$. Prove that if $m$ and $x$ are relatively prime, then $0_m, 1_m, . . . , (n-1)_m$ are different numbers. Find the minimal period $t$ in terms of $n$. If n does not meet the given condition, prove that it is possible to have $x_m = 0 \neq x_1$ and that the sequence is periodic starting only from some number $k > 1.$

A sequence of real numbers $ a_{0},\ a_{1},\ a_{2},\dots$ is defined by the formula \[ a_{i \plus{} 1} \equal{} \left\lfloor a_{i}\right\rfloor\cdot \left\langle a_{i}\right\rangle\qquad\text{for}\quad i\geq 0; \]here $a_0$ is an arbitrary real number, $\lfloor a_i\rfloor$ denotes the greatest integer not exceeding $a_i$, and $\left\langle a_i\right\rangle=a_i-\lfloor a_i\rfloor$. Prove that $a_i=a_{i+2}$ for $i$ sufficiently large. [i]Proposed by Harmel Nestra, Estionia[/i]

For each positive integer $n$, let $S(n)$ be the sum of the digits of $n^2 +1$. A sequence $\{a_n\}$ is defined, with $a_0$ an arbitrary positive integer and $a_{n+1} = S(a_n)$. Prove that the sequence $\{a_n\}$ is eventually periodic with period three.

For each positive integer $n$, set $x_n=\binom{2n}{n}$. a. Prove that if $\frac{2017^k}{2}<n<2017^k$ for some positive integer $k$ then $2017$ divides $x_n$. b. Find all positive integer $h>1$ such that there exists positive integers $N,T$ such that $(x_n)_{n>N}$ is periodic mod $h$ with period $T$.

A sequence of real numbers $ a_{0},\ a_{1},\ a_{2},\dots$ is defined by the formula \[ a_{i \plus{} 1} \equal{} \left\lfloor a_{i}\right\rfloor\cdot \left\langle a_{i}\right\rangle\qquad\text{for}\quad i\geq 0; \]here $a_0$ is an arbitrary real number, $\lfloor a_i\rfloor$ denotes the greatest integer not exceeding $a_i$, and $\left\langle a_i\right\rangle=a_i-\lfloor a_i\rfloor$. Prove that $a_i=a_{i+2}$ for $i$ sufficiently large. [i]Proposed by Harmel Nestra, Estionia[/i]

Define a sequence $ a_n = n^n + (n - 1)^{n+1}$ when $n$ is a positive integer. Define all those positive integer $m$ , for which this sequence of numbers is eventually periodic modulo $m$, e.g. there are such positive integers $K$ and $s$ such that $a_k \equiv a_{k+s}$ ($mod \,m$), where $k$ is an integer with $k \ge K$.

$a_1,a_2,\ldots$ is a sequence of [u]nonzero integer[/u] numbers that for all $n\in\mathbb{N}$, if $a_n=2^\alpha k$ such that $k$ is an odd integer and $\alpha$ is a nonnegative integer then: $a_{n+1}=2^\alpha-k$. Prove that if this sequence is periodic, then for all $n\in\mathbb{N}$ we have: $a_{n+2}=a_n$. (The sequence $a_1,a_2,\ldots$ is periodic iff there exists natural number $d$ that for all $n\in\mathbb{N}$ we have: $a_{n+d}=a_n$)

A sequence $a_1, a_2, \ldots $ consisting of $1$'s and $0$'s satisfies for all $k>2016$ that \[ a_k=0 \quad \Longleftrightarrow \quad a_{k-1}+a_{k-2}+\cdots+a_{k-2016}>23. \] Prove that there exist positive integers $N$ and $T$ such that $a_k=a_{k+T}$ for all $k>N$.

Prove that the sequence of the first digits of the numbers in the form $2^n+3^n$ is nonperiodic.

Consider a sequence of circles $K_1,K_2,K_3,K_4, \ldots$ of radii $r_1, r_2, r_3, r_4, \ldots$ , respectively, situated inside a triangle $ABC$. The circle $K_1$ is tangent to $AB$ and $AC$; $K_2$ is tangent to $K_1$, $BA$, and $BC$; $K_3$ is tangent to $K_2$, $CA$, and $CB$; $K_4$ is tangent to $K_3$, $AB$, and $AC$; etc. (a) Prove the relation \[r_1 \cot \frac 12 A+ 2 \sqrt{r_1r_2} + r_2 \cot \frac 12 B = r \left(\cot \frac 12 A + \cot \frac 12 B \right) \] where $r$ is the radius of the incircle of the triangle $ABC$. Deduce the existence of a $t_1$ such that \[r_1=r \cot \frac 12 B \cot \frac 12 C \sin^2 t_1\] (b) Prove that the sequence of circles $K_1,K_2, \ldots $ is periodic.

Let $\alpha > 1$ be an irrational number and $L$ be a integer such that $L > \frac{\alpha^2}{\alpha - 1}$. A sequence $x_1, x_2, \cdots$ satisfies that $x_1 > L$ and for all positive integers $n$, \[ x_{n+1} = \begin{cases} \left \lfloor \alpha x_n \right \rfloor & \textup{if} \; x_n \leqslant L \\\left \lfloor \frac{x_n}{\alpha} \right \rfloor & \textup{if} \; x_n > L \end{cases}. \] Prove that (i) $\left\{x_n\right\}$ is eventually periodic. (ii) The eventual fundamental period of $\left\{x_n\right\}$ is an odd integer which doesn't depend on the choice of $x_1$.

Consider a sequence of circles $K_1,K_2,K_3,K_4, \ldots$ of radii $r_1, r_2, r_3, r_4, \ldots$ , respectively, situated inside a triangle $ABC$. The circle $K_1$ is tangent to $AB$ and $AC$; $K_2$ is tangent to $K_1$, $BA$, and $BC$; $K_3$ is tangent to $K_2$, $CA$, and $CB$; $K_4$ is tangent to $K_3$, $AB$, and $AC$; etc. (a) Prove the relation \[r_1 \cot \frac 12 A+ 2 \sqrt{r_1r_2} + r_2 \cot \frac 12 B = r \left(\cot \frac 12 A + \cot \frac 12 B \right) \] where $r$ is the radius of the incircle of the triangle $ABC$. Deduce the existence of a $t_1$ such that \[r_1=r \cot \frac 12 B \cot \frac 12 C \sin^2 t_1\] (b) Prove that the sequence of circles $K_1,K_2, \ldots $ is periodic.

Let \( a_1 \) be an integer greater than or equal to 2. Consider the sequence such that its first term is \( a_1 \), and for \( a_n \), the \( n \)-th term of the sequence, we have \[ a_{n+1} = \frac{a_n}{p_k^{e_k - 1}} + 1, \] where \( p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k} \) is the prime factorization of \( a_n \), with \( 1 < p_1 < p_2 < \cdots < p_k \), and \( e_1, e_2, \dots, e_k \) positive integers. For example, if \( a_1 = 2024 = 2^3 \cdot 11 \cdot 23 \), the next two terms of the sequence are \[ a_2 = \frac{a_1}{23^{1-1}} + 1 = \frac{2024}{1} + 1 = 2025 = 3^4 \cdot 5^2; \] \[ a_3 = \frac{a_2}{5^{2-1}} + 1 = \frac{2025}{5} + 1 = 406. \] Determine for which values of \( a_1 \) the sequence is eventually periodic and what all the possible periods are. [b]Note:[/b] Let \( p \) be a positive integer. A sequence \( x_1, x_2, \dots \) is eventually periodic with period \( p \) if \( p \) is the smallest positive integer such that there exists an \( N \geq 0 \) satisfying \( x_{n+p} = x_n \) for all \( n > N \).

Let $a_1$, $a_2$, $ ...$ be a sequence of numbers, each either $1$ or $-1$. Show that if $$\frac{a_1}{3}+\frac{a_2}{3^2} + ... =\frac{p}{q}$$ for integers $p$ and $q$ such that $3$ does not divide $q$, then the sequence $a_1$, $a_2$, $ ...$ is periodic; that is, there is some positive integer $n$ such that $a_i = a_{n+i}$ for $i = 1$, $2$,$...$.