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.
Problem
Source: Chinese Western Mathematical Olympiad 2006, Problem 7
Tags: trigonometry, algebra, polynomial, algebra unsolved