Intereting Posts

Havel-Hakimi Theorem
Is there a definition of determinants that does not rely on how they are calculated?
What is the spectral theorem for compact self-adjoint operators on a Hilbert space actually for?
A proof about polynomial division
Order statistics of $n$ i.i.d. exponential random variables
A matrix and its transpose have the same set of eigenvalues
Is this always true: $P(A|B) = 1-P(A^c|B)$?
Can one construct a non-measurable set without Axiom of choice?
Integral of series with complex exponentials
LOGARITHMIC INEQUALITY – TWO HOURS
Axiom of choice and compactness.
Ring of rational numbers with odd denominator
The Langlands program for beginners
Show $\alpha$ is selfadjoint.
Algebric proof for the identity $n(n-1)2^{n-2}=\sum_{k=1}^n {k(k-1) {n \choose k}}$

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.

- Integral with quadratic square root inside trigonometric functions
- When can you treat a limit like an equation?
- Proof for formula for sum of sequence $1+2+3+\ldots+n$?
- Why are the domains for $\ln x^2$ and $2\ln x$ different?
- How to remember the trigonometric identities
- Find $\sin\frac{\pi}{3}+\frac{1}{2}\sin\frac{2\pi}{3}+\frac{1}{3}\sin\frac{3\pi}{3}+\cdots$

- Max. and Min. value of $|z|$ in $\left|z+\frac{2}{z}\right| = 2\,$
- Inclusion-exclusion-like fractional sum is positive?
- Question about generating function in an article
- Using permutation or otherwise, prove that $\frac{(n^2)!}{(n!)^n}$ is an integer,where $n$ is a positive integer.
- What is shortcut to this contest algebra problem about polynomial?
- Functional equation $P(X)=P(1-X)$ for polynomials
- How do you construct a function that is continuous over $(0,1)$ whose image is the entire real line?
- Why do negative exponents work the way they do?
- If $x+\frac1x=5$ find $x^5+\frac1{x^5}$.
- Find area bounded by two unequal chords and an arc in a disc

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).

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

There is a formula. I’m not too sure how to prove it, but I know that there is a formula where you can denest $$\sqrt{\sqrt[3]{\alpha}+\sqrt[3]{\beta}}$$Into$$\pm\frac {1}{\sqrt{f}}\left(-\frac {s^2\sqrt[3]{\alpha^2}}{2}+s\sqrt[3]{\alpha\beta}+\sqrt[3]{\beta^2}\right)$$ where $$f=\beta-s^3\alpha$$ and $s$ is a real number solution to $f(x)=x^4+4x^3+8\frac {\beta}{\alpha}x-4\frac {\beta}{\alpha}$

So in this case, $\alpha=5$ and $\beta=-4$. So $s=-2$ and $f=-4-(-2)^3\times 5=36$ Therefore, we have$$\pm\frac {1}{6}\left(-\frac {4\sqrt[3]{25}}{2}-2\sqrt[3]{-20}+\sqrt[3]{16}\right)=\pm\frac {1}{3}\left(-\sqrt[3]{25}+\sqrt[3]{20}+\sqrt[3]{2}\right)$$

Discard the negative value to get $\sqrt{\sqrt[3]{5}-\sqrt[3]{4}}=\frac {1}{3}\left(-\sqrt[3]{25}+\sqrt[3]{20}+\sqrt[3]{2}\right)$

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}) $$

- How are the elementary arithmetics defined?
- Discrete valuation ring associated with a prime ideal of a Dedekind domain
- An elementary question regarding a multiplicative character over finite fields
- Atlas on a smooth manifold that contains 2 charts
- Are these two sequences the same?
- A question about the proof of “a symmetric matrix has real eigenvalues”.
- transforming ordinary generating function into exponential generating function
- Derivation of the quadratic equation
- Proof of Convergence: Babylonian Method $x_{n+1}=\frac{1}{2}(x_n + \frac{a}{x_n})$
- Intuition behind the Definition of Conditional Probability (for 2 Events)
- Question about condtion of MVT for integral.
- definite integral without using complex line integral
- $\sup\{g(y):y\in Y\}\leq \inf\{f(x):x\in X\}$
- Yet another multivariable integral over a simplex
- Example of infinite groups such that all its elements are of finite order