Deje $ A = \begin{pmatrix} 1 & 2 \\-1 & 1 \\ \end{pmatrix}$. Probar que para todo entero positivo $n$ existen enteros $x_{n},y_{n}$ tal que $A^n= \begin{pmatrix} x_{n} & -2y_{n} \\ y_{n} & x_{n} \\ \end{pmatrix}$. Demostrar que para todos los $n$ los números de $x_{n}$ $y_{n}$ son no-cero.
He demostrado la existencia de los números de $x_{n}$$y_{n}$, con las relaciones de recurrencia $x_{n+1}=x_{n}+2y_{n}$$y_{n+1}=y_{n}-x_{n}$.
Para demostrar que estos números no son cero, supuse que si $x_{n}=0$,$detA^n=3^n=2y_{n}^2$. Desde $3^n$ es siempre un número entero impar, y $2y_{n}$ siempre es un número entero, se llega a una contradicción. Sin embargo, estoy atascado en el caso de $y_{n}=0$. He mirado en otros enfoques a este problema, pero ninguna de ellas ha funcionado hasta ahora.