Ma10, Ma11 - Surds and rationalising denominators

Ma10, Ma11 - Surds and rationalising denominators

Use Ma10 to simplify and calculate with exact surds, then Ma11 to rationalise their denominators. You will see why conjugates work, keep the domain of a variable expression and make short exact arguments without replacing roots by rounded decimals.

Exact roots and indices

How could three awkward fractions add to just 7−2\sqrt7-2? Consider

15+2+16+5+17+6.\frac1{\sqrt5+2}+\frac1{\sqrt6+\sqrt5}+\frac1{\sqrt7+\sqrt6}.

The denominators do not look alike, so a common denominator looks uninviting. We will find a much shorter route after sorting out the roots themselves.

You already know

Fractional indices and roots describe the same operation. For a positive uu, um/n=(un)mu^{m/n}=(\sqrt[n]{u})^m. Multiply the top and bottom of a fraction by the same nonzero expression to keep its value.

Exact form means keeping the number itself, not merely many decimal places. For example, 2\sqrt2 is exact, but 1.4141.414 is rounded.

Surd

A surd is an irrational root of a rational number. Examples are 2\sqrt2 and 53\sqrt[3]{5}. A root need not be a surd: 9=3\sqrt9=3 is rational.

For an even root, the real radicand must be non-negative. The principal square root is also non-negative: 9=3\sqrt9=3, whereas the two solutions of z2=9z^2=9 are z=±3z=\pm3. Thus u2=∣u∣\sqrt{u^2}=|u|, and at u=−2u=-2, 9u2=6=3∣u∣\sqrt{9u^2}=6=3|u|. This principal-root identity is not in the formula sheet: learn it.

Working with square roots

For a,b≥0a,b\ge0,

ab=ab.\sqrt{ab}=\sqrt a\sqrt b.

For a≥0,b>0a\ge0,b>0,

a/b=ab.\sqrt{a/b}=\frac{\sqrt a}{\sqrt b}.

The conditions keep all roots real and the divisor nonzero.

Not in the formula sheet: learn it.

The product rule follows because ab\sqrt a\sqrt b is non-negative and squares to abab. Extract square factors with that rule; do not assume a similar rule for addition.

Worked example 1: simplifying a root

Question. Express 72\sqrt{72} in simplest surd form.

Plan. Pull out the square factor 3636.

72=36×2separate a square factor=62product rule\begin{aligned} \sqrt{72}&=\sqrt{36\times2} && \text{separate a square factor}\\ &=6\sqrt2 && \text{product rule} \end{aligned}

Why this step? Only a factor with an exact rational square root can leave the radical as a rational multiplier.

Answer. 626\sqrt2.

Check. (62)2=72(6\sqrt2)^2=72, and the expression is positive.

Change only the square factor, keeping the same remaining root. This is why unlike-looking roots can become like terms later.

Worked example 2: recognising the same root

Question. Express 32\sqrt{32} in simplest surd form.

Plan. Separate the square factor 1616.

32=16×2factor the radicand=42take the exact root\begin{aligned} \sqrt{32}&=\sqrt{16\times2} && \text{factor the radicand}\\ &=4\sqrt2 && \text{take the exact root} \end{aligned}

Why this step? The simplified root is again 2\sqrt2, so a sum involving 72\sqrt{72} and 32\sqrt{32} can now be collected.

Answer. 424\sqrt2.

Check. (42)2=32(4\sqrt2)^2=32, with a non-negative value.

Root and index notation must agree: u=u1/2\sqrt u=u^{1/2}, u34=u3/4\sqrt[4]{u^3}=u^{3/4} for u≥0u\ge0, and 813/4=33=2781^{3/4}=3^3=27. These root/index identities are not in the formula sheet: learn them. Odd roots can accept negative values, such as −83=−2\sqrt[3]{-8}=-2.

Watch out

Wrong: 25t2=5t\sqrt{25t^2}=5t for unrestricted real tt. Right: 25t2=5∣t∣\sqrt{25t^2}=5|t|. A principal square root never supplies a negative answer.

Use a new square factor, then check the distinction between roots and powers.

Surd arithmetic

Simplification turns surd arithmetic back into familiar algebra: collect matching roots and multiply brackets term by term.

For example,

212−27+3=43−33+3=23.2\sqrt{12}-\sqrt{27}+\sqrt3 =4\sqrt3-3\sqrt3+\sqrt3=2\sqrt3.

The coefficient arithmetic is ordinary arithmetic once each root is simplified. Terms such as 2+3\sqrt2+\sqrt3 do not collect. In particular, 9+16=5\sqrt{9+16}=5, while 9+16=7\sqrt9+\sqrt{16}=7.

Surd bracket identities

For real a,ba,b,

(a+b)2=a2+2ab+b2,(a+b)(a−b)=a2−b2.(a+b)^2=a^2+2ab+b^2,\qquad (a+b)(a-b)=a^2-b^2.

These identities apply when aa or bb is a real surd. The mixed terms add in the square and cancel in the conjugate product.

Not in the formula sheet: learn it.

The signs of the mixed products decide whether a root remains. Make each product visible before simplifying.

Worked example 3: four products

Question. Expand and simplify (5+2)(5−3)(\sqrt5+2)(\sqrt5-3).

Plan. Expand each term into the other bracket, then collect like terms.

(5+2)(5−3)=5−35+25−6distributive law=−1−5collect\begin{aligned} (\sqrt5+2)(\sqrt5-3) &=5-3\sqrt5+2\sqrt5-6 && \text{distributive law}\\ &=-1-\sqrt5 && \text{collect} \end{aligned}

Why this step? Squaring the root gives the rational contribution 55; each mixed product still has one root.

Answer. −1−5-1-\sqrt5.

Check. Since 2<5<32<\sqrt5<3, the first bracket is positive and the second negative, agreeing with the answer's sign.

Change only the constant in the second bracket, from minus three to minus two. The brackets become conjugates and the mixed terms now cancel.

Worked example 4: a rational product

Question. Expand and simplify (5+2)(5−2)(\sqrt5+2)(\sqrt5-2).

Plan. Show the cancelling mixed terms, or use the difference of squares.

(5+2)(5−2)=5−25+25−4expand=1cancel and subtract\begin{aligned} (\sqrt5+2)(\sqrt5-2) &=5-2\sqrt5+2\sqrt5-4 && \text{expand}\\ &=1 && \text{cancel and subtract} \end{aligned}

Why this step? Changing that one constant makes the mixed products equal and opposite.

Answer. 11.

Check. The two positive factors are reciprocal: dividing one by their product gives 1/(5+2)=5−21/(\sqrt5+2)=\sqrt5-2.

That small rational answer is the key to rationalising. In a square, however, the mixed terms have the same sign: (2+3)2=7+43(2+\sqrt3)^2=7+4\sqrt3.

Watch out

Wrong: (2+3)2=7(2+\sqrt3)^2=7. This drops the cross term. Right: expand both brackets, giving 4+23+23+3=7+434+2\sqrt3+2\sqrt3+3=7+4\sqrt3. A product of conjugates is a different expression.

Use the same conjugate-product method with a new root.

Rationalising denominators

Choose a multiplier that cancels the root in the denominator, rather than multiplying several awkward fractions together first.

For a single root, 3/5=35/53/\sqrt5=3\sqrt5/5: multiply the top and bottom by 5\sqrt5. For two terms, multiply by the conjugate. The conjugate of a+ba+\sqrt b is a−ba-\sqrt b; only the middle sign changes. Both the starting denominator and the multiplier must be nonzero.

Worked example 5: a rational term and a root

Question. Rationalise the denominator of 23−5\dfrac2{3-\sqrt5}.

Plan. Multiply top and bottom by 3+53+\sqrt5, then use the difference of squares.

23−5=2(3+5)(3−5)(3+5)multiply by one=2(3+5)9−5conjugate product=3+52cancel a factor 2\begin{aligned} \frac2{3-\sqrt5} &=\frac{2(3+\sqrt5)}{(3-\sqrt5)(3+\sqrt5)} && \text{multiply by one}\\ &=\frac{2(3+\sqrt5)}{9-5} && \text{conjugate product}\\ &=\frac{3+\sqrt5}{2} && \text{cancel a factor }2 \end{aligned}

Why this step? The sign change makes the mixed products cancel, leaving the rational denominator 44.

Answer. (3+5)/2(3+\sqrt5)/2.

Check. Multiplying by 3−53-\sqrt5 gives (9−5)/2=2(9-5)/2=2.

Change only the first denominator term from 33 to 7\sqrt7. A difference of squares still works when both terms are roots.

Worked example 6: two roots in the denominator

Question. Rationalise the denominator of 27−5\dfrac2{\sqrt7-\sqrt5}.

Plan. Multiply by the conjugate 7+5\sqrt7+\sqrt5.

27−5=2(7+5)(7−5)(7+5)conjugate multiplier=2(7+5)7−5difference of squares=7+5cancel 2\begin{aligned} \frac2{\sqrt7-\sqrt5} &=\frac{2(\sqrt7+\sqrt5)}{(\sqrt7-\sqrt5)(\sqrt7+\sqrt5)} && \text{conjugate multiplier}\\ &=\frac{2(\sqrt7+\sqrt5)}{7-5} && \text{difference of squares}\\ &=\sqrt7+\sqrt5 && \text{cancel }2 \end{aligned}

Why this step? Squaring each root gives a rational number, so their difference is rational too.

Answer. 7+5\sqrt7+\sqrt5.

Check. (7+5)(7−5)=7−5=2(\sqrt7+\sqrt5)(\sqrt7-\sqrt5)=7-5=2.

Now read the opening fractions as a connected argument. For n≥0n\ge0, rationalising gives

1n+1+n=n+1−n(n+1)−n=n+1−n.\frac1{\sqrt{n+1}+\sqrt n} =\frac{\sqrt{n+1}-\sqrt n}{(n+1)-n} =\sqrt{n+1}-\sqrt n.

The denominator becomes one. Use this result on each fraction separately:

15+2+16+5+17+6=(5−2)+(6−5)+(7−6)=7−2\begin{aligned} \frac1{\sqrt5+2}+\frac1{\sqrt6+\sqrt5}+\frac1{\sqrt7+\sqrt6} &=(\sqrt5-2)+(\sqrt6-\sqrt5)+(\sqrt7-\sqrt6)\\ &=\sqrt7-2 \end{aligned}

That is the surprise: all the middle roots disappear. The index nn names a radicand, not a number of terms; the three substitutions are n=4,5,6n=4,5,6. Reading the symbols before manipulating them keeps the cancellation clear.

A variable denominator needs its restrictions too:

1x−2=x+2x−4,x≥0,x≠4.\frac1{\sqrt x-2}=\frac{\sqrt x+2}{x-4},\qquad x\ge0,\quad x\ne4.

At x=0x=0, both forms give −1/2-1/2; x=4x=4 is excluded. Also simplify perfect roots first: 1/(2+4)=1/41/(2+\sqrt4)=1/4 is already rational, whereas its proposed conjugate multiplier is zero.

Watch out

Wrong: 1/(2+4)1/(2+\sqrt4) can be rationalised by multiplying by (2−4)/(2−4)(2-\sqrt4)/(2-\sqrt4). That proposed multiplier is 0/00/0, not one. Right: simplify the perfect root first to get 1/41/4.

Exact algebra needs only a few clear lines when each equality is justified.

Exam tip

For MEI's detailed-reasoning questions, show at least one actual multiplication by the conjugate over itself and the rational denominator it produces. Writing the rationalised answer alone, even correctly, does not demonstrate that step. Keep the exact surd; extra decimal places do not make a rounded answer exact.

Use a different first radicand in the second worked example. The rational denominator no longer cancels completely.

Quick Recap

  • Ma10 uses exact roots: simplify square factors, collect matching surds and expand every product.
  • Principal square roots are non-negative, so x2=∣x∣\sqrt{x^2}=|x|.
  • Ma11 rationalises with a root or conjugate; show the same nonzero multiplier on top and bottom.
  • Rationalise separate terms before combining them when that exposes a simple cancellation, and keep variable restrictions.

The opening sum is 7−2\sqrt7-2: rationalisation cancels every middle root.