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