Technique Masterclasses

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, A=∫aby dxA=\int_a^b y\,dx, is the limit of a sum of thin vertical strips of width δx\delta x and height yy as δx→0\delta x\to0 — that is what a definite integral of yy with respect to xx means, independently of how xx happens to be written down. When xx is given as a function of a parameter, x=x(t)x=x(t), this is a straightforward change of variable inside that same integral, not a new piece of theory: dx=dxdt dtdx=\dfrac{dx}{dt}\,dt, so

A=∫aby dx=∫t=αt=βy dxdt dt,A=\int_a^b y\,dx=\int_{t=\alpha}^{t=\beta} y\,\frac{dx}{dt}\,dt,

where α\alpha and β\beta are whichever tt-values make x(α)=ax(\alpha)=a and x(β)=bx(\beta)=b. This is exactly the general change-of-variable (substitution) rule for a definite integral, standard calculus and not specific to this spec point: if gg is differentiable with continuous derivative on an interval and ff is continuous, ∫g(α)g(β)f(x) dx=∫αβf(g(t)) g′(t) dt\int_{g(\alpha)}^{g(\beta)} f(x)\,dx=\int_\alpha^\beta f(g(t))\,g'(t)\,dt. Spec 6.5 is this one theorem, specialised to f=yf=y and g(t)=x(t)g(t)=x(t) — nothing about it is a separate rule to memorise on top of substitution itself.

2.2 The one hidden requirement, stated precisely

For A=∫y dxdt dtA=\int y\,\frac{dx}{dt}\,dt to compute a genuine geometric area rather than some other number, the map from tt to xx has to be one-to-one across the interval of tt-values used — every xx in the region swept out has to come from exactly one tt. In practice this means dxdt\dfrac{dx}{dt} keeps one sign (or is zero only at isolated points) across the whole interval being integrated over, so x(t)x(t) 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 x(t)x(t) 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 x(t)x(t) 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 x(t)x(t) turns back on itself (changes monotonic direction partway through) would need to split the integral at the turning value of tt 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 ∫y dxdt dt\int y\,\frac{dx}{dt}\,dt is that same reverse-chain-rule substitution half of 6.2, with the substitution function fixed to be "whatever x(t)x(t) the question gives you" rather than one you choose. Spec 6.1's parametric volume formula, V=π∫y2 dxdt dtV=\pi\int y^2\,\frac{dx}{dt}\,dt (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 πy2\pi y^2 instead of yy. All three spec points are the same theorem (§2.1 above) wearing different integrands — f=yf=y for area, f=πy2f=\pi y^2 for volume, and "ff = 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 — xx increasing with tt: the limits carry across unchanged. When dxdt>0\frac{dx}{dt}>0 throughout the interval used, the tt-value for the smaller xx-limit is itself the smaller tt-value, so the converted limits sit in the same order as the original ones. Micro-example: x=t+1x=t+1, y=t2y=t^2, t≥0t\ge0. Then dxdt=1\frac{dx}{dt}=1; x=1⇒t=0x=1\Rightarrow t=0, x=3⇒t=2x=3\Rightarrow t=2, and A=∫02t2(1) dt=[t33]02=83A=\int_0^2 t^2(1)\,dt=\left[\frac{t^3}{3}\right]_0^2=\frac{8}{3}.

Case B — xx decreasing with tt: the limits reverse. When dxdt<0\frac{dx}{dt}<0 throughout the interval, the tt-value for the larger xx-limit is the smaller tt-value, and the converted limits must be written in the order that matches the xx-limits, not the order tt 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: x=9−t2x=9-t^2, y=ty=t, 0≤t≤30\le t\le3. Then dxdt=−2t\frac{dx}{dt}=-2t; x=9⇒t=0x=9\Rightarrow t=0, x=0⇒t=3x=0\Rightarrow t=3, so the area between x=0x=0 and x=9x=9 is A=∫t=3t=0t(−2t) dt=[−2t33]30=0−(−18)=18A=\int_{t=3}^{t=0} t(-2t)\,dt=\left[-\frac{2t^3}{3}\right]_3^0=0-(-18)=18 — independently confirmed by eliminating the parameter, y=9−xy=\sqrt{9-x}, and computing ∫099−x dx=18\int_0^9\sqrt{9-x}\,dx=18 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 CC has x=t2x=t^2, y=ty=t for 0≤t≤20\le t\le2, running from the origin to P=(4,2)P=(4,2); the straight chord ll runs from PP to (6,0)(6,0); region SS is bounded by CC, ll and the xx-axis. The area under CC (origin to PP) is ∫02t(2t) dt=[2t33]02=163\int_0^2 t(2t)\,dt=\left[\frac{2t^3}{3}\right]_0^2=\frac{16}{3}; the region under ll (a right triangle, base 22, height 22) has area 12(2)(2)=2\frac12(2)(2)=2; total area =163+2=223=\frac{16}{3}+2=\frac{22}{3}. 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 x(t)x(t) 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: x=t2+2x=t^2+2, y=3ty=3t, t≥0t\ge0. Eliminating, t=x−2t=\sqrt{x-2} so y=3x−2y=3\sqrt{x-2}, and the area between x=2x=2 and x=6x=6 is ∫263x−2 dx=16\int_2^6 3\sqrt{x-2}\,dx=16 — matching the parametric route, ∫023t(2t) dt=∫026t2 dt=16\int_0^2 3t(2t)\,dt=\int_0^2 6t^2\,dt=16, 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:

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.