Can Higher Degree Nested Radicals Be Simplified?

  • #1
FranzS
60
13
TL;DR Summary
How to solve nested radicals of higher degree
Hi PF.
I'm aware of a formula for solving (when possibile) nested square roots of the type ##\sqrt{a+\sqrt{b}}##.
But is there any formula/strategy for solving higher degree nested radicals? For example, I cannot understand how one can solve...
$$
\sqrt[5]{\frac{5 \sqrt{5}-11}{2^6}}=\frac{1}{4} \left( \sqrt{5}-1 \right)
$$
 
Mathematics news on Phys.org
  • #2
FranzS said:
TL;DR Summary: How to solve nested radicals of higher degree

For example, I cannot understand how one can solve... $$
\sqrt[5]{\frac{5 \sqrt{5}-11}{2^6}}=\frac{1}{4} \left( \sqrt{5}-1 \right)
$$
This is not an equation that you would "solve." Unless this is just something that you made up, it looks to me like the left side simplifies somehow to what's on the right side.
 
  • #3
Yep, that's the loose meaning of "solve" in this case.
 
  • #4
One would start by raising both sides to the fifth power.
 
  • Like
Likes mcastillo356
  • #5
Frabjous said:
One would start by raising both sides to the fifth power.
Ok, but I would like to get the simplified expression from the one with the fifth root, not just prooving they're equal
 
  • #6
FranzS said:
Yep, that's the loose meaning of "solve" in this case.
Very loose, as the usual meaning is to find one or more values for an unknown variable. As suggested by @Frabjous, a good start would be to raise each side to the 5th power. If you eventually arrive at an equation with both sides being the same, using reversible operations, that would indicate that the first equation was an identity. IOW, that the expression on the left side can be simplified to what is shown on the right side.
 
  • Like
Likes Frabjous
  • #7
FranzS said:
TL;DR Summary: How to solve nested radicals of higher degree

For example, I cannot understand how one can solve...
Are you sure it is correct? I plugged in the LHS and RHS and get different numbers.
 
  • #8
Vanadium 50 said:
Are you sure it is correct? I plugged in the LHS and RHS and get different numbers.
Yes, it's correct!
 
  • Like
Likes SammyS
  • #9
Vanadium 50 said:
Are you sure it is correct? I plugged in the LHS and RHS and get different numbers.
I got that they are equal (to the accuracy of my calculations).
 
  • #10
Hi @FranzS

Frabjous said:
One would start by raising both sides to the fifth power.

Here you got the first nice step. As you know, we can rewrite the expression on the left side this way:

$$\displaystyle\frac{(5\sqrt{5}-11)^{1/5}}{2^{6/5}}$$

These are Exponent Rules, for ##a\neq{0}## and ##b\neq{0}##

Product Rule

$$ a^{x}\times{a^{y}}=a^{x+y}$$

Quotient Rule

$$a^{x}/a^{y}=a^{x-y}$$

Power Rule


$$\Big(a^{x}\Big)^{y}=a^{x\,y}$$

Power of a Product Rule

$$(ab)^{x}=a^{x}b^{x}$$

Power of a Fraction Rule

$$\Big(\frac{a}{b}\Big)^{x}=\displaystyle\frac{a^x}{b^x}$$

Zero exponent

$$a^0=1$$

Negative Exponent

$$a^{-x}=\displaystyle\frac{1}{a^x}$$

Fractional Exponent

$$a^{\frac{x}{y}}=\sqrt[y]{a^x}$$

Does it help?

Best wishes!
 
  • #11
@mcastillo356 ,
I'm sure what @Frabjous means by "raising both sides to the fifth power" is to use an exponent of ##5##, not an exponent of ##\dfrac 1 5 ##.
 
  • #12
Hi,. @SammyS, PF, I'm not native. Probably that's why my post might have been misleading.
My intention has been to write down the OP's equality's left side as an exponential. And I've also been googling the rules to work out that way.
Please, feel free to edit or erase my message.
Best wishes!
 
  • #13
FranzS said:
TL;DR Summary: How to solve nested radicals of higher degree
As I interpret your question, given the radical ##R\equiv\sqrt[5]{\frac{5\sqrt{5}-11}{2^{6}}}##, you seek to actually derive the simplified form ##R=\frac{1}{4}\left(\sqrt{5}-1\right)##, having no prior knowledge of that expression. That's actually easy to accomplish by making use of the conjugate-element ##\overline{R}## of ##R##:$$R=\left(\frac{5\sqrt{5}-11}{2^{6}}\right)^{\frac{1}{5}},\quad\overline{R}=\left(\frac{5\sqrt{5}+11}{2^{6}}\right)^{\frac{1}{5}}\tag{1a,1b}$$from which it follows that ##R\overline{R}=\frac{1}{4}##. Then, noting that the simple product ##\left(\sqrt{5}-1\right)\left(\sqrt{5}+1\right)=4##, we arrive at the identity:$$R\overline{R}=\frac{1}{4}=\left(\frac{5\sqrt{5}-11}{2^{6}}\right)^{\frac{1}{5}}\left(\frac{5\sqrt{5}+11}{2^{6}}\right)^{\frac{1}{5}}\equiv\left(\frac{\sqrt{5}-1}{4}\right)\left(\frac{\sqrt{5}+1}{4}\right)\tag{2}$$Finally, the most profound observation is that we may individually equate the elements and their conjugates in eq.(2) to develop the two separate identities:$$R=\left(\frac{5\sqrt{5}-11}{2^{6}}\right)^{\frac{1}{5}}\equiv\frac{\sqrt{5}-1}{4},\quad\overline{R}=\left(\frac{5\sqrt{5}+11}{2^{6}}\right)^{\frac{1}{5}}\equiv\frac{\sqrt{5}+1}{4}\tag{3a,3b}$$which both addresses your specific question and yields a free bonus identity!
(Note: I'm no mathematician, but to my understanding, the reason the last factorization step is true stems from Galois theory. Paging @fresh_42?)
 
Last edited:
  • Like
Likes FactChecker
  • #14
SammyS said:
@mcastillo356 ,
I'm sure what @Frabjous means by "raising both sides to the fifth power" is to use an exponent of ##5##, not an exponent of ##\dfrac 1 5 ##.
##\sqrt[5]\frac{5\sqrt5-11} {2^6}={\frac 1 4}(\sqrt5-1)##
##\frac{5\sqrt5-11} {2^6}={\frac 1 {2^{10}}}(\sqrt5-1)^5##
##16(5\sqrt5-11) =(\sqrt5-1)^5##
Now it is just simple algebra. Notice that raising ##\sqrt5## to an integer power gives either an integer or an integer multiple of ##\sqrt5##
 
  • Like
Likes SammyS
  • #15
renormalize said:
Finally, the most profound observation is that we may individually equate the elements and their conjugates in eq.(2) to develop the two separate identities:$$R=\left(\frac{5\sqrt{5}-11}{2^{6}}\right)^{\frac{1}{5}}\equiv\frac{\sqrt{5}-1}{4},\quad\overline{R}=\left(\frac{5\sqrt{5}+11}{2^{6}}\right)^{\frac{1}{5}}\equiv\frac{\sqrt{5}+1}{4}\tag{3a,3b}$$which both addresses your specific question and yields a free bonus identity!
(Note: I'm no mathematician, but to my understanding, the reason the last factorization step is true stems from Galois theory. Paging @fresh_42?)
Interesting! I would like to know more about this step.
 
  • #16
renormalize said:
Paging @fresh_42?)
Proving the identity was never the problem. I'm sure what @FranzS meant was:
$$
0=x^5-\dfrac{5\sqrt{5}-11}{64} \Longrightarrow x=\dfrac{1}{4}\left(\sqrt{5}-1\right) \text{ is one (of 5) solution(s) }
$$
How can we figure out how this root is found?

I tried several methods (your conjugation trick, polynomial division, an ansatz, complex numbers, minimal polynomial ...) but couldn't find one that succeeded. I think meanwhile that @FranzS has taken ##\dfrac{\sqrt{5}-1}{4}## to WA, asked it for ##\left(\dfrac{\sqrt{5}-1}{4}\right)^5,## and posted this question. I finally gave up since I saw no general value in the question: "Does ##x^5-\dfrac{5\sqrt{5}-11}{64}\in \mathbb{Q}(\sqrt{5})[x]## has a root?" when there are technical tools like WA which easily answer that question.
 
  • #17
Frabjous said:
##\sqrt[5]\frac{5\sqrt5-11} {2^6}={\frac 1 4}(\sqrt5-1)##
##\frac{5\sqrt5-11} {2^6}={\frac 1 {2^{10}}}(\sqrt5-1)^5##
##16(5\sqrt5-11) =(\sqrt5-1)^5##
Now it is just simple algebra. Notice that raising ##\sqrt5## to an integer power gives either an integer or an integer multiple of ##\sqrt5##
Fine, @SammyS, @Frabjous, but, could you give some clue of that algebra? I thoght I had

$$\sqrt[5]\frac{5\sqrt5-11}{2^6}$$

and I had to simplify it, eventually reaching

$$\displaystyle\frac{1}{4}(\sqrt{5}-1)$$
 
  • #18
mcastillo356 said:
My intention has been to write down the OP's equality's left side as an exponential. And I've also been googling the rules to work out that way.
The point of the other people who replied to your post is that changing the original left side in its radical form to one involving exponents doesn't get you very far in showing that the original equation is an identity.
 
  • #19
mcastillo356 said:
Fine, @SammyS, @Frabjous, but, could you give some clue of that algebra? I thoght I had

$$\sqrt[5]\frac{5\sqrt5-11}{2^6}$$

and I had to simplify it, eventually reaching

$$\displaystyle\frac{1}{4}(\sqrt{5}-1)$$
My guess is that this problem was made by raising the RHS to a power, expanding it, and consolidating terms to arrive at the LHS. Then they present it, swapping sides to fool people into thinking that there is a method to start from the wrong side and prove it.
 
  • #20
Thanks for all the replies.
For context, the expression with the fifth root arises from the calculation of the fifth roots of unity, which I was doing just for fun with no use of trigonometry. After getting that expression, I indeed consulted WA (as @fresh_42 guessed) and it gave me the simplified expression, but I could not see the step-by-step solution (I'm not subscribed).

renormalize said:
As I interpret your question, given the radical ##R\equiv\sqrt[5]{\frac{5\sqrt{5}-11}{2^{6}}}##, you seek to actually derive the simplified form ##R=\frac{1}{4}\left(\sqrt{5}-1\right)##, having no prior knowledge of that expression. That's actually easy to accomplish by making use of the conjugate-element ##\overline{R}## of ##R##:$$R=\left(\frac{5\sqrt{5}-11}{2^{6}}\right)^{\frac{1}{5}},\quad\overline{R}=\left(\frac{5\sqrt{5}+11}{2^{6}}\right)^{\frac{1}{5}}\tag{1a,1b}$$from which it follows that ##R\overline{R}=\frac{1}{4}##. Then, noting that the simple product ##\left(\sqrt{5}-1\right)\left(\sqrt{5}+1\right)=4##, we arrive at the identity:$$R\overline{R}=\frac{1}{4}=\left(\frac{5\sqrt{5}-11}{2^{6}}\right)^{\frac{1}{5}}\left(\frac{5\sqrt{5}+11}{2^{6}}\right)^{\frac{1}{5}}\equiv\left(\frac{\sqrt{5}-1}{4}\right)\left(\frac{\sqrt{5}+1}{4}\right)\tag{2}$$Finally, the most profound observation is that we may individually equate the elements and their conjugates in eq.(2) to develop the two separate identities:$$R=\left(\frac{5\sqrt{5}-11}{2^{6}}\right)^{\frac{1}{5}}\equiv\frac{\sqrt{5}-1}{4},\quad\overline{R}=\left(\frac{5\sqrt{5}+11}{2^{6}}\right)^{\frac{1}{5}}\equiv\frac{\sqrt{5}+1}{4}\tag{3a,3b}$$which both addresses your specific question and yields a free bonus identity!
(Note: I'm no mathematician, but to my understanding, the reason the last factorization step is true stems from Galois theory. Paging @fresh_42?)
Now that's the answer I was looking for, thanks a lot @renormalize !
I guess this approach is pretty systematic (given that conjugation comes as a natural tool to get rid of square roots) except for the step...
renormalize said:
[...] Then, noting that the simple product ##\left(\sqrt{5}-1\right)\left(\sqrt{5}+1\right)=4## [...]
... which requires some exeperience and sperimentation. Do you agree?
 
  • #21
FranzS said:
... which requires some exeperience and sperimentation. Do you agree?
Whenever you see an expression ##a + i b## where ##i ## is a square root of something, you should instinctly multiply it by ##a- i b## regardless what ## i ## is.
 
  • #22
fresh_42 said:
Whenever you see an expression ##a + i b## where ##i ## is a square root of something, you should instinctly multiply it by ##a- i b## regardless what ## i ## is.
Agreed. However, the step I was talking about seems to pop up without any systematic approach, right?
 

Similar threads

Back
Top