Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a field $ \Bbb Q \subset K \subset \Bbb C$. One can prove that $\beta \in \Bbb C$ is constructible over $K$ iff the galois group of the minimal polynomial over $K$, $m_{\beta}(x)\in K[x]$ is a 2-group.

Thus given $\alpha \in \Bbb C$ with $ |\alpha|=1$, one want to prove if it's possible to construct $\alpha^{\frac{1}{3}}$ in other words if it's possible to trisect the angle given by $\alpha$. Then using the above, one has to consider the polynomial $x^3-\alpha \in Q(\alpha)=K$, clearly the minimal polynomial of $\alpha$ divides $x^3-\alpha$ and the galois group of a cubic could be $ S_3$ or $\Bbb Z_3$ none of them is a 2-group. So the criteria is the following:

The important of all this

Given $\alpha \in \Bbb C$ with $|\alpha|=1$ it's $\underline{not}$ possible to trisect the angle given by $\alpha$ (construct $\alpha^{\frac{1}{3}}$) if $x^3-\alpha \in \Bbb Q(\alpha)$ irreducible.

The problem:

Given $\alpha \in \Bbb C$ such that $|\alpha|=1$ and trascendental. Then it's not possible trisect $\alpha$. To prove this using the lemma it's just enough to prove that $x^3-\alpha$ is irreducible over $\Bbb Q(\alpha)$.

If $\beta$ is a root, then $\beta^3 = \alpha$ the other roots are given by $\beta , \beta \zeta_3 , \beta \zeta_3^2$. How supposing that it's reducible I can I prove that this contradicts the fact that $\alpha$ is trascendental?

share|cite|improve this question
up vote 0 down vote accepted

We prove an easy weaker result. Let $\alpha$ be a real transcendental. Then $x^3-\alpha$ is irreducible over $\mathbb{Q}(\alpha)$.

Suppose to the contrary that $x^3-\alpha$ is reducible over $\mathbb{Q}(\alpha)$. Then the real cube root $\alpha^{1/3}$ of $\alpha$ is in $\mathbb{Q}(\alpha)$. Thus there are polynomials $P$ and $Q$ with rational coefficients such that $$\alpha^{1/3}=\frac{P(\alpha)}{Q(\alpha)}.$$ Without loss of generality we may assume that the constant terms of $P$ and $Q$ are not both $0$. Take the cube of both sides. We obtain $\alpha Q^3(\alpha)=P^3(\alpha)$. This contradicts the fact that $\alpha$ is transcendental, since $P^3(x)-xQ^3(x)$ cannot be identically $0$.

To show that $P^3(x)-xQ^3(x)$ is not identically $0$, note this is clear if the constant term of $P$ is non-zero. If the constant term of $P$ is $0$, then the constant term of $Q$ is non-zero. But then the coefficient of $x$ in $xQ^3(x)$ is non-zero, while the coefficient of $x$ in $Q^3(x)$ is $0$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.