I have recently read some passage about nested radicals, I’m deeply impressed by them. Simple nested radicals √2+√2,√3−2√2 which the later can be denested into 1−√2. This may be able to see through easily, but how can we denest such a complicated one √61−24√5(=4−3√5)? And Is there any ways to judge if a radical in √a+b√c form can be denested?

Mr. Srinivasa Ramanujan even suggested some CRAZY nested radicals such as:

3√√2−1,√3√28−3√27,√3√5−3√4,3√cos2π7+3√cos4π7+3√cos8π7,6√73√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.

**Answer**

There do exist general denesting algorithms employing Galois theory, but for the simple case of quadratic algebraic numbers we can employ a simple rule that I discovered as a teenager.

**Simple Denesting Rule** subtract out √norm, then divide out √trace

Recall w=a+b√n has **norm** =w⋅w′=(a+b√n) ⋅(a−b√n) =a2−nb2

and, furthermore, w has **trace** =w+w′=(a+b√n)+(a−b√n)=2a

Here 61−24√5 has norm =292. subtracting out √norm =29 yields 32−24√5

and this has √trace=8, thus, dividing it out of this yields the sqrt: ±(4−3√5).

See here for a simple proof of the rule, and see here for many examples of its use.

**Attribution***Source : Link , Question Author : JSCB , Answer Author : Bill Dubuque*