Me mostró a alguien a probar por inducción que si $a+\frac{1}{a}\in\mathbb{Z}$ también $a^n+\frac{1}{a^n}\in\mathbb{Z}$. Señaló que no era necesario para la inducción ya que, obviamente,$a\in\{1,-1\}$. (Irrelevante, ya que la finalidad de la cesión fue el uso de la inducción.)
He tenido problemas tratando de demostrar este hecho aparentemente trivial. (Por ejemplo, un sub-problema estaba tratando de mostrar que si $a$ es irracional lo es $a+\frac{1}{a}$.)
Pensé asumiendo $a\in\mathbb{R}$, pero si usted tiene cualquier otro supuesto interesante por favor compártelo. Tenga en cuenta que esto no funciona para $\mathbb{C}$ (desde $i+\frac{1}{i}=0$).