Deep Dive: Surds Manipulation and Exact Answers

Provenance (2026-09-29). Read in full for this pass: research/veridian/WMA11-verified-facts.md (§1 spec table; §2 assessment structure; §3 mark-scheme conventions; §4.1's "Indices / surds" entry; the full surds-manipulation-and-exact-answers.ts mark-scheme-bullet-coverage audit log entry, 2026-09-14; and the differentiating-negative-and-fractional-indices.ts audit entry, for its independently-verified Jan 2023 Q1(b) and Jan 2025 Q5(a) anchors); the full lesson file content/veridian/curriculum/wma11/surds-manipulation-and-exact-answers.ts (all 842 lines, read to confirm exactly what it already teaches, so nothing below restates its worked chain, chain-drill, method-comparison or marked-solution); content/veridian/technique-hub/wma11/codex-formula-and-method-bank.md (§0.2 and §1.1.2, its surd-identity masterlist entry) and content/veridian/technique-hub/wma11/forge-exam-technique-guide.md (in full, for its independently-cross-checked Oct 2021 Q2 "oe" finding and its §2.4/§3 exact-answer checklist items); content/veridian/technique-hub/wma11/signal-frequency-and-boundaries.md (checked — no surds-specific frequency entry exists there to cross-reference); and content/veridian/question-bank/wma11.ts (grepped for "surd" — no worked past-paper item on this topic exists there, so no overlap to avoid on that front). Not affiliated with or endorsed by Pearson Edexcel. Every quotation below is short (under ~15 words) and attributed to a named document; no full question, mark-scheme extract or examiner-report passage is reproduced at length.

#CODEX Deep-Dive — Surds Manipulation and Exact Answers (WMA11, spec 1.2)

#What this document is, and isn't

The lesson file already teaches this content pedagogically — a full worked chain and chain-drill on rationalising a binomial denominator, a method-comparison on simplify-then-rationalise vs. rationalise-then-simplify, an 8-mark marked-solution combining surd-simplification with rationalising, six MCQs, and six trap-taxonomy entries. codex-formula-and-method-bank.md already holds the compact identity list (§1.1.2) and a four-line worked-method snippet (§2.1.7) pointing straight back at the lesson. forge-exam-technique-guide.md already covers the exam-craft side — the "show all stages" checklist item, the abbreviation glossary, the exact-answers convention.

None of those four documents does what this one does: state the complete real theory model for spec 1.2 in one place (not just the two named identities, but why they're the only two moves that exist for this topic, and how every technique — simplifying, combining, multiplying, rationalising — is a restatement of the same index law); name every genuinely distinct sub-case the spec's own wording ("use and manipulation of surds") actually covers, including two generalisations of the conjugate technique that no WMA11 document currently states explicitly (a numeric coefficient on the surd term, and a two-surd binomial denominator); give a short, original micro-example for each sub-case, using numbers that don't repeat any the lesson already uses; and close with a single consolidated ledger of every real, per-question or per-series anchor this specific skill has actually been tested from — not just the one the lesson's own worked content is built around, but four further genuine sightings currently scattered across two different lesson-audit entries in the facts bank, pulled together here for the first time.

The honest evidentiary picture, stated up front, exactly as the facts bank itself states it: spec 1.2 is a thin-evidence topic compared with, say, the discriminant or the quadratic formula. Only one series (Summer 2024) has been found with a genuinely dedicated rationalising-a-denominator question; everything else below is either a general marking convention (verified verbatim across two series) or a real sighting of the underlying skill — surd simplification, surd combining, exact-surd output — inside a question whose main topic is something else. This document does not stretch that into more than it is. Where a sub-case below has no real per-question anchor at all, it says so, exactly as the lesson's own trap-taxonomy already does for five of its six entries.

---

#Part 1 — What a surd actually is, and the two laws that generate every technique below

A surd is a root — on this paper, always a square root — whose value is a real number that cannot be written as a whole number or a terminating/recurring decimal: it is irrational. √4 is not a surd once evaluated, because it equals the rational number 2 exactly; √2, √5, √7 are surds because no such exact rational value exists for them. This is the reason "exact value" and "surd" function as near-synonyms on this paper's mark schemes (Part 7 below): a surd literally cannot be written exactly as a decimal of any finite length, so the only exact way to write it down is to leave the root sign in place.

Spec 1.2 is stated in the specification as one line: "Use and manipulation of surds (rationalising denominators)" (verbatim, spec P1.3, transcribed in WMA11-verified-facts.md §1). Structurally, every technique this topic contains is one of exactly two index laws — already familiar from spec 1.1 — rewritten with a square-root symbol instead of a fractional exponent:

• √a × √b = √(ab), for a, b ≥ 0 — this is aᵗ × bᵗ = (ab)ᵗ with t = ½, since √a ≡ a^(1/2).
• √a ÷ √b = √(a/b), for a ≥ 0, b > 0 — the corresponding division law at the same exponent.

Nothing else is needed. Simplifying a surd (Part 2) is the first law read right-to-left. Combining surds (Part 3) borrows nothing from either law — it is plain like-term collection, exactly as in ordinary algebra, once the surd parts match. Multiplying surd expressions (Part 4) is the first law read left-to-right, repeatedly. Rationalising (Parts 5–6) uses the fact that √b × √b = b — the special case a = b of the first law — to turn an irrational denominator into a rational one. A student who has genuinely internalised these two laws has the entire mechanical content of spec 1.2; everything below is that mechanism applied to a specific shape of expression.

---

#Part 2 — Simplifying a single surd: the largest-square-factor law

The technique. Write the number under the root as (largest perfect square) × (what's left), then split with the multiplication law: √(k²m) = √(k²)·√m = k√m. The word "largest" is load-bearing — see the lesson's own square-factor-extraction-stopped-early trap-taxonomy entry for the consequence of stopping early, which this document does not re-derive.

Original micro-example (not the lesson's √72 or √150): simplify √200. The perfect-square factors of 200 are 1, 4, 25 and 100; 100 is the largest, since 200 = 100 × 2. So √200 = √100 × √2 = 10√2. Verified: 10√2 ≈ 14.142 and √200 ≈ 14.142, matching. A second, smaller instance of the same law: √128 = √(64×2) = 8√2.

No real per-question anchor exists specifically for the single-surd-simplification step in isolation — every real anchor found for this general skill (Part 7 below) tests it inside a larger question (a hidden-quadratic solution, a discriminant boundary), never as a standalone "simplify √k" instruction. That is a genuine, disclosed absence, not a gap this document fills with an invented citation.

---

#Part 3 — Combining surds: like terms, once the surd parts genuinely match

The technique. a√n ± b√n = (a±b)√n, for the same reason 3x ± 5x = 8x works — both are collecting a shared factor, here √n rather than a variable. The one real difficulty is that two surds must be reduced to their simplest form before you can tell whether they share a surd part at all; two surds that are already both simplest-form but carry different radicands (a√2 and b√3) never combine, no matter how the coefficients are chosen.

Original micro-example (not the lesson's √8+√18, √20+√45, or √75−√12): simplify √48 − √27. √48 = √(16×3) = 4√3; √27 = √(9×3) = 3√3. Once both carry √3, the subtraction is 4√3 − 3√3 = √3. Verified: 4√3 ≈ 6.928, 3√3 ≈ 5.196, difference ≈ 1.732 = √3, matching. A second instance with a different underlying surd: √52 + √117 = 2√13 + 3√13 = 5√13.

No real per-question anchor exists for this step in isolation either, for the same reason as Part 2 — real WMA11 questions combine surds as one step inside a longer calculation (the lesson's own marked-solution part (a), and the differentiation-context anchor in Part 7 below), never as a standalone "add these two surds" instruction on its own.

---

#Part 4 — Multiplying and expanding surd expressions

This sub-case is real spec 1.2 territory — "manipulation of surds" is general, not limited to simplifying and rationalising — but it is the one sub-case in this document with the least direct per-question backing; it is included because the lesson's own marked-solution part (c) already requires exactly this skill (monomial × binomial: 3√3 × (10+5√3)) and because rationalising itself (Parts 5–6) is a special case of it, so stating the general rule explicitly closes a real gap between what the lesson uses and what it names.

Monomial × monomial is the multiplication law read left-to-right: √5 × √20 = √100 = 10 — two different-looking surds multiplying to a whole number whenever their radicands multiply to a perfect square, exactly the mechanism the conjugate move (Part 6) depends on.

Binomial × binomial, expanded the same way an algebraic bracket expansion is: (2+√3)(5−√3) = 2×5 + 2×(−√3) + √3×5 + √3×(−√3) = 10 − 2√3 + 5√3 − 3 = 7 + 3√3. Verified: 7+3√3 ≈ 12.196, matching the product directly. Two of the four terms here are "mixed" (one rational factor, one surd factor) and stay as surd terms; the other two are "pure" (both rational, or both the same surd squared) and combine into the rational part of the answer — this is the general pattern the conjugate technique exploits by choosing the two binomials so that the mixed terms specifically cancel.

Squaring a binomial surd is the same expansion with both brackets identical: (3+√2)² = 9 + 3√2 + 3√2 + 2 = 11 + 6√2 — a real trap sits here that is genuinely distinct from anything already in the lesson's own trap-taxonomy: (3+√2)² is not 9+2=11 (squaring each term separately and dropping the cross term), and it is not 9+(√2)² = 9+2 either — both drop the 6√2 cross term that (a+b)² = a²+2ab+b² requires. This specific trap has no real per-question WMA11 anchor found in this pass — it is reasoned directly from the structure of the identity, exactly as the lesson's own wrong-multiplier-leaves-a-cross-term-standing entry is, and is flagged here on the same honest basis rather than dressed up with an invented citation.

---

#Part 5 — Rationalising a monomial (single-term) denominator

The base technique, already fully worked in the lesson (method-comparison block, √12 example): multiply top and bottom by the surd itself. a/√b × √b/√b = a√b/b.

The genuine generalisation this document adds: the same move when the denominator's surd carries its own numeric coefficient, c√b rather than a bare √b. The multiplier is still just √b — not c√b — because only the root itself, not the whole denominator, needs to become rational.

Original micro-example: rationalise 5/(2√3). Multiply top and bottom by √3 only: 5/(2√3) × √3/√3 = 5√3/(2×3) = 5√3/6. Verified: 5√3/6 ≈ 1.443 and 5/(2√3) ≈ 1.443, matching. A second instance: 7/(3√5) × √5/√5 = 7√5/15.

The real trap this generalisation exposes, genuinely distinct from anything the lesson's own trap-taxonomy names for the monomial case (which only covers dropping the denominator, or cancelling the surd away entirely): multiplying by 2√3/2√3 instead of √3/√3 does not go wrong exactly, but it squares the coefficient unnecessarily (denominator becomes 2²×3 = 12, needing an extra cancellation step the smaller multiplier avoids) — reasoned from the arithmetic itself, not from a specific examiner-report finding, and flagged as such.

---

#Part 6 — Rationalising a binomial denominator: the conjugate, generalised

The base technique, already fully worked in the lesson (worked-chain, chain-drill, marked-solution part (b)): for a denominator p ± √q, multiply top and bottom by the conjugate p ∓ √q, using (p+√q)(p−√q) = p² − q to cancel the cross terms via the difference of two squares.

The first genuine generalisation this document adds: a numeric coefficient on the surd term, p ± c√q rather than p ± √q. The conjugate is still formed the same way — same two terms, opposite sign in the middle — and the identity generalises to (p+c√q)(p−c√q) = p² − c²q (note the coefficient is squared, not just carried through, because (c√q)² = c²q).

Original micro-example (a denominator shape the lesson never uses — every binomial denominator in the lesson has a coefficient of exactly 1 on its surd term): rationalise 1/(2+3√2). Conjugate: 2−3√2. Denominator: (2+3√2)(2−3√2) = 2² − (3√2)² = 4 − 9×2 = 4 − 18 = −14. Numerator: 1×(2−3√2) = 2−3√2. Result: (2−3√2)/(−14) = (3√2−2)/14. Verified: (3√2−2)/14 ≈ 0.1602 and 1/(2+3√2) ≈ 0.1602, matching. A genuine, worth-naming trap this shape exposes on its own: the denominator here comes out negative (−14), which the single-coefficient case (p±√q, where p²−q is far more often positive on a typical exam-style number) rarely produces — a student who has only drilled the coefficient-1 case may not expect a negative rational denominator and "fix" it by flipping a sign that was never wrong. Reasoned directly from this worked instance, not from a specific examiner-report finding.

The second genuine generalisation this document adds: a denominator that is two different surds, √a ± √b, rather than a rational number plus a surd. The conjugate is formed the same way — same two terms, opposite sign — and (√a+√b)(√a−√b) = a − b directly, with no squaring step needed at all, since each term is already a square root.

Original micro-example: rationalise 1/(√7−√3). Conjugate: √7+√3. Denominator: (√7−√3)(√7+√3) = 7−3 = 4. Numerator: 1×(√7+√3) = √7+√3. Result: (√7+√3)/4. Verified: (√7+√3)/4 ≈ 1.0945 and 1/(√7−√3) ≈ 1.0945, matching.

Neither generalisation has a real per-question WMA11 anchor found in this pass. The one real rationalising anchor this paper has (Part 7, row 1) uses the coefficient-1, rational-plus-surd shape throughout (√3−1 as the denominator) — both generalisations above are stated because they are genuine, correct extensions of the identity the real anchor already uses, and because a "manipulation of surds" spec line does not restrict itself to the one shape that happens to have been examined so far, but neither is dressed up with an invented citation it does not have.

---

#Part 7 — The exact-value convention, and why this skill recurs outside its own topic

This is the section that most directly earns this document its place alongside the lesson rather than inside it: the lesson's own real anchor (below, row 1) is the only dedicated rationalising question found anywhere in the archive searched, but the underlying skill — simplify or combine a surd, and show the step that does it, rather than jump straight to a correct final answer — recurs as the exact final step of questions whose main topic is somewhere else on the paper entirely. Pulling these together in one place is the genuinely new synthesis this document contributes.

The general convention itself, verified verbatim against two independent series' real mark scheme PDFs (WMA11-verified-facts.md §3, "General Principles for Pure Mathematics Marking"): "marks will normally be lost if the candidate resorts to using rounded decimals" where an exact answer or surd working is required. A second, related convention from the same section: unsupported working may not gain full credit — "if it could be done 'in your head'" is the explicit standard the mark scheme itself states for how much intermediate working has to be visible.

Row 1 — the dedicated anchor. Summer 2024, Q2(ii) (already the lesson's own real anchor, not reproduced at length here): solve an equation whose solution requires collecting terms, isolating x, and rationalising the resulting binomial-denominator fraction to reach an answer of the form p+q√3. The real mark scheme's own worked "insufficient work" example shows a solution that states the conjugate multiplication but jumps straight to the correct final answer with no expansion line shown — scoring the two method marks but not the final accuracy mark. The real examiner report confirms this cost marks in practice, not just in the scheme's wording.

Row 2 — the same skill, a different topic entirely. Jan 2023 Q1(b) (a differentiation question, spec 4.2/4.3 — audited independently in differentiating-negative-and-fractional-indices.ts's own facts-bank entry, not this lesson's): having found dy/dx and substituted x=2 to reach 5/√2 − 3√2, the real mark scheme's own worked contrast states that writing the final answer directly as −1/√2 with no intermediate line scores M1A0, while showing the combining step — (5/2)√2 − 3√2 = −1/√2 — scores M1A1. This is the identical mark-scheme discipline as Row 1 (a correct final surd loses the accuracy mark without a shown intermediate step), independently confirmed on a completely different spec strand, two series apart. It is real evidence that this is a paper-wide marking discipline attached to any surd-combining step, not a quirk of one rationalising question — and it was deliberately not written into this lesson's own trap-taxonomy on an earlier pass specifically so a later document could cite it directly without the risk of an unverifiable-at-the-time citation; this document is that later use.

Row 3 — an exact surd as the final, unrationalised answer. Oct 2021 Q2 (also a differentiation question — solving a quartic derived from a gradient condition down to x²=1/5): the real mark scheme's own final accuracy mark is stated as x = ±1/√5, "or exact equivalent" (confirmed independently by the FORGE guide's own primary-source check, §2.6). This is a genuine, useful counter-example to a naive "always rationalise" rule: the mark scheme accepts the un-rationalised form outright, because the question asked only for an exact value, not for a rationalised or any other specific form. The real, evidence-based rule is narrower than "always rationalise": rationalise only when the question's own wording demands a specific form (as Row 1's "giving your answer in the form p+q√3" does) — otherwise, any exact algebraically-equivalent surd expression is acceptable.

Row 4 — a surd as the required exact output of a discriminant-boundary question. Jan 2019 Q9 (a discriminant-with-parameter question, spec 1.4 — a single 7-mark question, re-verified directly from the primary sources): the real mark scheme's accuracy mark for the critical boundary values is stated as c = 5 ± 2√6, exact. Independently verified for this document: the quadratic in x that the question reduces to is 2x²+(5−c)x+3=0; its discriminant, (5−c)²−24, set to zero at the boundary gives (5−c)²=24, so 5−c=±√24=±2√6 and c=5∓2√6 — matching the real mark scheme's own stated answer exactly. This is the discriminant topic's own final step landing on an unsimplified-√24-vs-simplified-2√6 choice — the same "simplify before you stop" discipline as Part 2, on a completely different spec point.

Row 5 — a surd requiring simplification inside a hidden-quadratic solution. Oct 2019 Q8 (a hidden-quadratic-via-substitution question, spec 1.5/1.6, logged in the facts bank as adjacent supplementary evidence rather than written into the lesson, to avoid an over-specific citation for a technique outside this lesson's declared scope): substituting u=√x into x−6√x+4=0 gives u²−6u+4=0, solved by the quadratic formula to u=3±√5, then squared back to x=u²=14±6√5. The real mark scheme's own accuracy mark requires this simplified form specifically, not the equally-correct but unsimplified x=14±√180 (independently verified for this document: √180=√(36×5)=6√5, confirming the two forms are the same number). This is Part 2's largest-square-factor law, tested as the final step of a question whose main topic is substitution, not surds.

Row 6 — a lower-confidence, categorical finding. Three further series (Oct 2022, June 2022, and a WMA11/01R reserve paper filed locally as "June 2024") were found, by a full-paper grep for "surd," "rationalis," "denominator" and "conjugate," each containing a coordinate-geometry or simultaneous-equations question asking for an answer "in simplified surd form" as a side effect of solving — not a dedicated rationalising question. This pass did not re-extract the specific questions or mark schemes for these three sightings (the facts bank's own audit did not either); they are named here at the same categorical, no-further-detail level the facts bank itself uses, not stretched into a false precision this document cannot support.

One real, confirmed, and deliberately excluded boundary. The facts bank's own §4.1 "Indices / surds" entry (Jan 2023 Q5, Jan 2025 Q4, Jan 2019 Q2 — a "hidden quadratic" substitution question type, spec 1.1/1.5/1.6) is not a spec-1.2 surds-manipulation question and is not counted as a row above, exactly as the lesson's own header already states. It is named here only as a boundary marker: a student searching past papers for "surds" by eye will find these three series too, and needs to know they test a different skill (stopping at the substituted variable, mismapping an exponent during substitution) before assuming they belong to this topic.

---

#Every real exam angle this topic has actually been tested from — consolidated ledger

Read every row as "seen in the series named," never as a probability or a frequency claim beyond what is stated — this document invents no likelihood percentage and no grade boundary anywhere, per this course's standing discipline.

Cross-cutting observations, each traceable to a specific row above, none invented:

• The "shown intermediate step" discipline is confirmed on two independent spec strands, two series apart (rows 1 and 2) — this is real evidence of a paper-wide marking convention attached to the skill of combining or rationalising a surd, not a rule specific to the one dedicated surds question this paper has produced so far.
• "Exact value" does not mean "rationalised." Row 3 is a genuine, sourced counter-example to the assumption that every surd answer must end up with a rational denominator — the real, narrower rule is that the question's own stated form governs, and a rationalised form is only mandatory when asked for.
• This skill's most common real appearance on this paper is as the last step of a question whose main topic is elsewhere (rows 2–5 all sit inside differentiation, discriminant or hidden-quadratic questions), not as a standalone surds question — of the six rows above, only one (row 1) is a dedicated spec-1.2 question.
• No real per-question anchor exists for four of this document's own named sub-cases: multiplying or squaring a surd binomial (Part 4), a numeric coefficient on a monomial denominator's surd (Part 5), and both conjugate generalisations — coefficient on the surd term, and a two-surd binomial denominator (Part 6). Each is included because it is genuine, correct spec-1.2 content and a real gap between what the lesson's own worked examples use and what has been named explicitly — not because a past-paper sighting was found and is being withheld or overstated.
• No grade-boundary document and no likelihood figure for this topic specifically appear in anything reviewed for this document or for the facts bank's own audit — none is stated here for that reason.

---

The "hidden quadratic" substitution question type (Jan 2023 Q5, Jan 2025 Q4, Jan 2019 Q2) is real, frequently tested, and explicitly not spec-1.2 surds content — see the boundary note in Part 7. It already has its own dedicated coverage in hidden-quadratic-substitution.ts and is not duplicated here.