[Math] Exact value of $\tan 50^\circ$

trigonometry

Directly related to: What is $\tan50^\circ$


$50^\circ = \frac{5\pi}{18} $ is a rational multiple of $\pi$. Therefore should be related to the ninth roots of unity $e^{\pi i /18}$, but how does one compute the exact value ?

EDIT I will settle for the extension $\mathbb{Q}[\tan 50^\circ]$ and the minimal polynomial over $\mathbb{Q}$…


Here it is done for the 5-th roots of unity: How to find the exact value of $ \cos(36^\circ) $?

Best Answer

One cannot express $\tan(50^\circ)$ purely in terms of real radicals. For if one could, then one could express $\cos(20^\circ)$ in terms of real radicals, and it is known that one cannot do that. (It is an instance of the casus irreducibilis of the cubic.)

As is implicitly pointed out in the post, one can express $\tan(50^\circ)$ in terms of a primitive ninth root of unity.

Added: The edited question asks for the minimal polynomial of $\tan(50^\circ)$. Let $x=\tan(50^\circ)$. Using the identity $\tan(3\theta)=\frac{3\tan\theta -\tan^3\theta}{1-3\tan^2\theta}$, we find that $\frac{3x-x^3}{1-3x^2}=-\frac{1}{\sqrt{3}}$. Square and simplify. We get a sextic in $x$, which is irreducible by the Eisenstein Irreducibility Criterion.