Valeurs rationelles de $\cos(r\pi)$

Soit $r=p/q\in\mathbb{Q}$ tel que $x=\cos(r\pi)\in\mathbb{Q}$. L’identité $2\cos((n+1)\theta)=(2\cos\theta)(2\cos n\theta)-2\cos((n-1)\theta)$ définit une suite de polynômes $(P_n)$ tels que $2\cos(n\theta)=P_n(2\cos\theta)$ (on adapate les Polynomes de Tchebychev). Ainsi $P_{n}$ est à coeficients entiers et est unitaire. Donc $2x$ est un entier algebrique rationel. C’est donc un entier. Or $2x\in[-2,2]$, donc $2x\in\{-2,-1,0,1,2\}$ et $\cos(r\pi)\in\{-1,-1/2,0,1/2,1\}$. Et $r$ peut donc etre $\frac{1}{3}\mathbb{Z}\cup\left(\frac{1}{2}+\mathbb{Z}\right)$