Plug into and you get , which tells you nothing. Yet for small the values sit very close to . The square root is hiding a factor of , and the conjugate is the tool that brings it into the open. This exact move comes back in limits and in derivatives of square roots.
Key terms
Radical
Definition For a real number , the square root is the unique real number with . In the real numbers is undefined when , so an expression containing is defined only where the radicand is nonnegative. For every real ,
and for we have . An expression written with a root sign, such as , is called a radical, and the quantity under the sign is its radicand. This lesson works with square roots, the most common radicals.
In plain words The square root sign always means the nonnegative root. The number under it must not be negative.
Example The expression is defined exactly for . Also , which is and not .
Difference of squares
Definition For all real numbers and ,
The middle terms and cancel when the product is expanded.
In plain words A sum times the matching difference leaves only the two squares. When one of the terms is a square root, squaring it removes the root.
Example With and ,
Conjugate
Definition The conjugate of an expression of the form is , and the conjugate of is . Here one or both of and are square roots. For and real ,
In plain words Keep the two terms and flip the sign between them. Multiplying an expression by its conjugate turns it into a difference of squares, and the square root disappears.
Example The conjugate of is . For their product is
That is the hidden factor of from the opening.
Rationalizing
Definition Rationalizing a denominator means rewriting a fraction as an equal fraction whose denominator contains no radicals. Rationalizing a numerator means the same for the numerator. Both are done by multiplying the numerator and the denominator by the same nonzero factor, usually the conjugate of the part that contains the radical, or the radical itself when it stands alone.
In plain words You multiply by a form of , the conjugate over itself, so the value does not change but the root moves to the other part of the fraction.
Example To rationalize , multiply above and below by , which is not zero.
When the root stands alone it is enough to multiply by it, as in .
Equivalent expression
Definition Two expressions in are equivalent on a set when both are defined at every in and have the same value there. A rewriting step such as multiplying by produces an expression equivalent to the original on the set where the original is defined and . It does not make the new expression equal to the old one at points where the old one was undefined.
In plain words Simplifying should never change a value. It also cannot create a value where the original had none.
Example Rationalizing the numerator of the opening expression uses the conjugate from above.
At both forms give . At the new form gives , but the original is still undefined there. The two are equivalent on , so the correct statement is
Domain restriction
Definition Throughout a rationalization, keep the domain of the original expression. The radicands must be nonnegative, the original denominators must be nonzero, and multiplying above and below by a conjugate is valid only where . If is never zero on the original domain, no new exclusion appears. If is zero somewhere, the new form is equal to the original only away from those points, and the original value there has to be found another way.
In plain words Write the restrictions next to the answer. Check whether the conjugate you multiplied by can be zero.
Example In the opening example the conjugate is at least for every , so it never vanishes and only is excluded, an exclusion that came from the original denominator. Compare , which is defined for every and equals at . Multiplying by the conjugate , which is zero at , gives
The new form is undefined at even though the original equals there, so the restriction was created by the conjugate and the point is lost. For a denominator like the original form is already the simpler one, and this rewriting is shown only as a warning.
Check yourself
- Rationalize the numerator of and state for which the two forms are equal.
Show the answer
Multiplying above and below by , which is at least for , gives
The forms are equal for with . At the original is undefined, even though the new form gives .
- Rationalize the denominator of .
Show the answer
Multiply above and below by , which is not zero.
- Simplify by using a conjugate, and give the restrictions.
Show the answer
The original needs and . Multiplying above and below by , which is never zero, turns the numerator into , so
You can also see it directly, since for .