An alternative description is:
Suppose $\zeta$ is a primitive 169-th root. Prove that
$t=\sum_{i=1}^{12}\zeta^{2^{13i}}\in\mathbb{R}$
Besides, is it possible to find out the minimal polynomials of $t$ without computer assistance?
I encounter this problem when I am trying to find out the 13-degree subfield of the 169-th cyclotomic field. 2 is a primitive element in $\mathbb{R}_{169}$, therefore the Galois group is a cyclic group generated by $\sigma_2$ which sends $\zeta$ to $\zeta^2$. Therefore $(\sigma_2)^{13}$ generates a subgroup of the Galois group of order 12. Therefore I found out that $t$ is an invariant piece of the subgroup. I was surprised that $t\in R$ and moreover, the roots of the minimal polynomial of $t$ in $\mathbb{Z}[x]$ are real. Is this a coincidence, or is there some explanation?