Sea $k$ un entero positivo no menor que 3 y $x$ un número real. Pruebe que si $\cos (k-1)x$ y $\cos kx$ son racionales, entonces existe un entero positivo $n>k$, tal que tanto $\cos (n-1)x$ como $\cos nx$ son racionales.