Technique Masterclasses

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 x=tan⁡θx=\tan\theta, y=sin⁡2θy=\sin2\theta 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: "π∫y2 dx\pi\int y^2\,dx is required, but not π∫x2 dy\pi\int x^2\,dy" 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 V=π∫y2 dxV=\pi\int y^2\,dx 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 xx is a known function A(x)A(x), then V=∫abA(x) dxV=\int_a^b A(x)\,dx, 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 A(x)=πy2A(x)=\pi y^2, because rotating a boundary curve about the x-axis makes every cross-section a circle of radius yy. 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, yy — 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 dx=dxdθ dθdx=\frac{dx}{d\theta}\,d\theta inside V=π∫y2 dxV=\pi\int y^2\,dx to get V=π∫αβy2dxdθ dθV=\pi\int_\alpha^\beta y^2\frac{dx}{d\theta}\,d\theta 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 x(θ)x(\theta) is one-to-one (equivalently, monotonic — dxdθ\frac{dx}{d\theta} keeps one sign) across the θ\theta-interval used, so every xx swept out corresponds to exactly one θ\theta. 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 — x=tan⁡θx=\tan\theta is strictly increasing on [0,π2)\left[0,\frac{\pi}{2}\right), and every other x(θ)x(\theta) used anywhere in the lesson file is linear in θ\theta — 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 x(θ)x(\theta) on this spec point.

2.3 Why the constant is π\pi alone, and a plausible (not documented) source of the 2π2\pi slip

The lesson's teach block already explains, correctly, that the π\pi comes from a disk's own area formula applied once per slice, not from the 2π2\pi of a full rotation. Worth adding, as reasoning rather than as an examiner-sourced claim: a stray 2π2\pi 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 2π2\pi. This is offered as one plausible account of where the specific wrong constant "2π∫y2 dx2\pi\int y^2\,dx" (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 y2y^2 has been correctly formed, evaluating π∫y2 dx\pi\int y^2\,dx (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: V=π∫y2dxdθ dθV=\pi\int y^2\frac{dx}{d\theta}\,d\theta and A=∫ydxdθ dθA=\int y\frac{dx}{d\theta}\,d\theta differ only in which integrand the identical substitution is applied to, πy2\pi y^2 against yy (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 π∫y2 dx\pi\int y^2\,dx 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 yy that must be expanded correctly before anything else. The integration itself is routine once y2y^2 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: y=x2−1xy=x^2-\frac1x on [1,2][1,2]. y2=x4−2x+1x2y^2=x^4-2x+\frac1{x^2} (the cross term, 2⋅x2⋅1x=2x2\cdot x^2\cdot\frac1x=2x, is the term most likely to be dropped), giving V=π[x55−x2−1x]12=37π10V=\pi\left[\frac{x^5}5-x^2-\frac1x\right]_1^2=\frac{37\pi}{10}.

Case B — Cartesian, correct y2y^2 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: y=3xx2+4y=\frac{\sqrt{3x}}{x^2+4} on [0,2][0,2]. y2=3x(x2+4)2y^2=\frac{3x}{(x^2+4)^2}, recognisable as the derivative of −32(x2+4)−1-\frac32(x^2+4)^{-1} scaled correctly (check: ddx[−32(x2+4)−1]=3x(x2+4)−2\frac{d}{dx}\left[-\frac32(x^2+4)^{-1}\right]=3x(x^2+4)^{-2}), giving V=π[−32(x2+4)]02=3π16V=\pi\left[-\frac{3}{2(x^2+4)}\right]_0^2=\frac{3\pi}{16} — the same answer a u=x2+4u=x^2+4 substitution reaches, more slowly.

Case C — Parametric, a sum/difference y(θ)y(\theta) with equal coefficients. This is the case the lesson file's own worked chain and first chain drill already cover in full (the sin⁡θ+cos⁡θ\sin\theta+\cos\theta and cos⁡θ−sin⁡θ\cos\theta-\sin\theta pairs), and Jan 2021 Q9's general finding — "there were a lot of slips in working with y2y^2... failing to show that they had used sin⁡2θ=2sin⁡θcos⁡θ\sin2\theta=2\sin\theta\cos\theta" — is the direct evidence for it. Not re-derived here: the general result is (sin⁡θ±cos⁡θ)2=1±sin⁡2θ(\sin\theta\pm\cos\theta)^2=1\pm\sin2\theta, and the full mark-by-mark treatment lives in the lesson.

Case D — Parametric, a sum y(θ)y(\theta) 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 11 on both trig terms, which is exactly what lets sin⁡2θ+cos⁡2θ\sin^2\theta+\cos^2\theta collapse straight to 11. 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: x=θx=\theta, y=sin⁡θ+2cos⁡θy=\sin\theta+2\cos\theta, 0≤θ≤π40\le\theta\le\frac{\pi}{4}.

y2=sin⁡2θ+4sin⁡θcos⁡θ+4cos⁡2θ=(sin⁡2θ+cos⁡2θ)+3cos⁡2θ+4sin⁡θcos⁡θ=1+3cos⁡2θ+2sin⁡2θ.y^2=\sin^2\theta+4\sin\theta\cos\theta+4\cos^2\theta = (\sin^2\theta+\cos^2\theta)+3\cos^2\theta+4\sin\theta\cos\theta = 1+3\cos^2\theta+2\sin2\theta.

Applying power-reduction to the leftover 3cos⁡2θ=32(1+cos⁡2θ)3\cos^2\theta=\frac32(1+\cos2\theta) gives y2=52+32cos⁡2θ+2sin⁡2θy^2=\frac52+\frac32\cos2\theta+2\sin2\theta, and

V=π∫0π/4(52+32cos⁡2θ+2sin⁡2θ)dθ=π[5θ2+34sin⁡2θ−cos⁡2θ]0π/4=π(14+5π)8.V=\pi\int_0^{\pi/4}\left(\frac52+\frac32\cos2\theta+2\sin2\theta\right)d\theta=\pi\left[\frac{5\theta}2+\frac34\sin2\theta-\cos2\theta\right]_0^{\pi/4}=\frac{\pi(14+5\pi)}{8}.

Case E — Parametric, the opposite direction: a bare double-angle term in yy that must be expanded to cancel against a trig dxdθ\frac{dx}{d\theta}, combined with an isolated power-reduction step and a non-trivial θ\theta-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 (x=tan⁡θx=\tan\theta, y=2sin⁡2θy=2\sin2\theta, θ≥0\theta\ge0, bounded by the curve, the x-axis and x=3x=\sqrt3) needs, in sequence — solving tan⁡θ=3\tan\theta=\sqrt3 for the upper θ\theta-limit rather than being handed it directly (the mark scheme's own B1: "states or uses tan⁡θ=3⇒k=π/3\tan\theta=\sqrt3\Rightarrow k=\pi/3"); expanding sin⁡2θ\sin2\theta so the resulting cos⁡2θ\cos^2\theta cancels against sec⁡2θ\sec^2\theta from dxdθ\frac{dx}{d\theta} (a dM1, per the mark scheme's own wording, "uses sin⁡2θ=2sin⁡θcos⁡θ\sin2\theta=2\sin\theta\cos\theta and proceeds to Volume"); and then power-reducing the bare sin⁡2θ\sin^2\theta left over (a second, independent dM1: "attempts to use sin⁡2θ=(1−cos⁡2θ)/2\sin^2\theta=(1-\cos2\theta)/2"). 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 x(θ)x(\theta) 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 & questionWhat Skill 1 (setup) looked likeWhere Skill 2 (execution) broke downMarks tied to the breakdown
Jan 2021, Q9 (parametric)"Almost all candidates were able to state" π∫y2 dx\pi\int y^2\,dx correctly.Double-angle expansion, power-reduction, and a non-trivial θ\theta-limit — three separate, dependent marks (§3, Case E). Also the source of the confirmed 2π2\pi/missing-π\pi 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 yy 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 "V=π∫y2 dxV=\pi\int y^2\,dx" 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 π∫y2 dx\pi\int y^2\,dx 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.