Simplify
into the form .
Put the inner radical in the form . Denesting formulas expect a factor of in front of the inner root, so extract the perfect square from :
Set up the perfect-square template. If then expanding the right side gives
so matching the rational and irrational parts separately requires
Solve the small system. These are the sum and product of two numbers, so and are the roots of :
The discriminant coming out as a perfect square () is precisely the condition for the radical to denest at all — most nested radicals do not.
Take the square root with the correct sign. Since a square root is non-negative, choose the ordering that makes the difference positive, i.e. and :
Check numerically, and note the rationalized reciprocal. Numerically , so and its square root is ; meanwhile — the two agree exactly, with no gap to explain away. A useful companion fact: the reciprocal rationalizes neatly, since
so the radical and its reciprocal add to .
Need to solve a different problem like this? Open the solver →