Radicals and Surds

A radical is a mathematical expression that uses a root symbol (√) to indicate the root of a number or expression. When we write √9 = 3, we are asking: what number, multiplied by itself, gives 9? Radicals appear throughout algebra, geometry, and calculus, and understanding how to simplify and manipulate them is a fundamental skill in mathematics. The word 'radical' comes from the Latin 'radix', meaning root. A surd is a special type of radical — specifically, an irrational radical whose value cannot be expressed as a fraction of two integers. For example, √2 ≈ 1.41421… is a surd because its decimal expansion is non-terminating and non-repeating. By contrast, √25 = 5 is not a surd because it simplifies to a rational number. Surds arise naturally whenever we apply the Pythagorean theorem, solve quadratic equations, or compute distances in coordinate geometry. This article explores the properties of square roots and higher-order roots (cube roots, fourth roots, and beyond), the rules that govern their arithmetic, and systematic methods for simplifying radical expressions. Mastering surds prepares students for advanced topics including rationalizing denominators, solving radical equations, and working with complex numbers.

Key takeaways
  • Defining the nth Root
  • Product Rule for Radicals
  • Quotient Rule for Radicals
  • Adding and Subtracting Like Surds
  • Rationalizing the Denominator
  • Radical Exponent Notation

Defining the nth Root

The nth root of a number a is written ⁿ√a and is the number b such that bⁿ = a. When n = 2 (the square root), the index is usually omitted: √a means ²√a. For example, ³√8 = 2 because 2³ = 8, and ⁴√81 = 3 because 3⁴ = 81. For square roots of positive real numbers, there are always two solutions (±), but by convention √a denotes the positive (principal) root. The expression ⁿ√a is defined for negative a only when n is odd; for instance ³√(−27) = −3, but √(−4) is not real.

Product Rule for Radicals

The product rule states that ⁿ√(a · b) = ⁿ√a · ⁿ√b, provided a ≥ 0 and b ≥ 0. This is the primary tool for simplifying radicals. To simplify √72, factor 72 into a perfect-square part and a remaining part: 72 = 36 × 2, so √72 = √(36 × 2) = √36 · √2 = 6√2. The key step is identifying the largest perfect-square factor of the radicand. Similarly, ³√54 = ³√(27 · 2) = ³√27 · ³√2 = 3³√2.

Quotient Rule for Radicals

The quotient rule states that ⁿ√(a/b) = ⁿ√a / ⁿ√b, for b ≠ 0. For example, √(25/9) = √25 / √9 = 5/3. This rule also allows us to simplify fractions under a radical sign before taking the root, which is often easier. When a fraction is under a radical and the denominator is not a perfect power, we typically need to rationalize the denominator afterward.

Adding and Subtracting Like Surds

Surds can only be added or subtracted if they are 'like surds' — surds with the same radicand and the same index. The rule mirrors combining like terms in algebra: a√c + b√c = (a + b)√c. For example, 3√5 + 7√5 = 10√5. Unlike surds such as √3 and √5 cannot be combined directly. However, after simplification, apparently unlike surds may become like: √12 + √27 = 2√3 + 3√3 = 5√3, because √12 = 2√3 and √27 = 3√3.

Rationalizing the Denominator

Standard form requires that no radical appears in the denominator of a fraction. For a monomial denominator, multiply numerator and denominator by the surd: 1/√3 = √3/3. For a binomial denominator involving a surd, use the conjugate. The conjugate of (a + √b) is (a − √b), and their product (a + √b)(a − √b) = a² − b eliminates the surd by the difference-of-squares identity. Example: 1/(2 + √3) = (2 − √3)/((2 + √3)(2 − √3)) = (2 − √3)/(4 − 3) = 2 − √3.

Radical Exponent Notation

Radicals can be written using fractional exponents: ⁿ√a = a^(1/n), and more generally ⁿ√(aᵐ) = a^(m/n). This connects radical notation to the laws of exponents. For example, √a · √a = a^(1/2) · a^(1/2) = a^(1/2 + 1/2) = a¹ = a. The law a^(m/n) = (a^(1/n))^m = (ⁿ√a)^m allows us to evaluate expressions like 8^(2/3) = (³√8)² = 2² = 4. Fractional exponents are essential when differentiating or integrating radical expressions in calculus.

The Key Equation

amn=am/n,abn=an bn,abn=anbn\sqrt[n]{a^m} = a^{m/n}, \quad \sqrt[n]{ab} = \sqrt[n]{a}\,\sqrt[n]{b}, \quad \sqrt[n]{\frac{a}{b}} = \frac{\sqrt[n]{a}}{\sqrt[n]{b}}
  • n — index (dimensionless): The degree of the root; n = 2 gives a square root, n = 3 gives a cube root, and so on. Must be a positive integer.
  • a — radicand (dimensionless): The number or expression under the radical sign whose root is being taken. For even n, a must be non-negative in the real number system.
  • m — power (dimensionless): The exponent applied to the base a inside the radical. The combination m/n produces a fractional exponent when the radical is converted to exponential form.
  • b — second factor or divisor (dimensionless): A second non-negative quantity used to illustrate the product and quotient rules. In the quotient rule, b ≠ 0.

Worked Example

Problem. Simplify the expression: (3√50 − 2√8 + √(1/2)) and rationalize the result so that no radical appears in the denominator.

2322\dfrac{23\sqrt{2}}{2}

Answer. 23√2 / 2

Figure
Diagram
Geometric Interpretation of √2, √3, √5 using Right Trianglesxy11√21√321√5Each hypotenuse length equals the square root of the sum of squares of the two legs (Pythagorean theorem).
Origins · 1 minNiels Henrik Abel and how this was discovered
NH
Niels Henrik Abel
1802–1829 · Norwegian

Abel made foundational contributions to the theory of algebraic equations involving radicals. He proved the Abel–Ruffini theorem, establishing that there is no general solution in radicals — that is, no formula using only arithmetic operations and nth roots — for polynomial equations of degree five or higher. His work on elliptic functions and radical expressions fundamentally shaped modern algebra. Abel accomplished all of his groundbreaking mathematics before the age of 27, dying of tuberculosis in poverty. His proof of the impossibility of solving the quintic by radicals was initially printed at his own expense on a pamphlet he could barely afford.

  • Irrational Numbers — Surds are the most common example of irrational numbers; understanding irrationality is essential to appreciating why surds cannot be expressed as fractions.
  • Pythagorean Theorem — The Pythagorean theorem is one of the primary sources of surds in geometry, since computing hypotenuse lengths frequently yields irrational square roots.
  • Quadratic Equations — The quadratic formula contains a square root (the discriminant), and solutions are often surds that must be simplified using radical rules.
  • Laws of Exponents — Fractional exponents provide an alternative notation for radicals, and all radical manipulations can be derived directly from the laws of exponents.
  • Complex Numbers — When the radicand of a square root is negative, the result is not a real number but an imaginary number, connecting radicals to the complex number system.