Does there exist a rational $x_1$, such that all members of the sequence $x_1, x_2, \ldots, x_{2024}$ defined by $x_{n+1}=x_n+\sqrt{x_n^2-1}$ for $n=1, 2, \ldots, 2023$ are greater than $1$ and rational?
Source: Polish MO Second round 2024 P1
Tags: algebra
Does there exist a rational $x_1$, such that all members of the sequence $x_1, x_2, \ldots, x_{2024}$ defined by $x_{n+1}=x_n+\sqrt{x_n^2-1}$ for $n=1, 2, \ldots, 2023$ are greater than $1$ and rational?