Rational cosine of an integral submultiple of pi (source code)

= Rational cosine of an integral submultiple of pi

The number $2\cos(\pi/n)$ is an algebraic integer. If it is rational it must be an integer, which shows that $\cos(\pi/n)$ is rational only for $n=1,2,3$.