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

Denest $\sqrt {\sqrt[3]{5}-\sqrt[3]{4}}$.

I have tried completing square by several method but all failed. Can anyone help me please? Thank you.

p.s. I'm a poor question-tagger.

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

This example is discussed in one of my prior posts, based on a polynomial-time denesting algorithm of Blomer. Using standard Galois theory of radical (Kummer) extensions, it is not difficult to prove a Denesting Structure Theorem, which implies that if a radical $\rm\; r^{1/d} \;$ denests in any radical extension $\rm\, F'$ of its base field $\rm\, F$, then a suitable multiple $\rm\; q b\: r \;$ of the radicand $\rm\; r \;$ must already denest in the field $\rm\; F' \;$ defined by the radicand. More precisely

Denesting Structure Theorem for Real Fields $\;\; \;$ Let $\rm\; F \;$ be a real field and $\rm\; F' = F(q_1^{1/d1},\ldots,q_k^{1/dk}) \;$ be a real radical extension of $\rm\; F \;$ of degree $\rm\; n \;$. By $\rm\; B = \{b_0,\ldots, b_{n-1}\}$ denote the standard basis of $\rm\; F' \;$ over $\rm\; F \;$. If $\rm\; r \;$ is in $\rm\; F' \;$ and $\rm\; d \;$ is a positive integer such that $\rm\; r^{1/d} \;$ denests over $\rm\; F \;$ using only real radicals, that is, $\rm\; r^{1/d} \in F(a_1^{1/t_1},\ldots,a_m^{1/t_m}) \;$ for positive integers $\rm\; t_i \;$ and positive $\rm\; a_i \in F,\:$ then there exists a nonzero $\rm\; q \in F \;$ and $\rm\; b \in B \;$ with $\rm\; (q b r)^{1/d} \in F'.$

This implies that by multiplying the radicand by a $\rm\; q \;$ in the base field $\rm\; F \;$ and a power product $\rm\; b \;=\; q_1^{e_1/d_1}\cdots q_k^{e_k/d_k} \;$ we can normalize any denesting so that it denests in the field defined by the radicand (then denesting reduces to solving for undetermined coefficients). For example

$$ \sqrt{\sqrt[3]5 - \sqrt[3]4} \;\;=\; \frac{1}3 (\sqrt[3]2 + \sqrt[3]{20} - \sqrt[3]{25})$$ normalises to $$ \sqrt{18\ (\sqrt[3]10 - 2)} \;\;=\; 2 + 2\ \sqrt[3]{10} - \sqrt[3]{10}^2 $$

An example with nontrivial $\rm\:b$

$$ \sqrt{12 + 5\ \sqrt 6} \;\;=\; (\sqrt 2 + \sqrt 3)\ 6^{1/4} $$

normalises to

$$ \sqrt{\frac{1}3 \sqrt{6}\: (12 + 5\ \sqrt 6)} \;\;=\; 2 + \sqrt{6} $$

Here $\rm\; F=\mathbb Q,\ F' = \mathbb Q(\sqrt 6),\ n=2,\ B = \{1,\sqrt 6\},\ d=2,\ q=1/3,\ b= \sqrt 6\:$.

The structure theorem also hold for complex fields except that in this case one has to assume that $\rm\; F \;$ contains enough roots of unity (which may be computationally expensive in practice, to wit doubly-exponential complexity).

share|cite|improve this answer
The "algorithm of Blomer" being, presumably, discussed in the link in my answer. – Gerry Myerson Sep 12 '12 at 5:56
@Gerry I think that paper is one of the references I cited in my answer here two years ago (based on one of my old sci.math posts). – Bill Dubuque Sep 12 '12 at 6:07
Is it perhaps a little tough to quote Galois theory of radical (Kummer) extensions when assisting someone struggling with an algebra-precalculus question? – Old John Sep 12 '12 at 21:55
That is true, but I was just empathising with an original poster being faced with an answer which is clearly at a much greater level of sophistication than the question. – Old John Sep 12 '12 at 22:31
@JohnSenior It occurs quite frequently in mathematics that elementary problems require nonelementary techniques for their solution. Here one might get lucky and correctly guess the structure of the answer. But mathematics is not based on pulling rabbits out of hats. When there are general methods that can be explained at an elementary level, we should strive to do so. – Bill Dubuque Sep 12 '12 at 22:51

See Johannes Blomer, How to denest Ramanujan's nested radicals, available here.

share|cite|improve this answer

I will give you a hint. Seek denesting which looks like this : $$ (\sqrt[3]{a} + \sqrt[3]{b} - \sqrt[3]{c})^2 = 9(\sqrt[3]{5}-\sqrt[3]{4}) $$

share|cite|improve this answer
How do you get that $\sqrt[3]{a}+\sqrt[3]{b}-\sqrt[3]{c}$? +_+ – ᴊ ᴀ s ᴏ ɴ Sep 11 '12 at 10:10

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.