Problem

Source: 2025 China Mathematical Olympiad Day 1 Problem 1

Tags: algebra, Sequence, Periodic sequence



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$.