Nested Radicals and Conjugate Multiplication

Why Nested Radicals Need a Careful Conjugate

A limit involving a nested square root can produce a zero-over-zero form even when its value is finite. The useful algebraic move is to focus on the outer radical: multiply by the conjugate of the entire numerator, not by a conjugate chosen from only part of the expression. The resulting difference of squares may reveal the inner-radical difference that matches the denominator.

For example, in \(\sqrt{7+\sqrt{x}}-3\), the two terms being subtracted are \(\sqrt{7+\sqrt{x}}\) and \(3\). Their conjugate is \(\sqrt{7+\sqrt{x}}+3\). Multiplying by it removes the outer square root through a difference of squares:

The expression on the right is an inner-radical difference. If the original denominator contains \(\sqrt{x}-2\), the multiplication has exposed a factor that can be cancelled.

The Algebra Behind the Method

Here is a general form of the method. Suppose \(g\) is continuous near \(x=a\), \(g(x)\geq 0\) near \(a\), and \(A+\sqrt{g(a)}>0\). Consider the quotient

At \(x=a\), both numerator and denominator are zero. For nearby \(x\) where the denominator is nonzero, multiply the numerator and denominator by the conjugate of the numerator. This gives

The cancellation is valid for the nearby \(x\) under consideration because \(\sqrt{g(x)}-\sqrt{g(a)}\ne 0\) there. A limit concerns values near \(a\), not necessarily the expression’s value at \(a\). By continuity, as \(x\) approaches \(a\), the remaining denominator approaches \(2\sqrt{A+\sqrt{g(a)}}\), which is positive by assumption. Therefore:

Worked Examples

Conditions and a Common Cancellation Error

The method depends on more than spotting two radicals. The expressions must be defined for \(x\) near the point of approach, and the conjugate must produce a factor that matches the original denominator. After cancellation, the remaining expression must have a limit that can be evaluated. The conjugate multiplication is an identity wherever the original expressions are defined; cancellation is performed only at nearby points where the cancelled factor is nonzero.

A common error is to cancel part of a sum or difference as though it were a factor. For instance, someone might look at

and claim that the numerator contains \(\sqrt{x}-2\), so the quotient is \(1\). It does not contain that factor in its displayed form: the numerator is a difference of an outer radical and \(3\), not a product with \(\sqrt{x}-2\). The claim also fails at \(x=9\), where the original quotient is

which is not \(1\). The correction is to multiply by the outer conjugate first. That operation proves the identity with a factor \(\sqrt{x}-2\); only then is there a genuine common factor to cancel.

A Reliable Sequence of Steps

When a nested-radical limit has a zero numerator and denominator, use this sequence. It keeps the algebra tied to the structure of the expression.

Why This Method Is Useful

Nested radicals can hide a simple difference inside a more complicated expression. Multiplying by the outer conjugate removes one layer of that structure and can expose exactly the difference needed for cancellation. This is why the choice of conjugate matters: it should correspond to the two terms in the outer subtraction.

The process also illustrates a general principle of limit simplification. An expression may be undefined at the point of approach, yet equal a simpler expression at nearby points. If the simpler expression has a limit, it determines the limit of the original expression. The original and simplified expressions need not have the same value at the approach point; cancellation is used on a punctured neighborhood, not at the point itself.

Always finish by checking the algebra and the conditions. Verify that the conjugate was applied to the complete numerator, that the difference of squares has the correct sign, that the factor cancelled really occurs in both numerator and denominator, and that the remaining denominator does not approach zero.