Sean $a$ y $b$ enteros positivos. Considere el conjunto de todos los enteros no negativos $n$ para los cuales el número $\left(a+\frac12\right)^n +\left(b+\frac12\right)^n$ es un entero. Demuestre que el conjunto es finito.