Strategies to denest nested radicals.
Clash Royale CLAN TAG#URR8PPP
$begingroup$
I have recently read some passage about nested radicals, I'm deeply impressed by them. Simple nested radicals $sqrt2+sqrt2$,$sqrt3-2sqrt2$ which the later can be denested into $1-sqrt2$. This may be able to see through easily, but how can we denest such a complicated one $sqrt61-24sqrt5(=4-3sqrt5)$? And Is there any ways to judge if a radical in $sqrta+bsqrtc$ form can be denested?
Mr. Srinivasa Ramanujan even suggested some CRAZY nested radicals such as:
$$sqrt[3]sqrt2-1,sqrtsqrt[3]28-sqrt[3]27,sqrtsqrt[3]5-sqrt[3]4,
sqrt[3]cosfrac2pi7+sqrt[3]cosfrac4pi7+sqrt[3]cosfrac8pi7,sqrt[6]7sqrt[3]20-19,...$$
Amazing, these all can be denested. I believe there must be some strategies to denest them, but I don't know how.
I'm a just a beginner, can anyone give me some ideas? Thank you.
algebra-precalculus radicals nested-radicals
$endgroup$
|
show 2 more comments
$begingroup$
I have recently read some passage about nested radicals, I'm deeply impressed by them. Simple nested radicals $sqrt2+sqrt2$,$sqrt3-2sqrt2$ which the later can be denested into $1-sqrt2$. This may be able to see through easily, but how can we denest such a complicated one $sqrt61-24sqrt5(=4-3sqrt5)$? And Is there any ways to judge if a radical in $sqrta+bsqrtc$ form can be denested?
Mr. Srinivasa Ramanujan even suggested some CRAZY nested radicals such as:
$$sqrt[3]sqrt2-1,sqrtsqrt[3]28-sqrt[3]27,sqrtsqrt[3]5-sqrt[3]4,
sqrt[3]cosfrac2pi7+sqrt[3]cosfrac4pi7+sqrt[3]cosfrac8pi7,sqrt[6]7sqrt[3]20-19,...$$
Amazing, these all can be denested. I believe there must be some strategies to denest them, but I don't know how.
I'm a just a beginner, can anyone give me some ideas? Thank you.
algebra-precalculus radicals nested-radicals
$endgroup$
1
$begingroup$
Denesting radicals is hard, but there's an algorithm for it. For the case you're interested in, Wikipedia describes a simple procedure.
$endgroup$
– Zhen Lin
Sep 15 '12 at 14:14
2
$begingroup$
You may want to look at: cybertester.com/data/denest.pdf searching this site reveals related questions such as: math.stackexchange.com/questions/194030/…
$endgroup$
– NoChance
Sep 15 '12 at 14:15
2
$begingroup$
Can you post your sources of these CRAZY nested radicals from Ramanujan's works? I'd like to read some more about his ideas.
$endgroup$
– SasQ
Dec 14 '14 at 13:25
1
$begingroup$
isibang.ac.in/~sury/ramanujanday.pdf
$endgroup$
– A. Chu
Dec 15 '14 at 9:29
3
$begingroup$
"The basic method I learned is to set this equal to $sqrtx-ysqrtc$" and do what with it? "but I found out that this doesn't work with $sqrt5+2sqrt6$" why not? What was supposed to happen?
$endgroup$
– fleablood
Feb 20 at 1:27
|
show 2 more comments
$begingroup$
I have recently read some passage about nested radicals, I'm deeply impressed by them. Simple nested radicals $sqrt2+sqrt2$,$sqrt3-2sqrt2$ which the later can be denested into $1-sqrt2$. This may be able to see through easily, but how can we denest such a complicated one $sqrt61-24sqrt5(=4-3sqrt5)$? And Is there any ways to judge if a radical in $sqrta+bsqrtc$ form can be denested?
Mr. Srinivasa Ramanujan even suggested some CRAZY nested radicals such as:
$$sqrt[3]sqrt2-1,sqrtsqrt[3]28-sqrt[3]27,sqrtsqrt[3]5-sqrt[3]4,
sqrt[3]cosfrac2pi7+sqrt[3]cosfrac4pi7+sqrt[3]cosfrac8pi7,sqrt[6]7sqrt[3]20-19,...$$
Amazing, these all can be denested. I believe there must be some strategies to denest them, but I don't know how.
I'm a just a beginner, can anyone give me some ideas? Thank you.
algebra-precalculus radicals nested-radicals
$endgroup$
I have recently read some passage about nested radicals, I'm deeply impressed by them. Simple nested radicals $sqrt2+sqrt2$,$sqrt3-2sqrt2$ which the later can be denested into $1-sqrt2$. This may be able to see through easily, but how can we denest such a complicated one $sqrt61-24sqrt5(=4-3sqrt5)$? And Is there any ways to judge if a radical in $sqrta+bsqrtc$ form can be denested?
Mr. Srinivasa Ramanujan even suggested some CRAZY nested radicals such as:
$$sqrt[3]sqrt2-1,sqrtsqrt[3]28-sqrt[3]27,sqrtsqrt[3]5-sqrt[3]4,
sqrt[3]cosfrac2pi7+sqrt[3]cosfrac4pi7+sqrt[3]cosfrac8pi7,sqrt[6]7sqrt[3]20-19,...$$
Amazing, these all can be denested. I believe there must be some strategies to denest them, but I don't know how.
I'm a just a beginner, can anyone give me some ideas? Thank you.
algebra-precalculus radicals nested-radicals
algebra-precalculus radicals nested-radicals
edited Mar 25 '16 at 9:58
Martin Sleziak
44.9k10120273
44.9k10120273
asked Sep 15 '12 at 14:00
A. ChuA. Chu
7,05093484
7,05093484
1
$begingroup$
Denesting radicals is hard, but there's an algorithm for it. For the case you're interested in, Wikipedia describes a simple procedure.
$endgroup$
– Zhen Lin
Sep 15 '12 at 14:14
2
$begingroup$
You may want to look at: cybertester.com/data/denest.pdf searching this site reveals related questions such as: math.stackexchange.com/questions/194030/…
$endgroup$
– NoChance
Sep 15 '12 at 14:15
2
$begingroup$
Can you post your sources of these CRAZY nested radicals from Ramanujan's works? I'd like to read some more about his ideas.
$endgroup$
– SasQ
Dec 14 '14 at 13:25
1
$begingroup$
isibang.ac.in/~sury/ramanujanday.pdf
$endgroup$
– A. Chu
Dec 15 '14 at 9:29
3
$begingroup$
"The basic method I learned is to set this equal to $sqrtx-ysqrtc$" and do what with it? "but I found out that this doesn't work with $sqrt5+2sqrt6$" why not? What was supposed to happen?
$endgroup$
– fleablood
Feb 20 at 1:27
|
show 2 more comments
1
$begingroup$
Denesting radicals is hard, but there's an algorithm for it. For the case you're interested in, Wikipedia describes a simple procedure.
$endgroup$
– Zhen Lin
Sep 15 '12 at 14:14
2
$begingroup$
You may want to look at: cybertester.com/data/denest.pdf searching this site reveals related questions such as: math.stackexchange.com/questions/194030/…
$endgroup$
– NoChance
Sep 15 '12 at 14:15
2
$begingroup$
Can you post your sources of these CRAZY nested radicals from Ramanujan's works? I'd like to read some more about his ideas.
$endgroup$
– SasQ
Dec 14 '14 at 13:25
1
$begingroup$
isibang.ac.in/~sury/ramanujanday.pdf
$endgroup$
– A. Chu
Dec 15 '14 at 9:29
3
$begingroup$
"The basic method I learned is to set this equal to $sqrtx-ysqrtc$" and do what with it? "but I found out that this doesn't work with $sqrt5+2sqrt6$" why not? What was supposed to happen?
$endgroup$
– fleablood
Feb 20 at 1:27
1
1
$begingroup$
Denesting radicals is hard, but there's an algorithm for it. For the case you're interested in, Wikipedia describes a simple procedure.
$endgroup$
– Zhen Lin
Sep 15 '12 at 14:14
$begingroup$
Denesting radicals is hard, but there's an algorithm for it. For the case you're interested in, Wikipedia describes a simple procedure.
$endgroup$
– Zhen Lin
Sep 15 '12 at 14:14
2
2
$begingroup$
You may want to look at: cybertester.com/data/denest.pdf searching this site reveals related questions such as: math.stackexchange.com/questions/194030/…
$endgroup$
– NoChance
Sep 15 '12 at 14:15
$begingroup$
You may want to look at: cybertester.com/data/denest.pdf searching this site reveals related questions such as: math.stackexchange.com/questions/194030/…
$endgroup$
– NoChance
Sep 15 '12 at 14:15
2
2
$begingroup$
Can you post your sources of these CRAZY nested radicals from Ramanujan's works? I'd like to read some more about his ideas.
$endgroup$
– SasQ
Dec 14 '14 at 13:25
$begingroup$
Can you post your sources of these CRAZY nested radicals from Ramanujan's works? I'd like to read some more about his ideas.
$endgroup$
– SasQ
Dec 14 '14 at 13:25
1
1
$begingroup$
isibang.ac.in/~sury/ramanujanday.pdf
$endgroup$
– A. Chu
Dec 15 '14 at 9:29
$begingroup$
isibang.ac.in/~sury/ramanujanday.pdf
$endgroup$
– A. Chu
Dec 15 '14 at 9:29
3
3
$begingroup$
"The basic method I learned is to set this equal to $sqrtx-ysqrtc$" and do what with it? "but I found out that this doesn't work with $sqrt5+2sqrt6$" why not? What was supposed to happen?
$endgroup$
– fleablood
Feb 20 at 1:27
$begingroup$
"The basic method I learned is to set this equal to $sqrtx-ysqrtc$" and do what with it? "but I found out that this doesn't work with $sqrt5+2sqrt6$" why not? What was supposed to happen?
$endgroup$
– fleablood
Feb 20 at 1:27
|
show 2 more comments
5 Answers
5
active
oldest
votes
$begingroup$
There do exist general denesting algorithms employing Galois theory, but for the simple case of quadratic algebraic numbers one can employ a simple rule that I discovered as a teenager.
Simple Denesting Rule $rm colorbluesubtract out sqrtnorm:, then colorbrowndivide out sqrttrace $
Recall $rm: w = a + bsqrtn: $ has norm $rm =: w:cdot: w' = (a + bsqrtn) cdot: (a - bsqrtn) =: a^2 - n, b^2 $
and, $ $ furthermore, $rm w:$ has $ $ trace $rm: =: w+w' = (a + bsqrtn) + (a - bsqrtn): =: 2a$
Here $:61-24sqrt5:$ has norm $= 29^2.:$ $rm, colorbluesubtracting out sqrtnorm = 29 $ yields $ 32-24sqrt5:$
and this has $rm sqrttrace: =: 8, thus, colorbrowndividing it out, $ of this yields the sqrt: $,pm( 4,-,3sqrt5).$
For many further examples see my prior posts on denesting.
$endgroup$
$begingroup$
What about when $a^2 < nb^2$ ?
$endgroup$
– DanielV
Dec 19 '14 at 7:36
$begingroup$
@DanielV It will always yield the denesting (if it one exists).
$endgroup$
– Bill Dubuque
Dec 19 '14 at 14:11
$begingroup$
For a simple proof of the rule see here.
$endgroup$
– Bill Dubuque
Feb 6 '17 at 16:03
add a comment |
$begingroup$
There are the following identities.
$$sqrta+sqrtb=sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2$$ and
$$sqrta-sqrtb=sqrtfraca+sqrta^2-b2-sqrtfraca-sqrta^2-b2,$$
where all numbers under radicals are non-negatives.
For example:
$$sqrt5+2sqrt6=sqrt5+sqrt24=sqrtfrac5+sqrt5^2-242+sqrtfrac5-sqrt5^2-242=sqrt3+sqrt2.$$
This is interesting, when $a$ and $b$ are rationals and $a^2-b$ is a square of a rational number.
The first identity is true because
$$left(sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2right)^2=$$
$$=fraca+sqrta^2-b2+fraca-sqrta^2-b2+2sqrtfraca+sqrta^2-b2cdotsqrtfraca-sqrta^2-b2=a+sqrtb.$$
$endgroup$
1
$begingroup$
This is interesting. I had never seen the identities you begin with.
$endgroup$
– Lubin
Feb 20 at 2:19
$begingroup$
@Lubin same with me too.
$endgroup$
– Max0815
Feb 20 at 2:20
$begingroup$
We can prove it. It's not hard.
$endgroup$
– Michael Rozenberg
Feb 20 at 2:34
$begingroup$
How would you prove the first one @MichaelRozenberg? I can get the second on I think because it is conjugate of first, which should be easy.
$endgroup$
– Max0815
Feb 20 at 3:08
2
$begingroup$
To get some more intuition how these identities were derived in the first place. To that end, you've got to view the polynomial $x^4-2ax^2+(a^2-b)$ for which $sqrta+sqrtb$ is a zero, as the product of $x^2pm c x + sqrta^2-b$. It turns out $c$ needs to satisfy the equation $-2a = -c^2 + 2sqrta^2-b$ and you just need to find the roots of this simple polynomial, $x^2- c x + sqrta^2-b$ :)
$endgroup$
– Stan Tendijck
Feb 20 at 10:03
|
show 2 more comments
$begingroup$
You can derive a formula for $sqrta+bsqrtc$. You will have to assume that $sqrta+bsqrtc$ can be rewritten as the sum of two surds (radicands). So $$sqrta+bsqrtc=sqrtd+sqrte$$
Squaring both sides yields $$a+bsqrtc=d+e+2sqrtde$$
From that, we can see that $a=d+e$ so $e=a-d$ and $bsqrtc=2sqrtderightarrow b^2c=4de$.
Substituting $e$ with $a-d$ gives $b^2c=4d(a-d)$. So $b^2c=4ad-4d^2$. Rearranging the terms gives us $4d^2-4ad+b^2c=0$
Using the Quadratic Equation, we have $$d=frac apmsqrta^2-b^2c2$$
And since $a=d+e$, $e$ is the conjugate of $d$. So $e=frac a-sqrta^2-b^2c2$ and $d=frac a+sqrta^2-b^2c2.,$ Thus
$$sqrta+bsqrtc,=, sqrtfrac a+sqrta^2-b^2c2 +sqrtfrac a-sqrta^2-b^2c2$$
$endgroup$
add a comment |
$begingroup$
(I will assume $b$ is not a square, since otherwise it would not be a nested radical.)
A nested radical can be denested if and only if there exist $u,vinmathbbN$ such that the nested radical is of the form $sqrtu^2+vpm2usqrtv$ in which case it is also equal to $|upmsqrtv|$.
It's not hard to show that those expressions are equal, which means that all nested radicals of that form can indeed be denested.
For the other way, let's consider the following equality where $a,b,c,d,einmathbbN$:
$$sqrtapmsqrtb=cpm dsqrte$$
(Note that we can also write e.g. $sqrt3-2sqrt2$ in that form as $sqrt3-sqrt8$) If we square both sides, we get:
$$apmsqrtb=c^2+ed^2pm2cdsqrte$$
This suggests we pick $u=c$ and $v=ed^2$. Then $apmsqrtb=u^2+vpm2usqrtv$ as claimed.
This isn't quite the end of the story since preferably we'd also like to know that $a$ actually corresponds to $u^2+v$ and $b$ to $4u^2v$, i.e. that you can't have two equal nested radicals of different forms. Depending on how deep you want to go, you can either take that for granted for now or observe that $apmsqrtb$ satisfies the polynomial relations $(x-a)^2-b=0$ and $(x-u^2-v)^2-4u^2v=0$ and it follows from that that the two polynomials must be equal (using e.g. the concept of minimal polynomials or explicitly dividing the one by the other with remainder taking into account that $apmsqrtb$ will satisfy no linear relation) which gives us our correspondence.
$endgroup$
add a comment |
$begingroup$
One way of approaching this problem is by viewing it as a zero of an equation. Let me explain. Let's say you want to compute $sqrtx_0$ where $x_0$ is a zero of some quadratic polynomial of the form $x^2-bx+1$. Now, one way to go is to note that if you have a zero of $x^2+ax+1$, then it will still be a zero if you multiply it with $x^2-ax+1$ which equals
$$x^4 + (2-a^2) x^2 + 1$$
Now the idea is to work backwards. So, in particular, if you can find you can find an $a$ such that $b=a^2-2$, then you can conclude that the square root of you polynomial is equal to one of the zeros of the polynomials $x^2-ax+1$ or $x^2+ax+1$. It is usually not too hard to find out which. If you found out which, you can rewrite your square root accordingly to the desired form :)
To conclude, one of the tricks is to find the right form of your polynomials such that you end up with something useful. This method will however require some puzzling.
Edit applying this method to the example $sqrt5+2sqrt6$, you will find that the polynomial you need (thus the one for which you want to calculate the square root of a zero) is $x^2-10x+1$. Then according to the above method (which you derive on the go), your $a=sqrt12$ and then you just need to solve $x^2-ax+1=0$ which is the only possibility since for the other one, filling in a positive number will yield a positive number. Solving this equation by completing the square is not too difficult. It turns out that the zeros lie at around 0.5 and 3. Hence, it is not difficult to note you need the larger zero which turns out to be exactly given by $sqrt2+sqrt3$. Does that make sense?
$endgroup$
$begingroup$
Yes. thanx!!!!!
$endgroup$
– Max0815
Feb 20 at 1:43
$begingroup$
If your polynomial ends with $+b$ instead of $1$, I think you need to work with $+sqrtb$ in the polynomials with the $a$s. (Did not check this but I am sure this will work).
$endgroup$
– Stan Tendijck
Feb 20 at 1:48
$begingroup$
yes I believe so too.
$endgroup$
– Max0815
Feb 20 at 2:19
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f196155%2fstrategies-to-denest-nested-radicals%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
5 Answers
5
active
oldest
votes
5 Answers
5
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
There do exist general denesting algorithms employing Galois theory, but for the simple case of quadratic algebraic numbers one can employ a simple rule that I discovered as a teenager.
Simple Denesting Rule $rm colorbluesubtract out sqrtnorm:, then colorbrowndivide out sqrttrace $
Recall $rm: w = a + bsqrtn: $ has norm $rm =: w:cdot: w' = (a + bsqrtn) cdot: (a - bsqrtn) =: a^2 - n, b^2 $
and, $ $ furthermore, $rm w:$ has $ $ trace $rm: =: w+w' = (a + bsqrtn) + (a - bsqrtn): =: 2a$
Here $:61-24sqrt5:$ has norm $= 29^2.:$ $rm, colorbluesubtracting out sqrtnorm = 29 $ yields $ 32-24sqrt5:$
and this has $rm sqrttrace: =: 8, thus, colorbrowndividing it out, $ of this yields the sqrt: $,pm( 4,-,3sqrt5).$
For many further examples see my prior posts on denesting.
$endgroup$
$begingroup$
What about when $a^2 < nb^2$ ?
$endgroup$
– DanielV
Dec 19 '14 at 7:36
$begingroup$
@DanielV It will always yield the denesting (if it one exists).
$endgroup$
– Bill Dubuque
Dec 19 '14 at 14:11
$begingroup$
For a simple proof of the rule see here.
$endgroup$
– Bill Dubuque
Feb 6 '17 at 16:03
add a comment |
$begingroup$
There do exist general denesting algorithms employing Galois theory, but for the simple case of quadratic algebraic numbers one can employ a simple rule that I discovered as a teenager.
Simple Denesting Rule $rm colorbluesubtract out sqrtnorm:, then colorbrowndivide out sqrttrace $
Recall $rm: w = a + bsqrtn: $ has norm $rm =: w:cdot: w' = (a + bsqrtn) cdot: (a - bsqrtn) =: a^2 - n, b^2 $
and, $ $ furthermore, $rm w:$ has $ $ trace $rm: =: w+w' = (a + bsqrtn) + (a - bsqrtn): =: 2a$
Here $:61-24sqrt5:$ has norm $= 29^2.:$ $rm, colorbluesubtracting out sqrtnorm = 29 $ yields $ 32-24sqrt5:$
and this has $rm sqrttrace: =: 8, thus, colorbrowndividing it out, $ of this yields the sqrt: $,pm( 4,-,3sqrt5).$
For many further examples see my prior posts on denesting.
$endgroup$
$begingroup$
What about when $a^2 < nb^2$ ?
$endgroup$
– DanielV
Dec 19 '14 at 7:36
$begingroup$
@DanielV It will always yield the denesting (if it one exists).
$endgroup$
– Bill Dubuque
Dec 19 '14 at 14:11
$begingroup$
For a simple proof of the rule see here.
$endgroup$
– Bill Dubuque
Feb 6 '17 at 16:03
add a comment |
$begingroup$
There do exist general denesting algorithms employing Galois theory, but for the simple case of quadratic algebraic numbers one can employ a simple rule that I discovered as a teenager.
Simple Denesting Rule $rm colorbluesubtract out sqrtnorm:, then colorbrowndivide out sqrttrace $
Recall $rm: w = a + bsqrtn: $ has norm $rm =: w:cdot: w' = (a + bsqrtn) cdot: (a - bsqrtn) =: a^2 - n, b^2 $
and, $ $ furthermore, $rm w:$ has $ $ trace $rm: =: w+w' = (a + bsqrtn) + (a - bsqrtn): =: 2a$
Here $:61-24sqrt5:$ has norm $= 29^2.:$ $rm, colorbluesubtracting out sqrtnorm = 29 $ yields $ 32-24sqrt5:$
and this has $rm sqrttrace: =: 8, thus, colorbrowndividing it out, $ of this yields the sqrt: $,pm( 4,-,3sqrt5).$
For many further examples see my prior posts on denesting.
$endgroup$
There do exist general denesting algorithms employing Galois theory, but for the simple case of quadratic algebraic numbers one can employ a simple rule that I discovered as a teenager.
Simple Denesting Rule $rm colorbluesubtract out sqrtnorm:, then colorbrowndivide out sqrttrace $
Recall $rm: w = a + bsqrtn: $ has norm $rm =: w:cdot: w' = (a + bsqrtn) cdot: (a - bsqrtn) =: a^2 - n, b^2 $
and, $ $ furthermore, $rm w:$ has $ $ trace $rm: =: w+w' = (a + bsqrtn) + (a - bsqrtn): =: 2a$
Here $:61-24sqrt5:$ has norm $= 29^2.:$ $rm, colorbluesubtracting out sqrtnorm = 29 $ yields $ 32-24sqrt5:$
and this has $rm sqrttrace: =: 8, thus, colorbrowndividing it out, $ of this yields the sqrt: $,pm( 4,-,3sqrt5).$
For many further examples see my prior posts on denesting.
edited Mar 1 at 1:27
answered Sep 15 '12 at 15:26
Bill DubuqueBill Dubuque
212k29195653
212k29195653
$begingroup$
What about when $a^2 < nb^2$ ?
$endgroup$
– DanielV
Dec 19 '14 at 7:36
$begingroup$
@DanielV It will always yield the denesting (if it one exists).
$endgroup$
– Bill Dubuque
Dec 19 '14 at 14:11
$begingroup$
For a simple proof of the rule see here.
$endgroup$
– Bill Dubuque
Feb 6 '17 at 16:03
add a comment |
$begingroup$
What about when $a^2 < nb^2$ ?
$endgroup$
– DanielV
Dec 19 '14 at 7:36
$begingroup$
@DanielV It will always yield the denesting (if it one exists).
$endgroup$
– Bill Dubuque
Dec 19 '14 at 14:11
$begingroup$
For a simple proof of the rule see here.
$endgroup$
– Bill Dubuque
Feb 6 '17 at 16:03
$begingroup$
What about when $a^2 < nb^2$ ?
$endgroup$
– DanielV
Dec 19 '14 at 7:36
$begingroup$
What about when $a^2 < nb^2$ ?
$endgroup$
– DanielV
Dec 19 '14 at 7:36
$begingroup$
@DanielV It will always yield the denesting (if it one exists).
$endgroup$
– Bill Dubuque
Dec 19 '14 at 14:11
$begingroup$
@DanielV It will always yield the denesting (if it one exists).
$endgroup$
– Bill Dubuque
Dec 19 '14 at 14:11
$begingroup$
For a simple proof of the rule see here.
$endgroup$
– Bill Dubuque
Feb 6 '17 at 16:03
$begingroup$
For a simple proof of the rule see here.
$endgroup$
– Bill Dubuque
Feb 6 '17 at 16:03
add a comment |
$begingroup$
There are the following identities.
$$sqrta+sqrtb=sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2$$ and
$$sqrta-sqrtb=sqrtfraca+sqrta^2-b2-sqrtfraca-sqrta^2-b2,$$
where all numbers under radicals are non-negatives.
For example:
$$sqrt5+2sqrt6=sqrt5+sqrt24=sqrtfrac5+sqrt5^2-242+sqrtfrac5-sqrt5^2-242=sqrt3+sqrt2.$$
This is interesting, when $a$ and $b$ are rationals and $a^2-b$ is a square of a rational number.
The first identity is true because
$$left(sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2right)^2=$$
$$=fraca+sqrta^2-b2+fraca-sqrta^2-b2+2sqrtfraca+sqrta^2-b2cdotsqrtfraca-sqrta^2-b2=a+sqrtb.$$
$endgroup$
1
$begingroup$
This is interesting. I had never seen the identities you begin with.
$endgroup$
– Lubin
Feb 20 at 2:19
$begingroup$
@Lubin same with me too.
$endgroup$
– Max0815
Feb 20 at 2:20
$begingroup$
We can prove it. It's not hard.
$endgroup$
– Michael Rozenberg
Feb 20 at 2:34
$begingroup$
How would you prove the first one @MichaelRozenberg? I can get the second on I think because it is conjugate of first, which should be easy.
$endgroup$
– Max0815
Feb 20 at 3:08
2
$begingroup$
To get some more intuition how these identities were derived in the first place. To that end, you've got to view the polynomial $x^4-2ax^2+(a^2-b)$ for which $sqrta+sqrtb$ is a zero, as the product of $x^2pm c x + sqrta^2-b$. It turns out $c$ needs to satisfy the equation $-2a = -c^2 + 2sqrta^2-b$ and you just need to find the roots of this simple polynomial, $x^2- c x + sqrta^2-b$ :)
$endgroup$
– Stan Tendijck
Feb 20 at 10:03
|
show 2 more comments
$begingroup$
There are the following identities.
$$sqrta+sqrtb=sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2$$ and
$$sqrta-sqrtb=sqrtfraca+sqrta^2-b2-sqrtfraca-sqrta^2-b2,$$
where all numbers under radicals are non-negatives.
For example:
$$sqrt5+2sqrt6=sqrt5+sqrt24=sqrtfrac5+sqrt5^2-242+sqrtfrac5-sqrt5^2-242=sqrt3+sqrt2.$$
This is interesting, when $a$ and $b$ are rationals and $a^2-b$ is a square of a rational number.
The first identity is true because
$$left(sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2right)^2=$$
$$=fraca+sqrta^2-b2+fraca-sqrta^2-b2+2sqrtfraca+sqrta^2-b2cdotsqrtfraca-sqrta^2-b2=a+sqrtb.$$
$endgroup$
1
$begingroup$
This is interesting. I had never seen the identities you begin with.
$endgroup$
– Lubin
Feb 20 at 2:19
$begingroup$
@Lubin same with me too.
$endgroup$
– Max0815
Feb 20 at 2:20
$begingroup$
We can prove it. It's not hard.
$endgroup$
– Michael Rozenberg
Feb 20 at 2:34
$begingroup$
How would you prove the first one @MichaelRozenberg? I can get the second on I think because it is conjugate of first, which should be easy.
$endgroup$
– Max0815
Feb 20 at 3:08
2
$begingroup$
To get some more intuition how these identities were derived in the first place. To that end, you've got to view the polynomial $x^4-2ax^2+(a^2-b)$ for which $sqrta+sqrtb$ is a zero, as the product of $x^2pm c x + sqrta^2-b$. It turns out $c$ needs to satisfy the equation $-2a = -c^2 + 2sqrta^2-b$ and you just need to find the roots of this simple polynomial, $x^2- c x + sqrta^2-b$ :)
$endgroup$
– Stan Tendijck
Feb 20 at 10:03
|
show 2 more comments
$begingroup$
There are the following identities.
$$sqrta+sqrtb=sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2$$ and
$$sqrta-sqrtb=sqrtfraca+sqrta^2-b2-sqrtfraca-sqrta^2-b2,$$
where all numbers under radicals are non-negatives.
For example:
$$sqrt5+2sqrt6=sqrt5+sqrt24=sqrtfrac5+sqrt5^2-242+sqrtfrac5-sqrt5^2-242=sqrt3+sqrt2.$$
This is interesting, when $a$ and $b$ are rationals and $a^2-b$ is a square of a rational number.
The first identity is true because
$$left(sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2right)^2=$$
$$=fraca+sqrta^2-b2+fraca-sqrta^2-b2+2sqrtfraca+sqrta^2-b2cdotsqrtfraca-sqrta^2-b2=a+sqrtb.$$
$endgroup$
There are the following identities.
$$sqrta+sqrtb=sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2$$ and
$$sqrta-sqrtb=sqrtfraca+sqrta^2-b2-sqrtfraca-sqrta^2-b2,$$
where all numbers under radicals are non-negatives.
For example:
$$sqrt5+2sqrt6=sqrt5+sqrt24=sqrtfrac5+sqrt5^2-242+sqrtfrac5-sqrt5^2-242=sqrt3+sqrt2.$$
This is interesting, when $a$ and $b$ are rationals and $a^2-b$ is a square of a rational number.
The first identity is true because
$$left(sqrtfraca+sqrta^2-b2+sqrtfraca-sqrta^2-b2right)^2=$$
$$=fraca+sqrta^2-b2+fraca-sqrta^2-b2+2sqrtfraca+sqrta^2-b2cdotsqrtfraca-sqrta^2-b2=a+sqrtb.$$
edited Mar 5 at 18:40
darij grinberg
11.2k33167
11.2k33167
answered Feb 20 at 1:28
Michael RozenbergMichael Rozenberg
108k1895200
108k1895200
1
$begingroup$
This is interesting. I had never seen the identities you begin with.
$endgroup$
– Lubin
Feb 20 at 2:19
$begingroup$
@Lubin same with me too.
$endgroup$
– Max0815
Feb 20 at 2:20
$begingroup$
We can prove it. It's not hard.
$endgroup$
– Michael Rozenberg
Feb 20 at 2:34
$begingroup$
How would you prove the first one @MichaelRozenberg? I can get the second on I think because it is conjugate of first, which should be easy.
$endgroup$
– Max0815
Feb 20 at 3:08
2
$begingroup$
To get some more intuition how these identities were derived in the first place. To that end, you've got to view the polynomial $x^4-2ax^2+(a^2-b)$ for which $sqrta+sqrtb$ is a zero, as the product of $x^2pm c x + sqrta^2-b$. It turns out $c$ needs to satisfy the equation $-2a = -c^2 + 2sqrta^2-b$ and you just need to find the roots of this simple polynomial, $x^2- c x + sqrta^2-b$ :)
$endgroup$
– Stan Tendijck
Feb 20 at 10:03
|
show 2 more comments
1
$begingroup$
This is interesting. I had never seen the identities you begin with.
$endgroup$
– Lubin
Feb 20 at 2:19
$begingroup$
@Lubin same with me too.
$endgroup$
– Max0815
Feb 20 at 2:20
$begingroup$
We can prove it. It's not hard.
$endgroup$
– Michael Rozenberg
Feb 20 at 2:34
$begingroup$
How would you prove the first one @MichaelRozenberg? I can get the second on I think because it is conjugate of first, which should be easy.
$endgroup$
– Max0815
Feb 20 at 3:08
2
$begingroup$
To get some more intuition how these identities were derived in the first place. To that end, you've got to view the polynomial $x^4-2ax^2+(a^2-b)$ for which $sqrta+sqrtb$ is a zero, as the product of $x^2pm c x + sqrta^2-b$. It turns out $c$ needs to satisfy the equation $-2a = -c^2 + 2sqrta^2-b$ and you just need to find the roots of this simple polynomial, $x^2- c x + sqrta^2-b$ :)
$endgroup$
– Stan Tendijck
Feb 20 at 10:03
1
1
$begingroup$
This is interesting. I had never seen the identities you begin with.
$endgroup$
– Lubin
Feb 20 at 2:19
$begingroup$
This is interesting. I had never seen the identities you begin with.
$endgroup$
– Lubin
Feb 20 at 2:19
$begingroup$
@Lubin same with me too.
$endgroup$
– Max0815
Feb 20 at 2:20
$begingroup$
@Lubin same with me too.
$endgroup$
– Max0815
Feb 20 at 2:20
$begingroup$
We can prove it. It's not hard.
$endgroup$
– Michael Rozenberg
Feb 20 at 2:34
$begingroup$
We can prove it. It's not hard.
$endgroup$
– Michael Rozenberg
Feb 20 at 2:34
$begingroup$
How would you prove the first one @MichaelRozenberg? I can get the second on I think because it is conjugate of first, which should be easy.
$endgroup$
– Max0815
Feb 20 at 3:08
$begingroup$
How would you prove the first one @MichaelRozenberg? I can get the second on I think because it is conjugate of first, which should be easy.
$endgroup$
– Max0815
Feb 20 at 3:08
2
2
$begingroup$
To get some more intuition how these identities were derived in the first place. To that end, you've got to view the polynomial $x^4-2ax^2+(a^2-b)$ for which $sqrta+sqrtb$ is a zero, as the product of $x^2pm c x + sqrta^2-b$. It turns out $c$ needs to satisfy the equation $-2a = -c^2 + 2sqrta^2-b$ and you just need to find the roots of this simple polynomial, $x^2- c x + sqrta^2-b$ :)
$endgroup$
– Stan Tendijck
Feb 20 at 10:03
$begingroup$
To get some more intuition how these identities were derived in the first place. To that end, you've got to view the polynomial $x^4-2ax^2+(a^2-b)$ for which $sqrta+sqrtb$ is a zero, as the product of $x^2pm c x + sqrta^2-b$. It turns out $c$ needs to satisfy the equation $-2a = -c^2 + 2sqrta^2-b$ and you just need to find the roots of this simple polynomial, $x^2- c x + sqrta^2-b$ :)
$endgroup$
– Stan Tendijck
Feb 20 at 10:03
|
show 2 more comments
$begingroup$
You can derive a formula for $sqrta+bsqrtc$. You will have to assume that $sqrta+bsqrtc$ can be rewritten as the sum of two surds (radicands). So $$sqrta+bsqrtc=sqrtd+sqrte$$
Squaring both sides yields $$a+bsqrtc=d+e+2sqrtde$$
From that, we can see that $a=d+e$ so $e=a-d$ and $bsqrtc=2sqrtderightarrow b^2c=4de$.
Substituting $e$ with $a-d$ gives $b^2c=4d(a-d)$. So $b^2c=4ad-4d^2$. Rearranging the terms gives us $4d^2-4ad+b^2c=0$
Using the Quadratic Equation, we have $$d=frac apmsqrta^2-b^2c2$$
And since $a=d+e$, $e$ is the conjugate of $d$. So $e=frac a-sqrta^2-b^2c2$ and $d=frac a+sqrta^2-b^2c2.,$ Thus
$$sqrta+bsqrtc,=, sqrtfrac a+sqrta^2-b^2c2 +sqrtfrac a-sqrta^2-b^2c2$$
$endgroup$
add a comment |
$begingroup$
You can derive a formula for $sqrta+bsqrtc$. You will have to assume that $sqrta+bsqrtc$ can be rewritten as the sum of two surds (radicands). So $$sqrta+bsqrtc=sqrtd+sqrte$$
Squaring both sides yields $$a+bsqrtc=d+e+2sqrtde$$
From that, we can see that $a=d+e$ so $e=a-d$ and $bsqrtc=2sqrtderightarrow b^2c=4de$.
Substituting $e$ with $a-d$ gives $b^2c=4d(a-d)$. So $b^2c=4ad-4d^2$. Rearranging the terms gives us $4d^2-4ad+b^2c=0$
Using the Quadratic Equation, we have $$d=frac apmsqrta^2-b^2c2$$
And since $a=d+e$, $e$ is the conjugate of $d$. So $e=frac a-sqrta^2-b^2c2$ and $d=frac a+sqrta^2-b^2c2.,$ Thus
$$sqrta+bsqrtc,=, sqrtfrac a+sqrta^2-b^2c2 +sqrtfrac a-sqrta^2-b^2c2$$
$endgroup$
add a comment |
$begingroup$
You can derive a formula for $sqrta+bsqrtc$. You will have to assume that $sqrta+bsqrtc$ can be rewritten as the sum of two surds (radicands). So $$sqrta+bsqrtc=sqrtd+sqrte$$
Squaring both sides yields $$a+bsqrtc=d+e+2sqrtde$$
From that, we can see that $a=d+e$ so $e=a-d$ and $bsqrtc=2sqrtderightarrow b^2c=4de$.
Substituting $e$ with $a-d$ gives $b^2c=4d(a-d)$. So $b^2c=4ad-4d^2$. Rearranging the terms gives us $4d^2-4ad+b^2c=0$
Using the Quadratic Equation, we have $$d=frac apmsqrta^2-b^2c2$$
And since $a=d+e$, $e$ is the conjugate of $d$. So $e=frac a-sqrta^2-b^2c2$ and $d=frac a+sqrta^2-b^2c2.,$ Thus
$$sqrta+bsqrtc,=, sqrtfrac a+sqrta^2-b^2c2 +sqrtfrac a-sqrta^2-b^2c2$$
$endgroup$
You can derive a formula for $sqrta+bsqrtc$. You will have to assume that $sqrta+bsqrtc$ can be rewritten as the sum of two surds (radicands). So $$sqrta+bsqrtc=sqrtd+sqrte$$
Squaring both sides yields $$a+bsqrtc=d+e+2sqrtde$$
From that, we can see that $a=d+e$ so $e=a-d$ and $bsqrtc=2sqrtderightarrow b^2c=4de$.
Substituting $e$ with $a-d$ gives $b^2c=4d(a-d)$. So $b^2c=4ad-4d^2$. Rearranging the terms gives us $4d^2-4ad+b^2c=0$
Using the Quadratic Equation, we have $$d=frac apmsqrta^2-b^2c2$$
And since $a=d+e$, $e$ is the conjugate of $d$. So $e=frac a-sqrta^2-b^2c2$ and $d=frac a+sqrta^2-b^2c2.,$ Thus
$$sqrta+bsqrtc,=, sqrtfrac a+sqrta^2-b^2c2 +sqrtfrac a-sqrta^2-b^2c2$$
edited Mar 1 at 1:20
Bill Dubuque
212k29195653
212k29195653
answered Apr 18 '16 at 3:51
FrankFrank
3,7951633
3,7951633
add a comment |
add a comment |
$begingroup$
(I will assume $b$ is not a square, since otherwise it would not be a nested radical.)
A nested radical can be denested if and only if there exist $u,vinmathbbN$ such that the nested radical is of the form $sqrtu^2+vpm2usqrtv$ in which case it is also equal to $|upmsqrtv|$.
It's not hard to show that those expressions are equal, which means that all nested radicals of that form can indeed be denested.
For the other way, let's consider the following equality where $a,b,c,d,einmathbbN$:
$$sqrtapmsqrtb=cpm dsqrte$$
(Note that we can also write e.g. $sqrt3-2sqrt2$ in that form as $sqrt3-sqrt8$) If we square both sides, we get:
$$apmsqrtb=c^2+ed^2pm2cdsqrte$$
This suggests we pick $u=c$ and $v=ed^2$. Then $apmsqrtb=u^2+vpm2usqrtv$ as claimed.
This isn't quite the end of the story since preferably we'd also like to know that $a$ actually corresponds to $u^2+v$ and $b$ to $4u^2v$, i.e. that you can't have two equal nested radicals of different forms. Depending on how deep you want to go, you can either take that for granted for now or observe that $apmsqrtb$ satisfies the polynomial relations $(x-a)^2-b=0$ and $(x-u^2-v)^2-4u^2v=0$ and it follows from that that the two polynomials must be equal (using e.g. the concept of minimal polynomials or explicitly dividing the one by the other with remainder taking into account that $apmsqrtb$ will satisfy no linear relation) which gives us our correspondence.
$endgroup$
add a comment |
$begingroup$
(I will assume $b$ is not a square, since otherwise it would not be a nested radical.)
A nested radical can be denested if and only if there exist $u,vinmathbbN$ such that the nested radical is of the form $sqrtu^2+vpm2usqrtv$ in which case it is also equal to $|upmsqrtv|$.
It's not hard to show that those expressions are equal, which means that all nested radicals of that form can indeed be denested.
For the other way, let's consider the following equality where $a,b,c,d,einmathbbN$:
$$sqrtapmsqrtb=cpm dsqrte$$
(Note that we can also write e.g. $sqrt3-2sqrt2$ in that form as $sqrt3-sqrt8$) If we square both sides, we get:
$$apmsqrtb=c^2+ed^2pm2cdsqrte$$
This suggests we pick $u=c$ and $v=ed^2$. Then $apmsqrtb=u^2+vpm2usqrtv$ as claimed.
This isn't quite the end of the story since preferably we'd also like to know that $a$ actually corresponds to $u^2+v$ and $b$ to $4u^2v$, i.e. that you can't have two equal nested radicals of different forms. Depending on how deep you want to go, you can either take that for granted for now or observe that $apmsqrtb$ satisfies the polynomial relations $(x-a)^2-b=0$ and $(x-u^2-v)^2-4u^2v=0$ and it follows from that that the two polynomials must be equal (using e.g. the concept of minimal polynomials or explicitly dividing the one by the other with remainder taking into account that $apmsqrtb$ will satisfy no linear relation) which gives us our correspondence.
$endgroup$
add a comment |
$begingroup$
(I will assume $b$ is not a square, since otherwise it would not be a nested radical.)
A nested radical can be denested if and only if there exist $u,vinmathbbN$ such that the nested radical is of the form $sqrtu^2+vpm2usqrtv$ in which case it is also equal to $|upmsqrtv|$.
It's not hard to show that those expressions are equal, which means that all nested radicals of that form can indeed be denested.
For the other way, let's consider the following equality where $a,b,c,d,einmathbbN$:
$$sqrtapmsqrtb=cpm dsqrte$$
(Note that we can also write e.g. $sqrt3-2sqrt2$ in that form as $sqrt3-sqrt8$) If we square both sides, we get:
$$apmsqrtb=c^2+ed^2pm2cdsqrte$$
This suggests we pick $u=c$ and $v=ed^2$. Then $apmsqrtb=u^2+vpm2usqrtv$ as claimed.
This isn't quite the end of the story since preferably we'd also like to know that $a$ actually corresponds to $u^2+v$ and $b$ to $4u^2v$, i.e. that you can't have two equal nested radicals of different forms. Depending on how deep you want to go, you can either take that for granted for now or observe that $apmsqrtb$ satisfies the polynomial relations $(x-a)^2-b=0$ and $(x-u^2-v)^2-4u^2v=0$ and it follows from that that the two polynomials must be equal (using e.g. the concept of minimal polynomials or explicitly dividing the one by the other with remainder taking into account that $apmsqrtb$ will satisfy no linear relation) which gives us our correspondence.
$endgroup$
(I will assume $b$ is not a square, since otherwise it would not be a nested radical.)
A nested radical can be denested if and only if there exist $u,vinmathbbN$ such that the nested radical is of the form $sqrtu^2+vpm2usqrtv$ in which case it is also equal to $|upmsqrtv|$.
It's not hard to show that those expressions are equal, which means that all nested radicals of that form can indeed be denested.
For the other way, let's consider the following equality where $a,b,c,d,einmathbbN$:
$$sqrtapmsqrtb=cpm dsqrte$$
(Note that we can also write e.g. $sqrt3-2sqrt2$ in that form as $sqrt3-sqrt8$) If we square both sides, we get:
$$apmsqrtb=c^2+ed^2pm2cdsqrte$$
This suggests we pick $u=c$ and $v=ed^2$. Then $apmsqrtb=u^2+vpm2usqrtv$ as claimed.
This isn't quite the end of the story since preferably we'd also like to know that $a$ actually corresponds to $u^2+v$ and $b$ to $4u^2v$, i.e. that you can't have two equal nested radicals of different forms. Depending on how deep you want to go, you can either take that for granted for now or observe that $apmsqrtb$ satisfies the polynomial relations $(x-a)^2-b=0$ and $(x-u^2-v)^2-4u^2v=0$ and it follows from that that the two polynomials must be equal (using e.g. the concept of minimal polynomials or explicitly dividing the one by the other with remainder taking into account that $apmsqrtb$ will satisfy no linear relation) which gives us our correspondence.
answered Sep 15 '12 at 14:34
anonymousanonymous
85964
85964
add a comment |
add a comment |
$begingroup$
One way of approaching this problem is by viewing it as a zero of an equation. Let me explain. Let's say you want to compute $sqrtx_0$ where $x_0$ is a zero of some quadratic polynomial of the form $x^2-bx+1$. Now, one way to go is to note that if you have a zero of $x^2+ax+1$, then it will still be a zero if you multiply it with $x^2-ax+1$ which equals
$$x^4 + (2-a^2) x^2 + 1$$
Now the idea is to work backwards. So, in particular, if you can find you can find an $a$ such that $b=a^2-2$, then you can conclude that the square root of you polynomial is equal to one of the zeros of the polynomials $x^2-ax+1$ or $x^2+ax+1$. It is usually not too hard to find out which. If you found out which, you can rewrite your square root accordingly to the desired form :)
To conclude, one of the tricks is to find the right form of your polynomials such that you end up with something useful. This method will however require some puzzling.
Edit applying this method to the example $sqrt5+2sqrt6$, you will find that the polynomial you need (thus the one for which you want to calculate the square root of a zero) is $x^2-10x+1$. Then according to the above method (which you derive on the go), your $a=sqrt12$ and then you just need to solve $x^2-ax+1=0$ which is the only possibility since for the other one, filling in a positive number will yield a positive number. Solving this equation by completing the square is not too difficult. It turns out that the zeros lie at around 0.5 and 3. Hence, it is not difficult to note you need the larger zero which turns out to be exactly given by $sqrt2+sqrt3$. Does that make sense?
$endgroup$
$begingroup$
Yes. thanx!!!!!
$endgroup$
– Max0815
Feb 20 at 1:43
$begingroup$
If your polynomial ends with $+b$ instead of $1$, I think you need to work with $+sqrtb$ in the polynomials with the $a$s. (Did not check this but I am sure this will work).
$endgroup$
– Stan Tendijck
Feb 20 at 1:48
$begingroup$
yes I believe so too.
$endgroup$
– Max0815
Feb 20 at 2:19
add a comment |
$begingroup$
One way of approaching this problem is by viewing it as a zero of an equation. Let me explain. Let's say you want to compute $sqrtx_0$ where $x_0$ is a zero of some quadratic polynomial of the form $x^2-bx+1$. Now, one way to go is to note that if you have a zero of $x^2+ax+1$, then it will still be a zero if you multiply it with $x^2-ax+1$ which equals
$$x^4 + (2-a^2) x^2 + 1$$
Now the idea is to work backwards. So, in particular, if you can find you can find an $a$ such that $b=a^2-2$, then you can conclude that the square root of you polynomial is equal to one of the zeros of the polynomials $x^2-ax+1$ or $x^2+ax+1$. It is usually not too hard to find out which. If you found out which, you can rewrite your square root accordingly to the desired form :)
To conclude, one of the tricks is to find the right form of your polynomials such that you end up with something useful. This method will however require some puzzling.
Edit applying this method to the example $sqrt5+2sqrt6$, you will find that the polynomial you need (thus the one for which you want to calculate the square root of a zero) is $x^2-10x+1$. Then according to the above method (which you derive on the go), your $a=sqrt12$ and then you just need to solve $x^2-ax+1=0$ which is the only possibility since for the other one, filling in a positive number will yield a positive number. Solving this equation by completing the square is not too difficult. It turns out that the zeros lie at around 0.5 and 3. Hence, it is not difficult to note you need the larger zero which turns out to be exactly given by $sqrt2+sqrt3$. Does that make sense?
$endgroup$
$begingroup$
Yes. thanx!!!!!
$endgroup$
– Max0815
Feb 20 at 1:43
$begingroup$
If your polynomial ends with $+b$ instead of $1$, I think you need to work with $+sqrtb$ in the polynomials with the $a$s. (Did not check this but I am sure this will work).
$endgroup$
– Stan Tendijck
Feb 20 at 1:48
$begingroup$
yes I believe so too.
$endgroup$
– Max0815
Feb 20 at 2:19
add a comment |
$begingroup$
One way of approaching this problem is by viewing it as a zero of an equation. Let me explain. Let's say you want to compute $sqrtx_0$ where $x_0$ is a zero of some quadratic polynomial of the form $x^2-bx+1$. Now, one way to go is to note that if you have a zero of $x^2+ax+1$, then it will still be a zero if you multiply it with $x^2-ax+1$ which equals
$$x^4 + (2-a^2) x^2 + 1$$
Now the idea is to work backwards. So, in particular, if you can find you can find an $a$ such that $b=a^2-2$, then you can conclude that the square root of you polynomial is equal to one of the zeros of the polynomials $x^2-ax+1$ or $x^2+ax+1$. It is usually not too hard to find out which. If you found out which, you can rewrite your square root accordingly to the desired form :)
To conclude, one of the tricks is to find the right form of your polynomials such that you end up with something useful. This method will however require some puzzling.
Edit applying this method to the example $sqrt5+2sqrt6$, you will find that the polynomial you need (thus the one for which you want to calculate the square root of a zero) is $x^2-10x+1$. Then according to the above method (which you derive on the go), your $a=sqrt12$ and then you just need to solve $x^2-ax+1=0$ which is the only possibility since for the other one, filling in a positive number will yield a positive number. Solving this equation by completing the square is not too difficult. It turns out that the zeros lie at around 0.5 and 3. Hence, it is not difficult to note you need the larger zero which turns out to be exactly given by $sqrt2+sqrt3$. Does that make sense?
$endgroup$
One way of approaching this problem is by viewing it as a zero of an equation. Let me explain. Let's say you want to compute $sqrtx_0$ where $x_0$ is a zero of some quadratic polynomial of the form $x^2-bx+1$. Now, one way to go is to note that if you have a zero of $x^2+ax+1$, then it will still be a zero if you multiply it with $x^2-ax+1$ which equals
$$x^4 + (2-a^2) x^2 + 1$$
Now the idea is to work backwards. So, in particular, if you can find you can find an $a$ such that $b=a^2-2$, then you can conclude that the square root of you polynomial is equal to one of the zeros of the polynomials $x^2-ax+1$ or $x^2+ax+1$. It is usually not too hard to find out which. If you found out which, you can rewrite your square root accordingly to the desired form :)
To conclude, one of the tricks is to find the right form of your polynomials such that you end up with something useful. This method will however require some puzzling.
Edit applying this method to the example $sqrt5+2sqrt6$, you will find that the polynomial you need (thus the one for which you want to calculate the square root of a zero) is $x^2-10x+1$. Then according to the above method (which you derive on the go), your $a=sqrt12$ and then you just need to solve $x^2-ax+1=0$ which is the only possibility since for the other one, filling in a positive number will yield a positive number. Solving this equation by completing the square is not too difficult. It turns out that the zeros lie at around 0.5 and 3. Hence, it is not difficult to note you need the larger zero which turns out to be exactly given by $sqrt2+sqrt3$. Does that make sense?
edited Mar 5 at 18:41
darij grinberg
11.2k33167
11.2k33167
answered Feb 20 at 1:28
Stan TendijckStan Tendijck
2,213415
2,213415
$begingroup$
Yes. thanx!!!!!
$endgroup$
– Max0815
Feb 20 at 1:43
$begingroup$
If your polynomial ends with $+b$ instead of $1$, I think you need to work with $+sqrtb$ in the polynomials with the $a$s. (Did not check this but I am sure this will work).
$endgroup$
– Stan Tendijck
Feb 20 at 1:48
$begingroup$
yes I believe so too.
$endgroup$
– Max0815
Feb 20 at 2:19
add a comment |
$begingroup$
Yes. thanx!!!!!
$endgroup$
– Max0815
Feb 20 at 1:43
$begingroup$
If your polynomial ends with $+b$ instead of $1$, I think you need to work with $+sqrtb$ in the polynomials with the $a$s. (Did not check this but I am sure this will work).
$endgroup$
– Stan Tendijck
Feb 20 at 1:48
$begingroup$
yes I believe so too.
$endgroup$
– Max0815
Feb 20 at 2:19
$begingroup$
Yes. thanx!!!!!
$endgroup$
– Max0815
Feb 20 at 1:43
$begingroup$
Yes. thanx!!!!!
$endgroup$
– Max0815
Feb 20 at 1:43
$begingroup$
If your polynomial ends with $+b$ instead of $1$, I think you need to work with $+sqrtb$ in the polynomials with the $a$s. (Did not check this but I am sure this will work).
$endgroup$
– Stan Tendijck
Feb 20 at 1:48
$begingroup$
If your polynomial ends with $+b$ instead of $1$, I think you need to work with $+sqrtb$ in the polynomials with the $a$s. (Did not check this but I am sure this will work).
$endgroup$
– Stan Tendijck
Feb 20 at 1:48
$begingroup$
yes I believe so too.
$endgroup$
– Max0815
Feb 20 at 2:19
$begingroup$
yes I believe so too.
$endgroup$
– Max0815
Feb 20 at 2:19
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f196155%2fstrategies-to-denest-nested-radicals%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
Denesting radicals is hard, but there's an algorithm for it. For the case you're interested in, Wikipedia describes a simple procedure.
$endgroup$
– Zhen Lin
Sep 15 '12 at 14:14
2
$begingroup$
You may want to look at: cybertester.com/data/denest.pdf searching this site reveals related questions such as: math.stackexchange.com/questions/194030/…
$endgroup$
– NoChance
Sep 15 '12 at 14:15
2
$begingroup$
Can you post your sources of these CRAZY nested radicals from Ramanujan's works? I'd like to read some more about his ideas.
$endgroup$
– SasQ
Dec 14 '14 at 13:25
1
$begingroup$
isibang.ac.in/~sury/ramanujanday.pdf
$endgroup$
– A. Chu
Dec 15 '14 at 9:29
3
$begingroup$
"The basic method I learned is to set this equal to $sqrtx-ysqrtc$" and do what with it? "but I found out that this doesn't work with $sqrt5+2sqrt6$" why not? What was supposed to happen?
$endgroup$
– fleablood
Feb 20 at 1:27