Pure Mathematics 4
Deep Dive: Volume of Revolution
Provenance: written 2026-09-29. Read/checked directly for this document: research/veridian/WMA14-verified-facts.md in full, with a targeted re-grep on "volume" and "6.1" (§1 spec text, §3 formula-booklet contents, §5.6's three volume-of-revolution citations, §7's synthesis entry, §8's flagged memorisation ambiguity); the complete lesson file content/veridian/curriculum/wma14/volume-of-revolution.ts (all 985 lines, including its 2026-09-14 mark-scheme audit note) so as not to duplicate its worked chain, two chain drills, method comparison, marked solution or trap-taxonomy; and the three existing WMA14 technique-hub files — codex-formula-and-method-bank.md §2.6 and §6, forge-exam-technique-guide.md §1, and signal-frequency-and-boundaries.md §1 — to confirm what each already states and avoid restating it. content/veridian/question-bank/wma14.ts was checked directly (grepped for "volume") and contains no volume-of-revolution material. Every new numeric micro-example below was computed and independently checked with sympy before being written in, following this course's standing discipline.
WMA14 · CODEX DEEP-DIVE — Volume of Revolution (spec 6.1)
What this document adds, and what it deliberately does not repeat
This is a single-topic deep-dive on spec 6.1, meant to sit alongside the existing WMA14 material, not inside it. It does not reproduce the lesson file's own worked chain (the , combined case), either chain drill, the method-comparison block, the marked solution, or the trap-taxonomy — those stay the canonical worked exemplars, and a reader wanting full mark-scheme-style working should go there. What follows instead is: (1) the disk-method derivation and its parametric extension stated more formally than a teaching lesson needs to, including exactly what each step silently assumes and how the spec point relates to its two integration neighbours; (2) a structural taxonomy of the real distinct cases this technique splits into, each illustrated with a short, fresh micro-example — including one case, explicitly flagged as such, that no primary document reviewed actually evidences, but that the same identity toolkit demonstrably still handles; and (3) an anatomy of the three real citations this topic has, read as one connected exam-angle synthesis rather than three separate bullet points.
1. The spec point itself
Spec 6.1, verbatim (Issue 3, April 2019, Unit P4 §1, quoted in WMA14-verified-facts.md §1): "Evaluation
of volume of revolution." Its guidance clause does two separate pieces of work, and each is short enough
to quote directly: " is required, but not " rules the y-axis case out of
this unit entirely, and "students should be able to find a volume of revolution, given parametric
equations" rules a parametric version explicitly in — spec 6.1 covers both, but only one axis. Neither
half is a mathematical claim about which rotation is "harder"; both are scope statements about what this
specific paper examines, and everything below stays inside that scope.
2. The theory, stated more formally than a teaching lesson needs to
2.1 The disk method as a special case of a more general principle
The lesson's own mechanism block derives by summing thin cylindrical disks and taking
a limit — correct, and not repeated here. Worth stating once, formally: that argument is the disk-method
special case of a fully general theorem, standard in any calculus course and not specific to this
spec point — if a solid's cross-sectional area at position is a known function , then
, exactly the same "sum infinitely many thin slabs" limit used for area itself, with
a slab's area in place of a strip's height. The disk method is this general theorem with ,
because rotating a boundary curve about the x-axis makes every cross-section a circle of radius . This
also gives a precise, non-circular reason no washer/two-curve variant (a solid with an inner and outer
radius, cross-section an annulus rather than a full disk) is examinable on this paper: no primary document
reviewed anywhere in WMA14-verified-facts.md mentions such a region for spec 6.1, and the spec's own
guidance clause names exactly one radius function, — not an outer-minus-inner difference — so this is
recorded here as an absence of evidence, not extrapolated into a rule about what a future paper might do.
2.2 The parametric extension, and the requirement it quietly assumes
Writing inside to get
is an ordinary change of variable, not new theory —
and, exactly as for spec 6.5's area formula, it is only a genuine volume when is one-to-one
(equivalently, monotonic — keeps one sign) across the -interval used, so every
swept out corresponds to exactly one . This course's own spec-6.5 deep-dive reasons the
identical requirement for the area formula
(codex-deep-dive-area-under-a-parametric-curve.md §2.2); it applies here without modification, because
6.1's parametric form is the same substitution theorem with a different integrand (§2.4 below). Every real
and lesson-file example for this spec point satisfies it without needing to say so — is
strictly increasing on , and every other used anywhere in the
lesson file is linear in — so, as with the area deep-dive, this is flagged here as real
mathematics worth knowing, not as a documented exam trap; no report reviewed discusses a non-monotonic
on this spec point.
2.3 Why the constant is alone, and a plausible (not documented) source of the slip
The lesson's teach block already explains, correctly, that the comes from a disk's own area formula applied once per slice, not from the of a full rotation. Worth adding, as reasoning rather than as an examiner-sourced claim: a stray is exactly the constant that genuinely does belong to two related but different formulas a student may be pattern-matching against — the surface area of revolution and Pappus's centroid theorem for a region rotated about an external axis both carry a real factor of . This is offered as one plausible account of where the specific wrong constant "" (confirmed real, Jan 2021 Q9 — see §4) might come from in a student's own head, not as something any examiner report attributes it to; no report reviewed speculates about the error's origin, only records that it happens.
2.4 Exactly how 6.1 relates to its two integration neighbours
Spec 6.2's own guidance names substitution and parts as "the reverse processes of the chain and product
rules respectively" (spec P4 §1). Once has been correctly formed, evaluating
(or its parametric form) is nothing but an application of whichever integration
technique the resulting expression needs — spec 6.2's reverse-chain-rule recognition, a partial-fractions
route (spec 6.3), or a trig identity from spec 5.1's own carried-forward booklet content. This is the
precise, structural reason Oct 2022 Q5's failure (§4 below) is a spec-6.2 failure riding on top of a
spec-6.1 setup, not a volume-specific error in its own right — and it is also exactly why 6.1's parametric
form and 6.5's area formula are the same theorem twice: and
differ only in which integrand the identical substitution is applied
to, against (codex-deep-dive-area-under-a-parametric-curve.md §2.3 makes the same point
from the area side).
2.5 The formula's memorisation status stays genuinely unresolved
WMA14-verified-facts.md §3 and §8 already establish, and this document adds nothing new to, the fact
that sits in neither the spec's own "must memorise" list (P4.2.3, narrowly the
dot-product formula) nor the formula booklet's P4 section — it exists only as the guidance text quoted in
§1 above. No report reviewed records a candidate penalised for not knowing the formula itself, only for
what happens after writing it down correctly, which is why this stays flagged as resolved-by-inference
rather than fully spec-verified.
3. The real distinct sub-cases, each with a short micro-example
Five structurally distinct cases cover every real and lesson-file item this paper's evidence supports for
this spec point, plus one case included specifically because no evidence supports it. Every micro-example
below uses fresh numbers, independently checked with sympy, and none repeats a value already used in the
lesson file's own worked chain, either chain drill, method comparison, marked solution or MCQ bank.
Case A — Cartesian, a compound that must be expanded correctly before anything else. The integration itself is routine once is right; the whole question sits on the algebra of squaring a sum or difference. Evidenced directly: Jan 2024 Q7(b) records candidates who "made no further progress, usually due to being unable to see how to square y." Fresh micro-example: on . (the cross term, , is the term most likely to be dropped), giving .
Case B — Cartesian, correct but the resulting integral needs technique recognition, not routine power-rule integration. Evidenced directly: Oct 2022 Q5 records candidates who "wasted much time pursuing incorrect methods" including integration by parts, when the examiner names the efficient route as recognising "the integrand as being the result of a chain rule differentiation." Fresh micro-example: on . , recognisable as the derivative of scaled correctly (check: ), giving — the same answer a substitution reaches, more slowly.
Case C — Parametric, a sum/difference with equal coefficients. This is the case the lesson file's own worked chain and first chain drill already cover in full (the and pairs), and Jan 2021 Q9's general finding — "there were a lot of slips in working with ... failing to show that they had used " — is the direct evidence for it. Not re-derived here: the general result is , and the full mark-by-mark treatment lives in the lesson.
Case D — Parametric, a sum with unequal coefficients on the sine and cosine terms — not evidenced by any citation reviewed, included as an honest extension of the same toolkit. Every real and lesson-file example of Case C has coefficient on both trig terms, which is exactly what lets collapse straight to . Change either coefficient and that shortcut stops working — the squared terms no longer sum to a constant on their own, and the Pythagorean identity has to be combined with power-reduction rather than used instead of it, a genuinely different piece of algebra from Case C even though it draws on the same two identities. No primary document reviewed evidences this combination for spec 6.1; it is presented here as real mathematics the technique demonstrably still handles, not as a documented exam pattern. Fresh micro-example: , , .
Applying power-reduction to the leftover gives , and
Case E — Parametric, the opposite direction: a bare double-angle term in that must be expanded to cancel against a trig , combined with an isolated power-reduction step and a non-trivial -limit. This is not a fresh micro-example here, because it is exactly the real January 2021 Q9 anchor's own structure, and the lesson file already carries the full worked version with its own (Veridian-original) numbers. What is genuinely additive is naming the anatomy explicitly: the real question (, , , bounded by the curve, the x-axis and ) needs, in sequence — solving for the upper -limit rather than being handed it directly (the mark scheme's own B1: "states or uses "); expanding so the resulting cancels against from (a dM1, per the mark scheme's own wording, "uses and proceeds to Volume"); and then power-reducing the bare left over (a second, independent dM1: "attempts to use "). Three of the question's ten marks sit on these three steps alone, none of which any of Cases A–D exercises. (These mark-scheme lines are quoted from the lesson file's own independently re-verified excerpt of the real WMA14/01 January 2021 mark scheme, not re-fetched directly for this document — see Sources Used.)
What has not been found tested. Beyond the washer/two-curve absence already noted in §2.1: no citation reviewed anywhere in the facts bank evidences a volume-of-revolution question rotated about the y-axis (the spec's own guidance rules this out directly, §1), a solid built from two separate parametric branches, or a non-monotonic requiring the integral to be split. All three are recorded here as genuine absences of evidence in the material this course has checked, not as impossibilities.
4. The exam-angle synthesis: anatomy of the three real citations
signal-frequency-and-boundaries.md §1 counts spec 6.1 as evidenced in 3 of the 7 series that
received real, question-by-question mining — January 2021, October 2022, January 2024 — the same honest
denominator used everywhere else in this course; read as a count against that small, stated denominator,
never as a probability. The one fully-detailed real item, Jan 2021 Q9, is confirmed as a 10-mark question
split 7 (part a) + 3 (part b); no primary document reviewed for this course details what part (b) actually
asks, so nothing about it is stated here beyond its mark value.
| Series & question | What Skill 1 (setup) looked like | Where Skill 2 (execution) broke down | Marks tied to the breakdown |
|---|---|---|---|
| Jan 2021, Q9 (parametric) | "Almost all candidates were able to state" correctly. | Double-angle expansion, power-reduction, and a non-trivial -limit — three separate, dependent marks (§3, Case E). Also the source of the confirmed /missing- slip (§2.3). | 3 of part (a)'s marks on the two dM1 identity steps alone; the B1 limit-finding mark is a fourth, independent point. |
| Oct 2022, Q5 (Cartesian) | Not separately commented on; the report's focus is entirely on what happens next, which is itself weak evidence setup wasn't the bottleneck there either. | Choosing integration by parts or a wrong logarithmic form over the fitting reverse-chain-rule/substitution route — a technique-choice failure, not a setup failure (§2.4, §3 Case B). | Described as costing "the majority of candidates" real time and marks; no single mark tally given in the report. |
| Jan 2024, Q7(b) | "Many wrote the correct formula" — the same pattern as Jan 2021, a second, independent series confirming Skill 1 as the step candidates reliably get right. | Squaring a compound correctly — "unable to see how to square y" — pure algebra, no calculus involved yet (§3 Case A). | Report gives no isolated mark count for this sub-step. |
Read together rather than as three isolated bullets, the pattern is specific, not generic: three different
series, three different points in the pipeline between "" and a final number, and in
two of the three (Jan 2021, Jan 2024) the setup step is directly confirmed as the part candidates reliably
get right, with the third (Oct 2022) silent on setup but focused entirely on what comes after it —
consistent with, and adding sharper detail to, the lesson file's own "two skills" framing rather than
contradicting it. No
citation reviewed anywhere in this facts bank ties a specific percentage or grade boundary to any of these
three questions, and none is invented here to fill that gap; signal-frequency-and-boundaries.md §2
confirms no grade-boundary document has been reviewed for this paper at all.
Sources used
research/veridian/WMA14-verified-facts.md §1 (spec text and guidance clause, verbatim), §3 (formula
booklet contents — confirming appears in neither the "must memorise" list nor the
booklet itself), §5.6 (all three volume-of-revolution citations: Jan 2021 Q9, Oct 2022 Q5, Jan 2024 Q7(b)),
§7 (the three-series synthesis entry), §8 (the memorisation-status ambiguity, flagged not resolved).
content/veridian/curriculum/wma14/volume-of-revolution.ts (full file, both for what is already taught and
must not be duplicated, and for its 2026-09-14 header note carrying the independently re-verified real
January 2021 Q9 mark-scheme excerpts quoted in §3 Case E and §4 above — this document did not re-fetch that
mark scheme itself). codex-formula-and-method-bank.md §2.6, §3 and §6; forge-exam-technique-guide.md
§1; signal-frequency-and-boundaries.md §1–§2 — all cross-checked to confirm what each already states and
avoid restating it. codex-deep-dive-area-under-a-parametric-curve.md §2.2–§2.3, cross-referenced directly
for the shared change-of-variable theorem and monotonicity requirement rather than re-deriving either. The
general cross-sectional-volume theorem in §2.1 and the Pappus/surface-of-revolution point in §2.3 are
standard calculus, included as mathematical reasoning, not as course-specific or examiner-sourced claims.
Every new numeric micro-example in §3 was computed and independently checked with sympy before being
written in.
Not affiliated with or endorsed by Pearson Edexcel.