Sea $\alpha $ un ángulo tal que $\cos \alpha = \frac pq$ , donde $p$ y $q$ son dos enteros. Pruebe que el número $q^n \cos n \alpha$ es un entero.