Two ideas in this lesson, deeply linked: indices and surds.
An expression like an means "a multiplied by itself n times" when n is a positive whole number. But what does it mean when n is zero, negative, or a fraction? The answer is that we extend the meaning of indices so that a small set of laws — the laws of indices — continues to hold for all rational exponents.
| Law | Statement |
|---|---|
| Multiplication | am · an = am+n |
| Division | am ÷ an = am−n |
| Power of a power | (am)n = amn |
| Zero exponent | a0 = 1 (for a ≠ 0) |
| Negative exponent | a−n = 1 / an |
| Fractional exponent | a1/n = n√a and am/n = (n√a)m |
The astonishing thing is that these laws weren't invented for fractional and negative exponents — they were discovered to be the only consistent extension that preserves the laws we already had. The interactive in The Designed World below lets you see this for yourself.
A surd is a root expression that cannot be simplified to a rational number — for instance √2, √3, or 3√7. The number √4 is not a surd because it equals 2 (a rational number); the number √2 is a surd because no fraction equals it exactly. We keep surds in their root form rather than approximating because they are exactly what they are — and we lose precision the moment we round.
Key rules for working with surds:
| Rule | Statement | Example |
|---|---|---|
| Multiplication | √a · √b = √(ab) | √2 · √3 = √6 |
| Division | √a / √b = √(a/b) | √12 / √3 = √4 = 2 |
| Simplification | Factor out perfect squares | √50 = √(25·2) = 5√2 |
| Rationalising | Multiply top and bottom by a clever 1 | 1/√2 = (1·√2)/(√2·√2) = √2/2 |
Why rationalise? Because keeping surds in the numerator (rather than the denominator) makes arithmetic far easier — adding √2/2 + √3/3 is more tractable than adding 1/√2 + 1/√3. Rationalising is a small act of preparation that pays off later.
The story of surds begins with a crisis.
In the 6th century BCE, on the Greek island of Samos, the philosopher and mathematician Pythagoras led a secretive religious-mathematical brotherhood that taught a remarkable doctrine: everything in the universe — music, the cosmos, beauty itself — can be understood as a ratio of whole numbers. Music, they had discovered, really did obey this rule: a string halved in length sounds an octave higher; a string in the ratio 2:3 sounds a perfect fifth. The Pythagoreans concluded, breathtakingly, that whole numbers and their ratios were the secret architecture of reality.
Then someone in the brotherhood — tradition names him Hippasus of Metapontum — applied the Pythagoreans' own famous theorem to the simplest case imaginable: a square with sides of length 1. The diagonal, by their own theorem, must be a length d satisfying d² = 1² + 1² = 2. What ratio of whole numbers gives this? Hippasus tried to find one. He could not. And then he proved that nobody ever could — that the diagonal of a unit square is a length that cannot be written as any ratio of whole numbers, no matter how clever you are.
This is √2, the first known irrational number. It does not fit into the Pythagorean worldview. According to legend (which may not be true, but is too good to leave out), the Pythagoreans were so disturbed by Hippasus's discovery that they drowned him at sea, hoping to keep the secret. Whether or not Hippasus actually died for √2, the philosophical disturbance was real: a number existed, plainly geometrical, plainly necessary, that their entire system declared could not exist.
It took mathematics a long time to recover. For centuries, irrational numbers were treated as suspicious — "surd" comes from the Latin surdus, meaning "deaf" or "mute", a translation of the Arabic aṣamm meaning "deaf" or "unsayable", used by mathematicians like al-Khwarizmi in 9th-century Baghdad. These were the numbers that could not speak their value cleanly as a ratio.
The story has a contemporary echo. There is a deep human urge to want things to be clean — for the world to fit our frameworks. Mathematics, in its kindness, sometimes tells us that the world is bigger than our frameworks. That is a hard message but a generous one: it invites us to grow the frameworks, not shrink the world.
Today we are entirely at peace with surds, with negative exponents, with fractional exponents — none of these "fit" the original intuition of indices as "repeated multiplication", and yet all of them are necessary. Each one is a small descendant of Hippasus's discovery: the world has more numbers in it than we first thought, and learning to live with them is part of learning mathematics.
Choose one of the following to explore the ideas in your own way. There is no single right answer.
√2 is irrational has a beautiful short proof by contradiction. Write it out for yourself, in your own words, as if you were telling it to a curious 14-year-old. (If you need a hint to get started: assume √2 = p/q in lowest terms, and reach a contradiction by considering the parity of p and q.)√2. Then draw a "spiral of Theodorus" — start with a right triangle of legs 1 and 1, then build a new right triangle on its hypotenuse with the new leg of length 1, and so on. What's the hypotenuse of the third triangle? The fourth? The fifth? Annotate.2−3 "has to" mean 1/8 and not something else). No formulas allowed — only ideas.The way you turn a mathematical idea into your own voice is part of what you know. Mathematicians do this too — every textbook is someone's act of retelling.
The laws of indices appear wherever growth, decay, or repeated scaling occurs: compound interest, radioactive decay, population dynamics, the brightness of a star at distance r (which falls as 1/r², or equivalently r−2), the way music intervals stack (a tritone is roughly 21/2 times a base frequency, an octave is 21, and so on through the equal-tempered scale). Surds appear wherever right angles meet — engineering, surveying, navigation, signal processing.
The interactive below lets you check the laws of indices for yourself. Choose a base a and two exponents m and n, and watch the laws hold. The point isn't to memorise the laws but to see that they're patterns in the arithmetic, not arbitrary rules.
2³ · 2⁰ = 2³⁺⁰ = 2³. What does this force the value of 2⁰ to be? Why is this the same reasoning for any base a?a³ · a⁻³? Now consider the division law applied to a³ ÷ a³ — does it agree? Two routes, same conclusion. What does a⁻³ have to mean?(a²)³ equals a⁶, the same as (a³)². Why must m and n commute in the power-of-a-power law?a1/2 = √a). Why is it surprising — and beautiful — that this extension has to work that way for the laws to remain consistent?What this shows: the laws of indices aren't arbitrary rules to memorise; they're the patterns that have to hold if we want indices to behave consistently. Fractional and negative exponents weren't invented — they were forced into existence by insisting that the laws keep working.
Take a breath. Indices and surds touch something a little uncomfortable: the realisation that some numbers don't quite settle into the framework we'd hoped they would. Some questions to sit with — there are no wrong answers:
√2 (probably years ago), did you feel uneasy that it didn't have a "nice" decimal form? Or was it just another fact among many? Notice whatever the answer is — both responses are normal.If you'd like a short reset before the Final Task: take three slow breaths, look out of a window for twenty seconds, then come back. Algebra, like running, rewards a calm body.
Produce a short illustrated manual (1–2 sides of A4, digital or handwritten) titled The Index and Surd Manual, containing all of the following:
2³ · 2⁴ = 2⁷) — make them yours, not copies from this lesson.√72.√50 + √8.(2 + √3)(2 − √3).3 / √5.1 / (2 + √3). (Hint: multiply top and bottom by the conjugate.)(8x6)1/3 and explain each step.√3 is irrational. (The structure mirrors the famous proof for √2 — adapt it.)| Strand | What we're looking for |
|---|---|
| Conceptual Understanding | The chosen examples and the proof show genuine grasp of why the laws and surd rules work, not just that they do. |
| Fluency & Accuracy | The surd simplifications, rationalisations, and mixed-laws problem are computed correctly, with clear well-laid-out steps. |
| Application to Problems | The rationalisation by conjugate and the mixed-laws problem are tackled methodically; the proof of irrationality is structured cleanly. |
| Independence & Reflection | Examples are yours, not copies; the reflection shows honest thinking about what changed or where surds might appear next. |
Take whatever form for the manual feels right — handwritten and photographed, typed and illustrated, a slide, a video walk-through. The mathematics is what's being assessed; the form is yours.
Ready to build fluency? The practice companion has exam-style questions with Socratic support whenever you get stuck.
✏️ Now Practise →