<s>[INST] How do I prove that $\cos{\frac{2\pi}{7}}\notin\mathbb{Q}$? How do I prove that $\cos{\frac{2\pi}{7}}\notin\mathbb{Q}$?
Should I use some geometrical approach or apagoge?
 [/INST] If $\cos \frac{2 \pi}{7}$ is rational, then $i\sin \frac{2 \pi}{7}=\sqrt{\cos^2 \frac{2 \pi}{7}-1}$ is a quadratic irrational, and hence so is $\cos \frac{2 \pi}{7}+i\sin \frac{2 \pi}{7}$. But $\cos \frac{2 \pi}{7}+i\sin \frac{2 \pi}{7}$ is a primitive $7$th root of $1$, and so has minimal polynomial $x^6+x^5+x^4+x^3+x^2+x+1$, which is not a quadratic.
</s>