Dos secuencias real $(x_n)$ y $(y_n)$ son definidos por $$x_{n+1}=x_n-(x_ny_n+x_{n+1}y_{n+1}-2)(y_n+y_{n+1})$ $ $$y_{n+1}=y_n-(x_ny_n+x_{n+1}y_{n+1}-2)(x_n+x_{n+1})$$ with $x_0=1$ and $y_0=2007.$ I need to show that $|x_n|\lt \sqrt{2007}$ for all $n\in\mathbb{N}.$
Probé eso $$x_{n+1}^2-x_n^2=y_{n+1}^2-y_n^2\,\,\,\,\,\,\,\,\,\,\forall n\in\mathbb{N},$$ which implies $|x_n|\lt|y_n|$ and $$x_n^2=y_n^2-2007^2+1.$$
¿También me gustaría saber que es $x_n$ convergente? ¿Alguna Idea?