CWMO 2006 Problem 7

Let $k$ be a positive integer not less than 3 and $x$ a real number. Prove that if $\cos (k-1)x$ and $\cos kx$ are rational, then there exists a positive integer $n>k$ , such that both $\cos (n-1)x$ and $\cos nx$ are rational.