Conjugate Rationalization At Infinity

Why a Conjugate Helps

A difference such as \(\sqrt{4x^2+12x+5}-(2x+1)\) can be difficult to evaluate by considering its two terms separately. As \(x\) tends to positive infinity, both terms grow, and their leading behavior matches. Subtracting two growing quantities can hide a finite remainder.

The conjugate turns that difference into a quotient. The numerator of the quotient is a difference of squares, so the large matching terms cancel exactly. What remains often makes the limit visible.

The Conjugate Identity

The conjugate of \(\sqrt{A}-B\) is \(\sqrt{A}+B\). Their product is \((\sqrt{A}-B)(\sqrt{A}+B)=A-B^2\), because \((\sqrt{A})^2=A\). Thus, wherever the expressions are defined and the conjugate is nonzero,

This identity is exact, not an approximation. At infinity, its usefulness comes from canceling the leading quadratic terms in \(A-B^2\). The remaining numerator may be linear, constant, or still grow, while the denominator’s behavior determines how that remainder affects the limit.

For expressions involving \(x^2\), remember that \(\sqrt{x^2}=|x|\), not always \(x\). In particular, \(|x|=x\) for positive \(x\), while \(|x|=-x\) for negative \(x\). This sign difference is essential when matching a square root to a linear expression at the two ends of the real line.

Matching Linear Terms at Each End

Consider a quadratic \(ax^2+bx+c\), with \(a>0\). Its square root is defined for all sufficiently large positive and negative \(x\), because the positive leading term \(ax^2\) eventually outweighs the lower-degree terms. At positive infinity, the leading part of the square root is \(\sqrt{a}\,x\); at negative infinity, it is \(-\sqrt{a}\,x\).

The following formulas apply when the linear term being subtracted matches that leading behavior. The constant \(d\) may be any real number.

Here the radicand is understood on the sufficiently distant parts of the real line where it is nonnegative. The two formulas differ because the linear expression matching the square root has a different sign of \(x\) at the two ends.

Why the Formulas Work

For positive infinity, multiply the difference by its conjugate. The difference of squares in the numerator is

Therefore, for sufficiently large positive \(x\),

Divide the numerator and denominator by \(x\). Since \(x>0\) in this limit, \(\sqrt{ax^2+bx+c}/x=\sqrt{a+b/x+c/x^2}\), which tends to \(\sqrt{a}\). Thus the numerator divided by \(x\) tends to \(b-2\sqrt{a}\,d\), and the denominator divided by \(x\) tends to \(2\sqrt{a}\). The latter is nonzero, so the quotient tends to \((b-2\sqrt{a}\,d)/(2\sqrt{a})=b/(2\sqrt{a})-d\).

For negative infinity, the matching linear term is \(-\sqrt{a}\,x+d\). Its square is \(ax^2-2\sqrt{a}\,d\,x+d^2\), so the conjugate gives

Divide numerator and denominator by \(-x\), which is positive as \(x\) tends to negative infinity. The numerator divided by \(-x\) tends to \(-(b+2\sqrt{a}\,d)\). Also, \(\sqrt{ax^2+bx+c}/(-x)=\sqrt{a+b/x+c/x^2}\) tends to \(\sqrt{a}\), and \((-\sqrt{a}\,x+d)/(-x)\) tends to \(\sqrt{a}\). Hence the denominator divided by \(-x\) tends to \(2\sqrt{a}\). The quotient tends to \(-(b+2\sqrt{a}\,d)/(2\sqrt{a})=-b/(2\sqrt{a})-d\), proving the second formula.

Worked Examples

A Pitfall: Check the Conjugate Denominator

A common mistake is to assume that a conjugate denominator always grows at the same rate as the separate terms in it. For example, consider \(\sqrt{x^2+1}-x\) as \(x\to-\infty\). Rationalizing gives

It would be wrong to claim that the denominator grows like \(2|x|\). Its two terms nearly cancel. In fact, applying the conjugate identity once more shows

For negative \(x\), \(\sqrt{x^2+1}-x\) grows without bound: dividing it by \(-x\) gives \(\sqrt{1+1/x^2}+1\), which tends to \(2\). Consequently, \(\sqrt{x^2+1}+x\) tends to zero through positive values, and its reciprocal tends to positive infinity. The original expression indeed tends to positive infinity, not to zero.

When to Use This Method

Conjugate rationalization is especially useful when a square root of a quadratic is subtracted from a linear expression with the same leading behavior at the end under consideration. The square terms cancel, exposing the terms that govern the limit. The matching formulas give a quick result, while the conjugated quotient provides a direct calculation and a way to check signs.

If the linear term does not match the square root’s leading behavior, these finite-limit formulas do not apply. Nor should a denominator be presumed to have a particular behavior solely because it contains a square root and a linear term. First form the conjugate quotient, then establish the numerator’s and denominator’s limits or growth using the relevant end of the real line.