1.3 - Surds and rationalising denominators

1.3 - Surds and rationalising denominators

Keep square roots exact while simplifying sums, multiplying brackets and removing surds from denominators. You will see why these methods work, then use them to turn an awkward fraction into a surprisingly simple exact answer.

Keeping square roots exact

Can you remove the fraction from 13−22\frac{1}{3-2\sqrt2} without using a decimal? The denominator is positive but small, so its reciprocal is much larger. By the end of the lesson you will write it exactly with no fraction at all.

A square of area 22 has side length 2\sqrt2. This is a perfectly precise length even though its decimal expansion never ends or repeats. Since 12<2<1.521^2 < 2 < 1.5^2, its side lies between 11 and 1.51.5. Writing 1.4141.414 is an approximation: 1.4142=1.9993961.414^2 = 1.999396, which falls just short of 22.

You already know

A rational number can be written as ab\frac ab, with integers aa and bb and b≠0b \ne 0. Fractions and specified terminating or recurring decimals can be exact. Rounding changes the value; keep an exact form until a question requests an approximation.

Some roots are rational and others are irrational. The root sign alone does not tell you which: 36=6\sqrt{36} = 6, but 2\sqrt2 cannot be written as a ratio of integers.

Surd

A surd is an irrational root of a rational number. For example, 2\sqrt2, 3\sqrt3 and 7\sqrt7 are surds. Not examples: 36=6\sqrt{36} = 6 and 0=0\sqrt0 = 0, because their values are rational. The square root of a positive integer is a surd precisely when that integer is not a perfect square.

The symbol a\sqrt a means the non-negative, or principal, square root. Thus 9=3\sqrt9 = 3, while the equation x2=9x^2 = 9 has two solutions, x=3x = 3 and x=−3x = -3. We use real square roots here, so the number under a square root must be non-negative. These square-root conventions are not on the formulae sheet: learn them.

Key idea

A surd keeps the exact number. A decimal approximation may help you check its size, but it does not replace an exact answer.

Decide whether each root actually has an irrational value, rather than judging by its appearance.

Simplifying and combining surds

Take square factors out of each root before adding or subtracting; expressions that look different may then become like terms.

The picture shows 18=32\sqrt{18} = 3\sqrt2. Nine small squares, each of area 22, form one square of area 1818. There are three small sides across the large square, so its side is both 18\sqrt{18} and 323\sqrt2.

[DIAGRAM: asset_name: Extracting a square factor; asset_slug: l2fm-surds-square-factor; caption: Nine squares of area 2 make a square whose side is both square root 18 and 3 square root 2; description: A three by three grid of equal squares, each labelled with area 2. One small square is sage and its side is labelled square root 2. The large square has area 18, its left side is labelled square root 18 and its top side is labelled 3 square root 2. The accompanying equation is square root of 9 times 2 equals square root 9 times square root 2 equals 3 square root 2.]
Nine squares of area 2 make a square whose side is both square root 18 and 3 square root 2

More generally, the product ab\sqrt a\sqrt b is non-negative and its square is abab, so it is the principal square root of abab. This explains why roots can be split across multiplication. The same reasoning applies to division by a positive root.

Square-root rules

For a⩾0a \geqslant 0 and b⩾0b \geqslant 0,

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

If also b>0b > 0,

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

In particular, for k⩾0k \geqslant 0 and n⩾0n \geqslant 0,

k2n=kn\sqrt{k^2n} = k\sqrt n

Not on the formulae sheet: learn it.

Choose the largest square factor you can see: 48=16×3=43\sqrt{48} = \sqrt{16 \times 3} = 4\sqrt3. A smaller square factor works too, but leaves another step. For positive integer roots, a fully simplified surd has no square factor greater than 11 left under the root. For division, 753=25=5\frac{\sqrt{75}}{\sqrt3} = \sqrt{25} = 5.

Like terms have the same simplified root. Just as 6x+4x=10x6x + 4x = 10x, we have 62+42=1026\sqrt2 + 4\sqrt2 = 10\sqrt2. The expression 2+3\sqrt2 + \sqrt3 has unlike roots and does not combine into a single term this way.

Worked example 1: uncovering like surds

Question. Simplify fully 72+32+250\sqrt{72} + \sqrt{32} + 2\sqrt{50}.

Plan. Extract the largest square factor from each root, then add the coefficients of 2\sqrt2.

72+32+250=36×2+16×2+225×2expose square factors=62+42+102take their square roots=202add the coefficients\begin{aligned} \sqrt{72} + \sqrt{32} + 2\sqrt{50} &= \sqrt{36 \times 2} + \sqrt{16 \times 2} + 2\sqrt{25 \times 2} && \text{expose square factors} \\ &= 6\sqrt2 + 4\sqrt2 + 10\sqrt2 && \text{take their square roots} \\ &= 20\sqrt2 && \text{add the coefficients} \end{aligned}

Why this step? All three terms become multiples of the same root; the coefficients tell you how many copies to add.

Answer. 20220\sqrt2.

Check. Square the extracted roots: (62)2=72(6\sqrt2)^2 = 72, (42)2=32(4\sqrt2)^2 = 32 and (52)2=50(5\sqrt2)^2 = 50. Each is non-negative and squares to the original number, confirming all three simplifications.

Worked example 2 changes only the first plus sign to a minus sign. The roots simplify as before; keep the subtraction attached to its term.

Worked example 2: subtracting a like surd

Question. Simplify fully 72−32+250\sqrt{72} - \sqrt{32} + 2\sqrt{50}.

Plan. Simplify each root and combine the signed coefficients.

72−32+250=62−42+102extract square factors=(6−4+10)2keep the minus sign=122combine like terms\begin{aligned} \sqrt{72} - \sqrt{32} + 2\sqrt{50} &= 6\sqrt2 - 4\sqrt2 + 10\sqrt2 && \text{extract square factors} \\ &= (6-4+10)\sqrt2 && \text{keep the minus sign} \\ &= 12\sqrt2 && \text{combine like terms} \end{aligned}

Why this step? Subtraction changes the coefficient, not the number under the root.

Answer. 12212\sqrt2.

Check. Changing +32+\sqrt{32} to −32-\sqrt{32} reduces the previous answer by 232=822\sqrt{32} = 8\sqrt2. Indeed, 202−82=12220\sqrt2 - 8\sqrt2 = 12\sqrt2.

Splitting a root over a product works; splitting it over a sum does not.

Watch out

Wrong: 9+16=9+16\sqrt{9+16} = \sqrt9 + \sqrt{16}. The left side is 25=5\sqrt{25} = 5, while the right side is 3+4=73+4 = 7. Right: add inside the root first, or use the product rule only when the expression under the root is a product.

The next expression has the same subtraction pattern, but its like terms involve 3\sqrt3.

Multiplying surds and brackets

Multiply surds using the square-root rule, and expand brackets by multiplying every term in one bracket by every term in the other.

For example, 615=90=310\sqrt6\sqrt{15} = \sqrt{90} = 3\sqrt{10}. The product can need simplifying even when the original roots were already in their simplest forms. Coefficients multiply too: (23)(43)=8×3=24(2\sqrt3)(4\sqrt3) = 8 \times 3 = 24.

You already know

Expanding (a+b)(c+d)(a+b)(c+d) gives ac+ad+bc+bdac+ad+bc+bd. A minus sign belongs to the term that follows it. Surds obey the same distributive law as other numbers.

Write all four products before collecting terms. In particular, 33=3\sqrt3\sqrt3 = 3, so multiplying two irrational numbers can give a rational result.

Worked example 3: all four products

Question. Work out (2+3)(4+3)(2+\sqrt3)(4+\sqrt3). Give your answer in the form a+b3a+b\sqrt3, where aa and bb are integers.

Plan. Expand into four products, simplify the product of the roots, then collect rational and surd terms separately.

(2+3)(4+3)=8+23+43+3multiply every pair=(8+3)+(2+4)3group like terms=11+63simplify\begin{aligned} (2+\sqrt3)(4+\sqrt3) &= 8+2\sqrt3+4\sqrt3+3 && \text{multiply every pair} \\ &= (8+3)+(2+4)\sqrt3 && \text{group like terms} \\ &= 11+6\sqrt3 && \text{simplify} \end{aligned}

Why this step? The last product is (3)2=3(\sqrt3)^2 = 3, so it joins the rational terms rather than the 3\sqrt3 terms.

Answer. 11+6311+6\sqrt3.

Check. Expand by grouping instead: 2(4+3)+3(4+3)=8+23+43+32(4+\sqrt3)+\sqrt3(4+\sqrt3) = 8+2\sqrt3+4\sqrt3+3, giving the same answer.

Worked example 4 changes only the sign in the second bracket. Both products involving that negative term must change sign.

Worked example 4: a negative surd term

Question. Work out (2+3)(4−3)(2+\sqrt3)(4-\sqrt3). Give your answer in the form a+b3a+b\sqrt3, where aa and bb are integers.

Plan. Expand into four signed products, then collect like terms.

(2+3)(4−3)=8−23+43−3multiply every pair=(8−3)+(−2+4)3collect signed terms=5+23simplify\begin{aligned} (2+\sqrt3)(4-\sqrt3) &= 8-2\sqrt3+4\sqrt3-3 && \text{multiply every pair} \\ &= (8-3)+(-2+4)\sqrt3 && \text{collect signed terms} \\ &= 5+2\sqrt3 && \text{simplify} \end{aligned}

Why this step? The product 3(−3)\sqrt3(-\sqrt3) is −3-3; losing its minus sign changes the rational part of the answer.

Answer. 5+235+2\sqrt3.

Check. Add the answers to Worked examples 3 and 4. Before expansion their sum is (2+3)((4+3)+(4−3))=8(2+3)(2+\sqrt3)\bigl((4+\sqrt3)+(4-\sqrt3)\bigr) = 8(2+\sqrt3). Our answers add to 16+8316+8\sqrt3, as required.

A bracket squared also means four products; the two middle products still exist.

Watch out

Wrong: (2+3)2=4+3=7(2+\sqrt3)^2 = 4+3 = 7. Right: (2+3)2=4+23+23+3=7+43(2+\sqrt3)^2 = 4+2\sqrt3+2\sqrt3+3 = 7+4\sqrt3. Squaring a sum is different from squaring its terms separately.

Now keep the same sign pattern and work with a different root. The requested form tells you when to stop simplifying.

Rationalising a single surd denominator

Rationalising rewrites a fraction with a rational denominator while keeping exactly the same value.

The fraction 12\frac1{\sqrt2} is already exact. Multiplying top and bottom by 2\sqrt2 gives 22\frac{\sqrt2}{2}, another exact name for it. The purpose is to obtain the requested form, not to make an approximation.

Rationalising the denominator

To rationalise the denominator is to rewrite an equivalent fraction so that its denominator is rational. For example, 12=22\frac1{\sqrt2} = \frac{\sqrt2}{2}. Multiplying only the denominator by 2\sqrt2 would change the value, so it would not be rationalising the original fraction.

The multiplier bb\frac{\sqrt b}{\sqrt b} is 11 when b>0b > 0. Its denominator becomes bb=b\sqrt b\sqrt b = b, which removes the root.

One surd in the denominator

For real AA and cc, with c≠0c \ne 0 and b>0b > 0,

Acb=Acb×bb=Abcb\frac{A}{c\sqrt b} = \frac{A}{c\sqrt b}\times\frac{\sqrt b}{\sqrt b} = \frac{A\sqrt b}{cb}

When bb and cc are rational, the new denominator cbcb is rational. Simplify any common factors afterwards.
Not on the formulae sheet: learn it.

You do not need to multiply by the entire denominator: only the root is needed to pair with the root already there.

Worked example 5: rationalise, then cancel

Question. Rationalise the denominator and simplify fully 96\frac9{\sqrt6}.

Plan. Multiply top and bottom by 6\sqrt6, then cancel the common factor in the resulting fraction.

96=96×66multiply by 1=966(6)2=6=362divide top and bottom by 3\begin{aligned} \frac9{\sqrt6} &= \frac9{\sqrt6}\times\frac{\sqrt6}{\sqrt6} && \text{multiply by } 1 \\ &= \frac{9\sqrt6}{6} && (\sqrt6)^2 = 6 \\ &= \frac{3\sqrt6}{2} && \text{divide top and bottom by } 3 \end{aligned}

Why this step? The extra 6\sqrt6 makes a rational denominator; the same multiplier on the numerator preserves the value.

Answer. 362\frac{3\sqrt6}{2}.

Check. Multiplying the answer by the original denominator gives 362×6=182=9\frac{3\sqrt6}{2}\times\sqrt6 = \frac{18}{2} = 9, the original numerator.

Worked example 6 adds only a factor of 22 to the denominator. That factor remains when the two roots multiply.

Worked example 6: a coefficient beside the root

Question. Rationalise the denominator and simplify fully 926\frac9{2\sqrt6}.

Plan. Multiply top and bottom by 6\sqrt6, keep the factor of 22, then simplify.

926=926×66multiply by 1=96122×6=12=364cancel a factor of 3\begin{aligned} \frac9{2\sqrt6} &= \frac9{2\sqrt6}\times\frac{\sqrt6}{\sqrt6} && \text{multiply by } 1 \\ &= \frac{9\sqrt6}{12} && 2\times6 = 12 \\ &= \frac{3\sqrt6}{4} && \text{cancel a factor of } 3 \end{aligned}

Why this step? Only the root is squared. The original coefficient 22 multiplies the resulting 66; it does not disappear.

Answer. 364\frac{3\sqrt6}{4}.

Check. Doubling a non-zero denominator halves the fraction. This answer is half of 362\frac{3\sqrt6}{2}, as it should be.

If a numerator has more than one term, the multiplier acts on all of it. Brackets keep this visible.

Watch out

Wrong: 1+22=1+22\frac{1+\sqrt2}{\sqrt2} = \frac{1+2}{2}. The first numerator term was not multiplied. Right: 1+22=(1+2)22=2+22\frac{1+\sqrt2}{\sqrt2} = \frac{(1+\sqrt2)\sqrt2}{2} = \frac{\sqrt2+2}{2}.

The next fraction has a different coefficient and root, but the multiplier still only needs to pair the two roots.

Rationalising a two-term denominator

For a denominator with two terms, choose a multiplier that makes the middle products cancel.

Multiplying 2+32+\sqrt3 by 2−32-\sqrt3 gives 4−23+23−3=14-2\sqrt3+2\sqrt3-3 = 1. Both terms in the middle disappear because they are opposites. This is the difference of two squares, which makes the result rational.

Conjugate pair

For the surd expressions used here, a conjugate pair has the same two terms with the sign between them reversed. For example, 33+53\sqrt3+5 and 33−53\sqrt3-5 form a conjugate pair; 7−3\sqrt7-\sqrt3 and 7+3\sqrt7+\sqrt3 do too. The pair 2+32+\sqrt3 and 2−52-\sqrt5 is not a conjugate pair, because a term has changed as well as the sign.

Write the two terms as uu and vv. The products −uv-uv and +uv+uv cancel, leaving u2−v2u^2-v^2. This works whether the surd is the first term, the second term or both terms.

Conjugates and the difference of two squares

For real uu and vv,

(u+v)(u−v)=u2−v2(u+v)(u-v) = u^2-v^2

If u2u^2 and v2v^2 are rational, this product is rational. To rationalise Au+v\frac{A}{u+v}, multiply top and bottom by u−vu-v; for Au−v\frac{A}{u-v}, use u+vu+v. Both the original denominator and the chosen conjugate must be non-zero.
Not on the formulae sheet: learn it.

For instance, (7−3)(7+3)=7−3=4(\sqrt7-\sqrt3)(\sqrt7+\sqrt3) = 7-3 = 4, so this method also handles denominators containing two different surds. Check the squares before expanding the numerator; a sign error there affects the whole fraction.

Worked example 7: choosing the opposite sign

Question. Rationalise the denominator and simplify fully

3+133+5\frac{\sqrt3+1}{3\sqrt3+5}

Give your answer in the form a+b3a+b\sqrt3, where aa and bb are integers.

Plan. Multiply top and bottom by 33−53\sqrt3-5, use the difference of two squares below and expand all four products above.

3+133+5=(3+1)(33−5)(33+5)(33−5)multiply by 1=9−53+33−527−25expand; square each term=4−232collect like terms=2−3divide both numerator terms by 2\begin{aligned} \frac{\sqrt3+1}{3\sqrt3+5} &= \frac{(\sqrt3+1)(3\sqrt3-5)}{(3\sqrt3+5)(3\sqrt3-5)} && \text{multiply by } 1 \\ &= \frac{9-5\sqrt3+3\sqrt3-5}{27-25} && \text{expand; square each term} \\ &= \frac{4-2\sqrt3}{2} && \text{collect like terms} \\ &= 2-\sqrt3 && \text{divide both numerator terms by } 2 \end{aligned}

Why this step? The conjugate makes the denominator's two middle products cancel. Multiplying by 3\sqrt3 alone would leave another surd term in the denominator.

Answer. 2−32-\sqrt3, so a=2a = 2 and b=−1b = -1.

Check. Multiply back: (2−3)(33+5)=63+10−9−53=1+3(2-\sqrt3)(3\sqrt3+5) = 6\sqrt3+10-9-5\sqrt3 = 1+\sqrt3, the original numerator.

Worked example 8 changes only the sign in the denominator. Its conjugate must change too; the numerator stays exactly as it was.

Worked example 8: a minus sign in the denominator

Question. Rationalise the denominator and simplify fully

3+133−5\frac{\sqrt3+1}{3\sqrt3-5}

Give your answer in the form a+b3a+b\sqrt3, where aa and bb are integers.

Plan. Use the conjugate 33+53\sqrt3+5, then expand and divide every numerator term by the rational denominator.

3+133−5=(3+1)(33+5)(33−5)(33+5)use the conjugate=9+53+33+527−25expand; use difference of squares=14+832collect like terms=7+43divide both terms by 2\begin{aligned} \frac{\sqrt3+1}{3\sqrt3-5} &= \frac{(\sqrt3+1)(3\sqrt3+5)}{(3\sqrt3-5)(3\sqrt3+5)} && \text{use the conjugate} \\ &= \frac{9+5\sqrt3+3\sqrt3+5}{27-25} && \text{expand; use difference of squares} \\ &= \frac{14+8\sqrt3}{2} && \text{collect like terms} \\ &= 7+4\sqrt3 && \text{divide both terms by } 2 \end{aligned}

Why this step? Although the denominator's sign changed, its product with its conjugate is still 27−2527-25. The change appears in the numerator products.

Answer. 7+437+4\sqrt3, so a=7a = 7 and b=4b = 4.

Check. (7+43)(33−5)=213−35+36−203=1+3(7+4\sqrt3)(3\sqrt3-5) = 21\sqrt3-35+36-20\sqrt3 = 1+\sqrt3, recovering the numerator.

The final division is part of simplifying fully. Divide every term in the numerator and give the simplified answer in the requested form.

Watch out

Wrong: (33−5)(33+5)=27+25(3\sqrt3-5)(3\sqrt3+5) = 27+25. The last product is (−5)(5)=−25(-5)(5) = -25. Right: the denominator is 27−25=227-25 = 2, and 14+832=7+43\frac{14+8\sqrt3}{2} = 7+4\sqrt3.

Back to the opening fraction

The conjugate of 3−223-2\sqrt2 is 3+223+2\sqrt2. Their product is 9−8=19-8 = 1, so

13−22=3+22(3−22)(3+22)=3+22\frac1{3-2\sqrt2} = \frac{3+2\sqrt2}{(3-2\sqrt2)(3+2\sqrt2)} = 3+2\sqrt2

The fraction has vanished without rounding. There is a more extreme version of the same surprise: 99+70299+70\sqrt2 and 99−70299-70\sqrt2 are reciprocals, because

(99+702)(99−702)=992−702(2)=9801−9800=1(99+70\sqrt2)(99-70\sqrt2) = 99^2-70^2(2) = 9801-9800 = 1

One is about 198198, and the other is about 0.005050.00505. Two large terms can leave a tiny difference; keeping the roots exact preserves it. You will meet the same need for exact surds when solving quadratics and working with lengths later in the course.

Use the conjugate once more with a different root. Show the numerator and denominator products separately so each part of the method is clear.

Quick Recap

  • A surd is an irrational root; the root symbol denotes the non-negative square root. Keep roots exact until rounding is requested.
  • Extract square factors, then combine only like surds. Square roots split over products and quotients, not sums.
  • Multiply every pair of terms when expanding brackets, keeping their signs.
  • Rationalise a single-root denominator by multiplying top and bottom by its root. For a two-term denominator, use its conjugate, then simplify fully.

The opening fraction is exactly 3+223+2\sqrt2, because (3−22)(3+22)=1(3-2\sqrt2)(3+2\sqrt2) = 1.