4k views

Proving $2 ( \cos \frac{4\pi}{19} + \cos \frac{6\pi}{19}+\cos \frac{10\pi}{19} )$ is a root of$\sqrt{ 4+ \sqrt{ 4 + \sqrt{ 4-x}}}=x$

How can one show that the number $2 \left( \cos \frac{4\pi}{19} + \cos \frac{6\pi}{19}+\cos \frac{10\pi}{19} \right)$ is a root of the equation $\sqrt{ 4+ \sqrt{ 4 + \sqrt{ 4-x}}}=x$?
1k views

Constructive Proof of Kronecker-Weber?

This question is motivated by my attempt at solving Proving $2 ( \cos \frac{4\pi}{19} + \cos \frac{6\pi}{19}+\cos \frac{10\pi}{19} )$ is a root of$\sqrt{ 4+ \sqrt{ 4 + \sqrt{ 4-x}}}=x$ Consider ...
1k views