Some roots come out exactly: 16=4\sqrt{16} = 4 and 83=2\sqrt[3]{8} = 2. Oth­ers never do: 2=1.41421…\sqrt{2} = 1.41421\ldots goes on for ever with­out repeat­ing. Roots of the sec­ond kind are called surds, and they turn up every­where in geom­e­try and alge­bra, from the diag­o­nal of a square to the solu­tions of qua­dratic equa­tions. This les­son says exactly what a surd is, how it dif­fers from other irra­tional num­bers, and names the two types you will use most: mixed surds and con­ju­gate surds.

Roots that come out exactly

The nnth root of a num­ber aa, writ­ten an\sqrt[n]{a}, is the num­ber which, mul­ti­plied by itself nn times, gives aa. The small num­ber nn is the order of the root, and aa is the rad­i­cand. For a square root the order 22 is not writ­ten: a\sqrt{a} means a2\sqrt[2]{a}.

Some roots are ratio­nal num­bers:

83=2×2×23=216=4×4=4325=255=2×2×2×2×25=2\begin{aligned} \sqrt[3]{8} &= \sqrt[3]{2 \times 2 \times 2} = 2 \\ \sqrt{16} &= \sqrt{4 \times 4} = 4 \\ \sqrt[5]{32} &= \sqrt[5]{2^{5}} = \sqrt[5]{2 \times 2 \times 2 \times 2 \times 2} = 2 \end{aligned}

In each case the rad­i­cand splits into nn equal fac­tors, so the root is a whole num­ber.

But 2\sqrt{2} is not a ratio­nal num­ber: no frac­tion mul­ti­plied by itself gives exactly 22. Nor is 53\sqrt[3]{5}: 55 does not split into three equal ratio­nal fac­tors.

What a surd is

A surd (also called a pure surd) is a root an\sqrt[n]{a} that is not a ratio­nal num­ber, where aa is a pos­i­tive ratio­nal num­ber and nn is a nat­ural num­ber greater than 11.

Exam­ples of surds:

2,54,36,87,109\sqrt{2}, \quad \sqrt[4]{5}, \quad \sqrt[6]{3}, \quad \sqrt[7]{8}, \quad \sqrt[9]{10}

Each of these is a root of a ratio­nal num­ber, and none of them comes out exactly. Notice 87\sqrt[7]{8}: even though 8=238 = 2^{3}, the sev­enth root does not come out exactly, because 88 does not split into seven equal ratio­nal fac­tors.

Not surds: 16\sqrt{16}, 273\sqrt[3]{27} and 94\displaystyle \sqrt{\frac{9}{4}}, because they equal 44, 33 and 32\displaystyle \frac{3}{2}, all ratio­nal.

Exam­ple 1

Which of these are surds? 25\sqrt{25}, 7\sqrt{7}, 273\sqrt[3]{27}, 103\sqrt[3]{10}, 164\sqrt[4]{16}, 8\sqrt{8}

  • 25=5\sqrt{25} = 5: ratio­nal, not a surd.
  • 7\sqrt{7}: 77 is not a per­fect square, so this is a surd.
  • 273=3\sqrt[3]{27} = 3: ratio­nal, not a surd.
  • 103\sqrt[3]{10}: 1010 is not a per­fect cube, so this is a surd.
  • 164=2\sqrt[4]{16} = 2, since 2×2×2×2=162 \times 2 \times 2 \times 2 = 16: not a surd.
  • 8\sqrt{8}: 88 is not a per­fect square, so this is a surd.

Surds and irra­tional num­bers

An irra­tional num­ber is a num­ber that can­not be writ­ten as a frac­tion. Its dec­i­mal form never ends and never repeats (it is non-ter­mi­nat­ing and non-recur­ring).

Every surd is an irra­tional num­ber. But not every irra­tional num­ber is a surd. The famous num­bers

π=3.14159…e=2.71828…\pi = 3.14159\ldots \qquad e = 2.71828\ldots

are irra­tional, with non-ter­mi­nat­ing, non-recur­ring dec­i­mals, but they are not roots of any ratio­nal num­ber, so they are not surds.

Remem­ber. Every surd is irra­tional, but an irra­tional num­ber need not be a surd.

Types of surds

Mixed surds

A surd mul­ti­plied by a ratio­nal num­ber, in the form abna\sqrt[n]{b}, is called a mixed surd. Exam­ples:

23,536,422\sqrt{3}, \qquad 5\sqrt[6]{3}, \qquad 4\sqrt{2}

In 232\sqrt{3} the ratio­nal part is 22 and the surd part is 3\sqrt{3}. You will see in a later les­son that a mixed surd can always be rewrit­ten as a pure surd, and that a pure surd like 12\sqrt{12} can often be rewrit­ten as a mixed surd, 232\sqrt{3}.

Con­ju­gate surds

Two surds of the form

a+banda−ba + \sqrt{b} \quad \text{and} \quad a - \sqrt{b}

are called con­ju­gate surds of each other. They are the same except for the sign in front of the square-root part. Exam­ples of con­ju­gate pairs:

Surd Its con­ju­gate
2+32 + \sqrt{3} 2−32 - \sqrt{3}
7+37 + \sqrt{3} 7−37 - \sqrt{3}
5+35 + \sqrt{3} 5−35 - \sqrt{3}
5+3\sqrt{5} + 3 −5+3-\sqrt{5} + 3

Con­ju­gates mat­ter because their prod­uct has no surd in it. For exam­ple, (2+3)(2−3)=4−3=1(2 + \sqrt{3})(2 - \sqrt{3}) = 4 - 3 = 1. You will work this out prop­erly in the next les­son, and use it again and again later in the chap­ter.

Exam­ple 2

Write the con­ju­gate of (a) 6+56 + \sqrt{5} (b) 3−23 - \sqrt{2} (c) 11+4\sqrt{11} + 4.

(a) 6−56 - \sqrt{5}. (b) 3+23 + \sqrt{2}. (c) −11+4-\sqrt{11} + 4, which is the same as 4−114 - \sqrt{11}.

Exam­ple 3

State the order and the rad­i­cand of 125\sqrt[5]{12}, and say whether it is a surd.

The order is 55 and the rad­i­cand is 1212. Since 1212 is not the fifth power of a ratio­nal num­ber, 125\sqrt[5]{12} is a surd.

Prac­tice

  1. Which of these are surds? 36\sqrt{36}, 11\sqrt{11}, 643\sqrt[3]{64}, 93\sqrt[3]{9}, 49\displaystyle \sqrt{\frac{4}{9}}, 814\sqrt[4]{81}
  2. State the order and the rad­i­cand of 74\sqrt[4]{7}.
  3. Is π\pi a surd? Give a rea­son.
  4. Is every irra­tional num­ber a surd?
  5. Which of these are mixed surds? 353\sqrt{5}, 20\sqrt{20}, 7237\sqrt[3]{2}, 93\sqrt[3]{9}
  6. Write the con­ju­gate of 5+75 + \sqrt{7}.
  7. Write the con­ju­gate of 8−38 - \sqrt{3}.
  8. Show that 1253\sqrt[3]{125} is not a surd.
  9. Is 18\sqrt{18} a surd? Is 182\displaystyle \sqrt{\frac{18}{2}}?

Answers

Show answers
  1. 11\sqrt{11} and 93\sqrt[3]{9}. The oth­ers equal 66, 44, 23\displaystyle \frac{2}{3} and 33.
  2. Order 44, rad­i­cand 77.
  3. No. π\pi is irra­tional, but it is not a root of any ratio­nal num­ber.
  4. No. Every surd is irra­tional, but irra­tional num­bers such as π\pi and ee are not surds.
  5. 353\sqrt{5} and 7237\sqrt[3]{2}.
  6. 5−75 - \sqrt{7}
  7. 8+38 + \sqrt{3}
  8. 125=5×5×5125 = 5 \times 5 \times 5, so 1253=5\sqrt[3]{125} = 5, which is ratio­nal.
  9. 18\sqrt{18} is a surd, since 1818 is not a per­fect square. But 182=9=3\displaystyle \sqrt{\frac{18}{2}} = \sqrt{9} = 3, which is ratio­nal, so it is not a surd.