You are viewing a free preview of this lesson.
Subscribe to unlock all 10 lessons in this course and every other course on LearningBro.
This lesson covers the laws of indices and the manipulation of surds, forming the foundation of A-Level algebra as required by the Edexcel 9MA0 specification. You must be confident simplifying expressions involving fractional and negative indices, and rationalising denominators involving surds.
The laws of indices apply to any base, provided the base is the same across terms being combined.
| Law | Rule | Example |
|---|---|---|
| Multiplication | aᵐ × aⁿ = aᵐ⁺ⁿ | 2³ × 2⁴ = 2⁷ = 128 |
| Division | aᵐ ÷ aⁿ = aᵐ⁻ⁿ | 5⁶ ÷ 5² = 5⁴ = 625 |
| Power of a power | (aᵐ)ⁿ = aᵐⁿ | (3²)⁴ = 3⁸ = 6561 |
| Zero index | a⁰ = 1 | 7⁰ = 1 |
| Negative index | a⁻ⁿ = 1/aⁿ | 2⁻³ = 1/8 |
| Fractional index | a^(1/n) = ⁿ√a | 8^(1/3) = ³√8 = 2 |
| Combined fractional | a^(m/n) = (ⁿ√a)ᵐ | 27^(2/3) = (³√27)² = 9 |
When simplifying expressions, always convert roots to fractional powers first. For example:
Simplify √(x³) ÷ x^(1/2):
Worked Example: Simplify (2x³y²)⁴ ÷ (4x²y).
Solution:
A surd is an irrational number expressed as a root that cannot be simplified to a rational number. For example, √2, √3 and √5 are surds, but √4 = 2 is not.
To simplify a surd, find the largest perfect square factor:
| Rule | Example |
|---|---|
| √a × √b = √(ab) | √3 × √5 = √15 |
| √a ÷ √b = √(a/b) | √12 ÷ √3 = √4 = 2 |
| (√a)² = a | (√7)² = 7 |
| a√n + b√n = (a + b)√n | 3√2 + 5√2 = 8√2 |
You can only combine surds with the same radicand (the number under the root):
Treat surds like algebraic terms. Apply the distributive law or FOIL as appropriate.
Example: Expand (2 + √3)(4 − √3).
Example: Expand (√5 + 1)².
A fraction with a surd in the denominator should be rationalised. The method depends on the form of the denominator.
Multiply numerator and denominator by √a:
Multiply by the conjugate (a − √b)/(a − √b):
Example: Rationalise 3/(2 + √5).
Exam Tip: When rationalising a denominator of the form a + b√c, always use the conjugate a − b√c. The denominator becomes a² − b²c, which is rational. Show every step — examiners award method marks for clear working.
At A-Level you must handle expressions such as:
Example: Solve 4ˣ = 8.
Example: Simplify (x^(1/2) + x^(−1/2))².
| Term | Definition |
|---|---|
| Index (exponent) | The power to which a base number is raised |
| Surd | An irrational root that cannot be simplified to a rational number |
| Rationalise | Remove the surd from the denominator of a fraction |
| Conjugate | The expression formed by changing the sign between two terms, e.g. the conjugate of (a + √b) is (a − √b) |
| Radicand | The number under the root sign |
Edexcel 9MA0-01 specification section 2 — Algebra and functions, sub-strands 2.1 and 2.2 covers the laws of indices for all rational exponents; use and manipulate surds, including rationalising the denominator (refer to the official specification document for exact wording). Although this is the first sub-strand of Pure Mathematics, it is examined throughout 9MA0-01, 9MA0-02 and (via algebraic-form requirements) 9MA0-03 Mechanics. Surd and index manipulation is explicitly tested in section 5 (Trigonometry, exact values such as sin(π/3)=3/2), section 6 (Logarithms, where logaax=x rests on index laws) and section 9 (Differentiation, where dxdxn=nxn−1 requires confidence with rational n). The Edexcel formula booklet does not list the index laws — they must be memorised.
Question (8 marks):
(a) Express 1+3(2−3)2 in the form a+b3, where a and b are rational numbers to be found. (5)
(b) Hence, or otherwise, solve 22x+1⋅8x−1=161, giving x as an exact rational. (3)
Solution with mark scheme:
(a) Step 1 — expand the numerator.
(2−3)2=4−43+3=7−43
M1 — correct expansion of the squared bracket. The middle term −43 comes from 2⋅2⋅(−3). Common error: students write (2−3)2=4+3=7, missing the cross term entirely. That loses both M1s.
A1 — correct simplified numerator 7−43.
Step 2 — rationalise the denominator.
Multiply numerator and denominator by the conjugate (1−3):
(1+3)(1−3)(7−43)(1−3)
M1 — multiplying by the correct conjugate. Examiners explicitly check that the correct conjugate is used; multiplying by (1+3) (the same factor) earns nothing.
Step 3 — expand the new numerator.
(7−43)(1−3)=7−73−43+4⋅3=7−113+12=19−113
The denominator: (1+3)(1−3)=1−3=−2.
M1 — correct expansion of both numerator and denominator. The crucial step is recognising 3⋅3=3, not 9 left unsimplified.
Step 4 — combine.
−219−113=−219+2113=−219+2113
A1 — final form a=−219, b=211, written in the requested form a+b3.
(b) Step 1 — convert all terms to base 2.
8=23, so 8x−1=23(x−1)=23x−3. Also 161=2−4.
M1 — converting all bases to a common base (2 here).
Step 2 — combine indices on the LHS.
22x+1⋅23x−3=2(2x+1)+(3x−3)=25x−2
M1 — correct application of the multiplication law of indices.
Step 3 — equate indices.
5x−2=−4⟹5x=−2⟹x=−52
A1 — exact rational answer.
Total: 8 marks (M4 A4, split as shown).
Question (6 marks): Given that y=8x1/3+6x−2/3 for x>0:
(a) Show that y can be written in the form x2/38x+6. (2)
(b) Hence find dxdy, simplifying your answer. (4)
Mark scheme decomposition by AO:
(a)
(b)
Total: 6 marks split AO1 = 5, AO2 = 1. This is an AO1-dominated question — Edexcel uses surd/index questions primarily to test procedural fluency, with AO2 marks reserved for the "elegant simplification" final step.
Connects to:
Section 5 — Trigonometry (exact values): trigonometric values at π/6, π/4, π/3 involve surds (sin(π/3)=3/2, tan(π/4)=1, cos(π/6)=3/2). Manipulating these — e.g. simplifying sin(π/3)cos(π/4)−cos(π/3)sin(π/4) — is pure surd arithmetic dressed up in trigonometric clothing.
Section 6 — Exponentials and logarithms: ex and lnx obey index laws by definition. Expressions like e2lnx=(elnx)2=x2 rely entirely on the index-of-an-index rule (am)n=amn.
Section 9 — Differentiation of xn: the power rule dxdxn=nxn−1 extends seamlessly to fractional and negative n — which means dxdx=dxdx1/2=21x−1/2=2x1. Without confident index manipulation this differentiation is impossible.
Section 8 — Integration: integrating x requires rewriting as x1/2 and applying the power rule in reverse: ∫x1/2dx=32x3/2+C. Forgetting how to convert roots to fractional indices stalls every integration involving roots.
Section 11 — Binomial expansion: (1+x)n for non-integer n uses fractional indices throughout. Expanding (1+x)1/2 gives 1+21x−81x2+... — every term involves rational-index arithmetic.
Surds and indices questions on 9MA0 split AO marks heavily toward AO1:
| AO | Typical share | Earned by |
|---|---|---|
| AO1 (knowledge / procedure) | 70–80% | Applying index laws, expanding surd brackets, rationalising correctly, simplifying fractional-index expressions |
| AO2 (reasoning / interpretation) | 15–25% | Recognising when to convert between surd form and fractional index, justifying choice of conjugate, presenting answers in requested exact form |
| AO3 (problem-solving) | 0–10% | Open-ended modelling rare for this topic at AS level; appears in Year 2 within harder integration/differentiation contexts |
Examiner-rewarded phrasing: "rationalising by multiplying by the conjugate (a−b)/(a−b)"; "since x>0, x2=x (not ∣x∣)"; "in the form a+bc with a, b rational and c a square-free integer". Phrases that lose marks: writing 4 instead of 2 in a final answer ("not fully simplified"); leaving denominators surd-containing when the question demands rationalisation; converting between forms inconsistently mid-solution.
A specific Edexcel pattern to watch: questions phrased "in the form a+bc where a, b are integers" demand integer answers — if your answer comes out as −19/2+(11/2)3, you will need to multiply through (or check whether the question allows rational a, b). Read the constraint precisely.
Question: Express 3+112 in the form p+q3 where p and q are integers.
Grade C response (~190 words):
To rationalise, multiply top and bottom by 3−1:
(3+1)(3−1)12(3−1)=3−1123−12=2123−12=63−6.
So p=−6 and q=6.
Examiner commentary: Full marks (3/3). The candidate correctly identifies the conjugate, applies the difference-of-squares pattern in the denominator, and produces integer answers in the requested form. Working is brief but every step is justified and verifiable. This is the standard Grade C answer for a procedural question — efficient and correct. The answer is presented in the form −6+63 and the constants are correctly identified as integers. Many candidates lose marks here by stating only the simplified expression and not explicitly identifying p and q.
Grade A response (~230 words):*
To rationalise the denominator, multiply numerator and denominator by the conjugate of (3+1), which is (3−1):
3+112⋅3−13−1
The denominator becomes a difference of squares: (3+1)(3−1)=(3)2−12=3−1=2.
The numerator: 12(3−1)=123−12.
Combining:
2123−12=63−6=−6+63
So in the form p+q3, we have p=−6 and q=6, both integers as required.
Examiner commentary: Full marks (3/3). Beyond procedural correctness, the candidate uses display-math notation, names the difference-of-squares pattern explicitly, and writes the final answer in the order p+q3 matching the question stem (rather than 63−6, which is mathematically equivalent but reads as if the candidate hadn't connected back to the question). The "as required" closing is the kind of self-checking phrase that signals examiner-aware sophistication and would matter on longer questions.
Question: (a) Simplify 8(18+50)2, giving your answer in the form k2 where k is an integer. (b) Hence find the exact value of log2(8(18+50)2).
Grade B response (~270 words):
(a) Simplify the surds: 18=32, 50=52, 8=22.
So (18+50)2=(32+52)2=(82)2=64⋅2=128.
Then 22128=264=2642=322.
So k=32.
(b) log2(322)=log232+log22=5+0.5=5.5.
Examiner commentary: Method correct throughout, secured (a) with full marks (3/3). In (b), the candidate gives a decimal where exact form is demanded — 5.5 should be 211. They lose the final A1 for this and score 2/3 in (b). Total: 5/6. The slip is small but characteristic of Grade B work: the maths is right, the presentation discipline is loose. An A* candidate would notice "exact value" and write the fraction.
Grade A response (~310 words):*
(a) Simplify each surd by extracting perfect-square factors:
The numerator: (18+50)2=(32+52)2=(82)2=64⋅2=128.
Dividing: 22128=264.
Rationalise: 264⋅22=2642=322.
So k=32.
(b) Using the result from (a):
log2(322)=log2(32)+log2(2)=log2(25)+log2(21/2)=5+21=211
Examiner commentary: Full marks (6/6). The "Hence" command is honoured — the candidate uses the result from (a) directly rather than re-evaluating from scratch. The decomposition log2(322)=log2(32)+log2(2) uses the product law cleanly. Crucially, 2 is converted to 21/2 before applying log2(2x)=x — the link between surd form and index form is the AO2 reasoning that earns the final mark. The exact form 211 is correctly preferred over the decimal 5.5. This is examination craft.
Question: f(x)=(1+2x)2−x12+4x for x>0.
(a) Show that f(x)=4x−x12+1. (4)
(b) Hence solve f(x)=0 exactly. (5)
Grade A response (~390 words):*
(a) Expand the squared bracket:
(1+2x)2=1+2⋅1⋅2x+(2x)2=1+4x+4x
Split the second fraction:
x12+4x=x12+x4x=x12+4x
(using xx=x, since x1/2x1=x1/2=x).
Subtract:
f(x)=(1+4x+4x)−(x12+4x)=4x−x12+1
The 4x terms cancel exactly, leaving the printed result.
(b) Set f(x)=0:
4x−x12+1=0
Multiply through by x (valid since x>0, so x=0):
4xx−12+x=0 4x3/2+x1/2−12=0
Let u=x1/2=x, so x3/2=u3. The equation becomes:
4u3+u−12=0
Try u=23: 4⋅827+23−12=227+23−12=15−12=3=0. Try u=1.4 numerically: 4(2.744)+1.4−12=10.976+1.4−12=0.376, close but not zero. Try u=33: this gives 4⋅3+33−12=33=0.
The equation does not factor over rationals. Using a numerical solver: u≈1.398, hence x=u2≈1.954.
Examiner commentary: Part (a) is full marks (4/4) — clean expansion, explicit cancellation noted, printed form obtained. Part (b) reveals the difficulty: the resulting cubic doesn't factor neatly over the rationals, suggesting either a typo in the question or that an exact answer requires numerical methods (Year 2 content). The candidate scores 3/5 for setting up the substitution u=x and reducing to a cubic — the M1 M1 A1 marks. They lose the final two marks because exact solution isn't accessible. This question, as stated, is harder than typical AS-level — a real exam version would have nicer numbers. Total: 7/9 — comfortably in the A grade band; one or two raw marks short of the typical A* threshold (which on 9MA0 Paper 1 sits around 80% UMS, so 8/9 or full marks would be needed for A*). The gap to A* on this candidate is analytical: a top student would spot that the cubic resists clean factorisation and reach for numerical methods explicitly rather than running out of road.
The errors that distinguish A from A* on surd/index questions:
x2=x vs ∣x∣. For x>0, x2=x. For x<0, x2=−x=∣x∣. A-Level questions usually constrain x>0, but always check the domain — silently dropping the modulus on a negative branch costs marks.
(a)2=a vs a2=∣a∣. These look symmetric but are not: (a)2=a holds only when a is defined (a≥0), while a2=∣a∣ holds for all real a.
Using the wrong conjugate. The conjugate of a+b is a−b, not a−b or −a+b. Mis-identifying the conjugate produces an irrational denominator and zero marks.
Forgetting that a⋅a=a, not a2. Leaving 9 instead of writing 3 is "not fully simplified" — examiners deduct A marks for unsimplified surds.
Index of an index slip. (am)n=amn, but (am)n=am+n and =amn. The most insidious is when m or n is fractional: (x1/2)1/3=x1/6, not x5/6 or x2/3.
Adding surds with different radicands. 2+3=5. Yet candidates regularly write this. A* candidates simplify each surd first (extract perfect-square factors) to expose any common radicand before adding.
Negative fractional indices. x−2/3=x2/31=3x21. Misreading the negative as belonging to the base ((−x)2/3) is a classic error that propagates through differentiation and integration.
Three patterns repeatedly cost candidates marks on Paper 1 rationalisation questions. They are all about presentation, not technique.
This pattern is endemic to Paper 1 surd questions: candidates know the technique, lose marks on presentation.
Surds and rational-index manipulation point directly toward several undergraduate trajectories:
Oxbridge interview prompt: "I claim that 2+3 is irrational. Prove it. Now: is the set of numbers expressible as a+b2+c3+d6 (with a,b,c,d∈Q) closed under multiplication? Under division? What does this tell you about field extensions of Q?"
A common A* trap on 9MA0-01 is to give an equation that looks exponential but reduces to a quadratic in a hidden variable. The technique is the same substitution u=ax that converts hard-looking exponential equations into routine quadratics.
Worked example: Solve 22x−5⋅2x+4=0 giving exact answers.
Let u=2x. Then 22x=(2x)2=u2. The equation becomes:
u2−5u+4=0
Factorise: (u−1)(u−4)=0, so u=1 or u=4.
Back-substitute: 2x=1 gives x=0; 2x=4=22 gives x=2.
So the exact solutions are x=0 and x=2.
Why A candidates spot this immediately:* the structure "term in a2x + term in ax + constant" is the signature of a hidden quadratic. Every time you see this pattern, substitute u=ax first. The same trick converts e2x−3ex+2=0, cos2x+cosx−2=0, and x−5x+6=0 (substitute u=x) into routine factorisations. Recognising the pattern across these contexts is exactly the synoptic skill Edexcel rewards.
A subtlety: when back-substituting, check that solutions are valid. 2x=−3 has no real solution because 2x>0 for all real x. If the substitution-quadratic produces a negative u root, reject it explicitly with the phrase "since 2x>0, we reject u=−3".
This content is aligned with the Pearson Edexcel GCE A Level Mathematics (9MA0) specification, Paper 1 — Pure Mathematics, Section 2: Algebra and functions. For the most accurate and up-to-date information, please refer to the official Pearson Edexcel specification document.
graph TD
A["Algebraic expression<br/>with surds and/or indices"] --> B{"What form?"}
B -->|"Roots"| C["Convert to<br/>fractional indices<br/>√x → x^(1/2)"]
B -->|"Reciprocals"| D["Convert to<br/>negative indices<br/>1/xⁿ → x^(−n)"]
B -->|"Surds with<br/>perfect-square factors"| E["Extract:<br/>√50 = 5√2"]
C --> F["Apply index laws:<br/>aᵐ · aⁿ = aᵐ⁺ⁿ<br/>(aᵐ)ⁿ = aᵐⁿ"]
D --> F
E --> G["Combine like surds:<br/>3√2 + 5√2 = 8√2"]
F --> H{"Final form<br/>requested?"}
G --> H
H -->|"a + b√c"| I["Rationalise denominator<br/>using conjugate"]
H -->|"x^n"| J["Leave in index form"]
I --> K["Simplify and<br/>verify exact form"]
J --> K
style I fill:#27ae60,color:#fff
style K fill:#3498db,color:#fff