All Questions

While working on finite order elements of $\operatorname{SO}_n$, I meet this question: Find all identities of the form $\cos(2\pi x)\cos(2\pi y) = \cos(2\pi z)$ with $x, y, z$ rational numbers. As ...

I am interested in solving, or even just deciding the existence of a solution, for a system of quadratic diophantine equations. Let $p$ be a prime congruent to 1 modulo 8, so $ p =17$ is the first ...

(Update): Courtesy of Myerson's and Elkies' answers, we find a second cyclic quintic for $\cos\frac{2\pi}{p}$ with $p=\text{1 mod 10}$ as, $$\frac{z^5}{\beta} = 10 z^3 - 20 n^2 z^2 + 5 (3 n^4 - 25 n^...