Pure Mathematics 4
Deep Dive: Area Under a Parametric Curve
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 "parametric" and "6.5" (§1 spec text, §3 formula-booklet contents, §4 mark-scheme conventions, §5.6's spec-6.5 entry, §7's standalone-lesson shortlist, §8's flagged gaps); the complete lesson file content/veridian/curriculum/wma14/area-under-a-parametric-curve.ts (all 1,043 lines, both marked-solution blocks, the trap-taxonomy, and its own header disclosures); and all three existing technique-hub files for this paper — codex-formula-and-method-bank.md §2.9 and §6, forge-exam-technique-guide.md §1 and its parametric checklist, and signal-frequency-and-boundaries.md §1 and §3 — to confirm what is already written and avoid restating it. content/veridian/question-bank/wma14.ts does not exist in this repository (checked directly). Every new numeric example introduced below was independently computed and checked with sympy before being written in, following this course's standing discipline.
WMA14 · CODEX DEEP-DIVE — Area Under a Parametric Curve (spec 6.5)
What this document adds, and what it deliberately does not repeat
This is a single-topic deep-dive on spec 6.5 — "Use integration to find the area under a curve given its parametric equations" — meant to sit alongside, not inside, the existing WMA14 material. It does not reproduce the lesson file's own worked chain, chain drill, method comparison, or either of its two full marked-solution blocks (one VERIDIAN-original, one the real Jan 2026 Q7 citation) — those stay the canonical worked exemplars, and a reader who wants full past-paper-length working should go there. What follows instead is (1) the underlying mathematics stated more formally than a teaching lesson needs to, including exactly how this spec point relates to the two other integration techniques it sits next to in the spec's own numbering; (2) a structural taxonomy of the real distinct cases this technique actually splits into, each illustrated with a short, fresh micro-example (not a full mark-scheme solution); and (3) an exam-angle synthesis that states plainly how thin the real evidence for this specific spec point is, because it genuinely is the thinnest-evidenced spec point in this course's entire WMA14 facts bank, and padding that thinness with invented citations would be a worse document, not a longer good one.
1. The spec point itself, and what its own guidance clause rules in and out
Verbatim from the spec (Issue 3, April 2019, Unit P4, p.28, quoted in
WMA14-verified-facts.md §1): "Use integration to find the area under a curve given its parametric
equations." The guidance clause attached to it is doing real work and is worth separating from the
content line itself: "Students will not be expected to sketch a curve from its parametric equations."
That sentence is a constraint on the assessment, not a mathematical claim — it tells you the region's
boundary has to be reasoned about algebraically (from the given equations, domain and any named
points/lines), because a candidate cannot be assumed to have drawn the curve to see what the region
looks like. Every real and illustrative example below is built consistently with that constraint: none
of the reasoning below depends on having seen a picture, even where a diagram is offered as a teaching
aid.
2. The theory, stated at the level this deep-dive is for
2.1 Where the formula actually comes from
The plain area formula, , is the limit of a sum of thin vertical strips of width and height as — that is what a definite integral of with respect to means, independently of how happens to be written down. When is given as a function of a parameter, , this is a straightforward change of variable inside that same integral, not a new piece of theory: , so
where and are whichever -values make and . This is exactly the general change-of-variable (substitution) rule for a definite integral, standard calculus and not specific to this spec point: if is differentiable with continuous derivative on an interval and is continuous, . Spec 6.5 is this one theorem, specialised to and — nothing about it is a separate rule to memorise on top of substitution itself.
2.2 The one hidden requirement, stated precisely
For to compute a genuine geometric area rather than some other number, the map from to has to be one-to-one across the interval of -values used — every in the region swept out has to come from exactly one . In practice this means keeps one sign (or is zero only at isolated points) across the whole interval being integrated over, so is monotonic there. Every real and worked example this course has for spec 6.5 — the lesson file's own worked chain and both marked solutions, and the one real past-paper citation below — satisfies this without ever having to say so explicitly, because in each case the parameter's stated domain is exactly the stretch over which is monotonic. This is stated here, reasoned directly from what a definite integral's change-of-variable rule requires, rather than lifted from any examiner report: no primary document reviewed for this course discusses non-monotonic on a spec-6.5 question, so this deep-dive flags the requirement as real mathematics worth knowing, not as a documented exam trap. A candidate meeting a parameter domain where turns back on itself (changes monotonic direction partway through) would need to split the integral at the turning value of and treat each monotonic piece separately before combining — the same principle any change-of-variable integral needs whenever the substitution function isn't monotonic throughout, not a special parametric-curve rule.
2.3 Exactly how 6.5 relates to its two integration neighbours
The spec places three integration techniques in the same numbered list (6.1–6.5): volume of revolution,
substitution/parts, and this area formula. Spec 6.2 itself is introduced with guidance that names what
substitution and parts are: "the reverse processes of the chain and product rules respectively"
(verbatim, spec P4, §1 above). Spec 6.5's own is that same reverse-chain-rule
substitution half of 6.2, with
the substitution function fixed to be "whatever the question gives you" rather than one you
choose. Spec 6.1's parametric volume formula, (guidance: "students
should be able to find a volume of revolution, given parametric equations," spec P4 §1), is the
identical substitution again, applied to the integrand instead of . All three spec points
are the same theorem (§2.1 above) wearing different integrands — for area, for
volume, and " = whatever the question's own integrand is" for a general substitution question. This
is a genuine structural fact about the syllabus, not a coincidence of numbering: it is also exactly why
the existing lesson file's own trap-taxonomy reuses the substitution topic's documented
limits-of-integration failure as a reasoned inference for this spec point (WMA14-verified-facts.md
§5.6; area-under-a-parametric-curve.ts header) — the two techniques share a failure mode because they
share a theorem, not merely a family resemblance.
3. The real distinct cases, each with a short, fresh micro-example
Four structurally distinct cases cover every real and VERIDIAN-original spec-6.5 item this course has
built or found. The first two are genuinely distinct cases of the same technique (not separate
techniques); the third is a distinct region shape; the fourth is a distinct method choice, available
only when it happens to be quick. Every micro-example below uses fresh numbers, checked independently
with sympy, and none reproduces a value already used in the lesson file's own worked chain, chain
drill, method comparison, or marked solutions.
Case A — increasing with : the limits carry across unchanged. When throughout the interval used, the -value for the smaller -limit is itself the smaller -value, so the converted limits sit in the same order as the original ones. Micro-example: , , . Then ; , , and .
Case B — decreasing with : the limits reverse. When throughout the interval, the -value for the larger -limit is the smaller -value, and the converted limits must be written in the order that matches the -limits, not the order itself runs in (this is the lesson file's own central teaching point, and is not re-derived here — see its mechanism block). Micro-example: , , . Then ; , , so the area between and is — independently confirmed by eliminating the parameter, , and computing directly.
Case C — the region has a straight-edge component as well as a curve component. The one real
past-paper citation for this spec point (§4 below) is this case: a finite region bounded partly by the
parametric curve and partly by a straight line (there, a normal found via spec 5.1), decomposed into an
elementary area (a trapezium, computed by ordinary coordinate geometry, not integration) plus a
parametric integral over the curve's own portion of the boundary, added together — never forced into one
single parametric integral (codex-formula-and-method-bank.md §2.9, point 3). Short illustrative sketch,
with fresh numbers rather than the real question's: curve has , for ,
running from the origin to ; the straight chord runs from to ; region is
bounded by , and the -axis. The area under (origin to ) is
; the region under (a right triangle,
base , height ) has area ; total area
. This is a structural illustration only — it is not, and is not presented
as, a past-paper question or a mark-scheme-style solution.
Case D — eliminating the parameter first is quicker. Available only when inverts cleanly by hand; the lesson file's own method-comparison block already makes this exact point and is not repeated here. Micro-example, fresh numbers: , , . Eliminating, so , and the area between and is — matching the parametric route, , exactly, as it must.
4. The exam-angle synthesis, and exactly how thin it genuinely is
WMA14-verified-facts.md §5.6 and §7 both state this directly, and it is repeated here because it is
the single most important fact about this specific spec point: across the 7 series
signal-frequency-and-boundaries.md §1 counts as having received real, question-by-question mining,
exactly one primary-source Pearson item evidencing spec 6.5 has been found —
WMA14/01A, January 2026, Q7 (Publications Code WMA14_01_2601_MS, 16 marks), re-verified against the
primary-source question paper and mark scheme and cross-checked with sympy
(WMA14-verified-facts.md §5.6; the full working lives in the lesson file's second marked-solution
block). signal-frequency-and-boundaries.md §1 already logs this as "seen in 1 of 7 series checked... the
largest confirmed item in the whole facts bank" and states explicitly that a 1-of-7 count here is a
sourcing artefact, not evidence of rarity, since 6.5 is a compulsory, explicitly spec-listed skill. No
examiner's report exists yet for that series (it is the newest one reviewed), so what follows is
mark-scheme mechanics, not a documented candidate-error pattern.
What that one real question actually shows about how this spec point is examined, read structurally rather than just narrated part-by-part again:
- It was never tested in isolation. The 16 marks are split 2 (parametric coordinates, spec 3.1) + 5 (tangent/normal via parametric differentiation, spec 5.1) + 6 + 3 (the area itself, spec 6.5, split across a "show that" part and a "hence find" part). Whether spec 6.5 can also appear as a self-contained, shorter question is not established by the evidence this course has reviewed — the only real data point chains it with two other spec points into one large question, and no claim stronger than that is supported.
- The "show that" part is where the general P4 marking convention bites hardest for this technique.
WMA14-verified-facts.md§4 verifies, verbatim, that an "ag" (answer given) mark requires the entire preceding derivation to be error-free to that exact printed form, not merely equivalent to it in value — "cso... there must be no errors in this part of the question." Applied specifically to spec 6.5's own two-component structure (Case C above): both the trapezium component and the parametric-integral component have to be individually correct, added in the right order, and left in the exact printed form (there, ) for the final mark on that part — a partially correct decomposition that reaches the right number by a different route does not satisfy an "ag" mark, only reaching the printed form does. The safety-net convention §4 also verifies — quote the formula first — pays out identically here: writing down before substituting is the method mark's real anchor, confirmed general Pure-Mathematics guidance, not a spec-6.5-specific rule. - The genuinely new failure modes this spec point could introduce beyond ordinary substitution are exactly two, and only one has any documented root, both already in the lesson file's own trap-taxonomy: dropping the factor entirely (reasoned from the adjacent substitution topic's own documented "ignored the and simply wrote it as ," Oct 2021 Q6) and using the -limits directly as -limits without converting them (reasoned from the same topic's "use of the limits... instead of the limits," Oct 2022 Q7i). Both are disclosed in the source lesson as reasoned inferences from a different, adjacent spec point, not as direct evidence for 6.5 — restated here rather than softened, because overstating them as confirmed 6.5-specific errors would be exactly the kind of fabrication this course's standing discipline exists to prevent.
What this document will not do, on the strength of one question: turn "seen once, worth 16 marks"
into a frequency claim, a likelihood, or a grade-boundary-relevant statement. No grade-boundary document
has been reviewed for this paper at all (confirmed absent from the facts bank —
signal-frequency-and-boundaries.md §2), and this deep-dive introduces none. The honest summary is: one
real, richly-detailed, independently-verified data point exists for this spec point, it chains three spec
points together, and it is treated here as exactly that — one data point, not a pattern.
Sources used
research/veridian/WMA14-verified-facts.md §1 (spec text, verbatim), §3 (formula-booklet contents —
neither spec 6.5's formula nor its parametric-substitution mechanism appears in the P4 booklet section,
confirming it must be derived/applied from first principles, not looked up), §4 (mark-scheme conventions,
verbatim), §5.6 (the single real spec-6.5 citation, Jan 2026 Q7, and its full re-verification note), §7
(confirms spec 6.5 is not among the topics judged to have enough verified material for a standalone
lesson on its own evidence). content/veridian/curriculum/wma14/area-under-a-parametric-curve.ts (full
file, for what is already taught and must not be duplicated, and for its own header's evidence
disclosures). codex-formula-and-method-bank.md §2.9 and §3 P4 section, forge-exam-technique-guide.md
§1, and signal-frequency-and-boundaries.md §1–§3, all cross-checked to avoid restating their own
content. The general substitution-rule statement in §2.1 is standard calculus, not a course-specific
claim, and is included as mathematical reasoning rather than as an examiner-sourced fact. Every new
numeric example in §3 was computed and independently checked with sympy before being written in.
Not affiliated with or endorsed by Pearson Edexcel.