Pure Mathematics 3
Deep Dive: Exponentials and Logarithmic Graphs
CODEX deep-dive: Exponentials and Logarithmic Graphs (WMA13, spec 3.1–3.3)
Provenance (2026-09-29). Read/grepped in full for this pass: research/veridian/WMA13-verified-facts.md (§1 spec text, §3 formula-booklet contents, §5.3 "Exponentials and logarithms", §6–8, §9 lesson-audit entries for this lesson); content/veridian/curriculum/wma13/exponentials-and-logarithmic-graphs.ts in full (1203 lines — mechanisms, both worked chains, the chain-drill, the marked solution, all seven trap-taxonomy items, the beyond-spec block, all six MCQs, the reference card, all 21 flashcards); content/veridian/technique-hub/wma13/codex-formula-and-method-bank.md, forge-exam-technique-guide.md and signal-frequency-and-boundaries.md in full; content/veridian/question-bank/wma13.ts (grepped — its only exponential item is a spec-4.4 differentiation question, out of this document's scope). No new primary source (PDF) was independently downloaded for this pass; every claim below is either a synthesis of facts already verified in WMA13-verified-facts.md, or an explicitly labelled VERIDIAN-original illustration. This document does not reproduce any of the lesson's worked chains, chain-drill, marked solution, MCQs or flashcards — see §7 for exactly what is additive here versus what already lives in those files.
1. Scope
Per the spec's own numbering (Specification Issue 3, April 2019, Unit P3, p.20, §3 "Exponential and logarithms"), items 3.1–3.3 name seven distinct sub-cases between them: 3.1 covers the graph of eˣ itself, together with the transformed form y = e^(ax+b) + c named in its own guidance note; 3.2 covers the graph of ln x as the inverse of eˣ, together with solving equations of the two named shapes, e^(ax+b) = p and ln(ax+b) = q ("is expected," the spec's own phrasing); 3.3 covers using a logarithmic graph to estimate the constants in y = axⁿ and, separately, in y = kbˣ, with the spec's own guidance stating outright which axis gets logged and what gradient and intercept each recover for each of the two forms. This document is organised around exactly those seven sub-cases, no more and no fewer: (1) the graph of eˣ, (2) the transformed graph y = e^(ax+b) + c, (3) the graph of ln x as the inverse of eˣ, (4) solving e^(ax+b) = p, (5) solving ln(ax+b) = q, (6) log-linearising y = axⁿ, (7) log-linearising y = kbˣ. Spec 4.4 (exponential growth/decay, differentiation of aˣ) is a sibling topic with its own lesson (exponential-growth-and-decay.ts) and its own verified-facts entries; it is deliberately excluded here even where a real question mixes both spec items in different parts (noted explicitly where it matters, §5.1 and §6).
2. What's given, what must be memorised (this sub-topic only)
Verified directly against the formula booklet's own P3 section and the spec's own "Notation and formulae" list (WMA13-verified-facts.md §3):
- Printed in the booklet, P3-specific: . Nothing else from 3.1–3.3 is printed.
- Carried forward from the P2 booklet section (so still "given," not memorised, for a P3 candidate): the change-of-base formula, .
- Not printed anywhere — must be memorised: the three log laws themselves (product, quotient, power) are not in the spec's "must memorise" list by name, but nothing in the booklet states them either; a P3 candidate is expected to already know them from P1/P2, per the spec's own prerequisite line ("A knowledge of the specifications for P1 and P2... is assumed and may be tested"). This is the reason the lesson's own second teach block exists as a from-scratch recap rather than a pointer — there is genuinely no P3-side formula-sheet support for the single most-used identity in this topic, the power law.
- Two adjacent facts belong to spec 4.4, not here, and are flagged only so they aren't confused with anything above: must be memorised (not printed), and it is the booklet-given identity that makes it derivable on demand by rewriting as and applying the (also memorised) result. Spec 3.1–3.3 never needs differentiation at all; this identity's only job inside this topic is occasionally rewriting a base- exponential in base or vice versa before applying the log-linearisation mechanism in §3.6.
3. Theory: the seven sub-cases in full
3.1 The function eˣ
is defined for every real , is strictly positive throughout (never zero, never negative), and is strictly increasing everywhere: for , , with no turning point and no point of inflection change of monotonicity. As , without ever reaching it (a horizontal asymptote at ); as , with no asymptote on that side. is the one point worth having by reflex, since it anchors both this graph and its inverse (§3.3). None of this is spec-3.1 content that needs proving from calculus — it is the graph's shape, read off directly, and the strict-increase property is the one fact the rest of this section leans on repeatedly (§3.3's inverse-existence argument, specifically).
3.2 The transformed graph
Spec 3.1's own guidance names this transformed form explicitly, so a bare "" sketch is not actually what gets examined — the transformed version is. Nothing new is needed beyond ordinary function-transformation reasoning applied to this one function: translates the whole curve vertically, carrying its asymptote from to (the term itself still tends to , so the curve still approaches a horizontal line, just a shifted one — this is a real distinction worth stating plainly, since a floor/ceiling constant like this is exactly what §5.3's domain-restriction questions turn on); and inside the exponent stretch and translate the curve horizontally, in the same combined way any does. The sign of matters for the shape (a negative flips increasing to decreasing, e.g. a decay curve ), but the mechanics of finding the asymptote and the intercept never change.
3.3 ln x as the inverse of eˣ
An inverse exists as a genuine function only where the original is one-one (a many-one function would need its inverse to return two outputs for one input). §3.1 already established is strictly increasing on the whole of , so it is one-one everywhere with no domain restriction needed first — unlike a quadratic, which needs a restricted domain before it can be inverted at all. So has an inverse defined on all of , named rather than left as " backwards." Domain and range swap directly from 's own: domain of is (the range of ), range is all of (the domain of ). Graphically, swapping the roles of input and output is exactly reflecting every point to , which is reflection in the line — so is the mirror image of in , a geometric fact true of every inverse-function pair, not a special property of this one. The defining cancellations follow: for every real ; for every .
3.4–3.5 Solving and
Both are the same single move, run in opposite directions: apply whichever function undoes the one already sitting in the equation. For : apply to both sides; the left side collapses to by the cancellation above, leaving the linear equation . For : apply to both sides instead; the left side collapses to , leaving . There is no second genuine method for either — WMA13-verified-facts.md documents no real worked example using any other route, which is exactly why the lesson deliberately carries no method-comparison block here (its own header states this reasoning). The one real subtlety worth naming as theory rather than as a trap: must be strictly positive for to have any solution at all ( always), and this is not a special case to memorise separately — it is the domain fact from §3.1 read backwards, and it is exactly the mechanism §5.3 below is built on.
3.6 Log-linearisation: two distinct sub-cases
A relationship or , with the exponent or power unknown, cannot be read directly off a plot of against — the curve's shape depends on the unknown in a way that isn't identifiable by eye. Taking logs of both sides turns each into a straight line, but which variable needs logging differs between the two forms, because the unknown sits in a different place in each:
- ( unknown, sitting as a power of ): for any valid base , by the product law then the power law. Plotting against (both axes logged) gives a straight line with gradient and intercept .
- ( unknown, sitting as the base of an exponent whose power is itself): . Plotting against unlogged gives a straight line with gradient and intercept .
The rule for which axes to log is therefore not a fact to memorise in isolation — it falls straight out of asking "is the unknown a fixed power applied to (log both), or is itself the varying exponent (log only )?" This is the one piece of theory the existing lesson states as a fact (self-explain prompt, reference card) without deriving the general principle behind it as its own named idea; stating it this way — as a diagnostic question to ask of any new relationship, not a memorised pair of recipes — is this deep-dive's own framing, not a restatement.
Base-dependence, precisely. The gradient of a log-log line is regardless of which base the logs are taken in — was already an ordinary number once the power law pulled it out of the exponent, and that number doesn't change with . The intercept of either line-type, though, is — a genuinely different number for a different — and so is the gradient of the semi-log line specifically ( changes with , unlike above, because itself is what's being logged there, not pulled out by the power law). Un-logging any intercept, or the semi-log gradient, always means raising the same base the graph was actually plotted in — never base 10 by default habit. This three-way distinction (gradient of a power-law fit is base-invariant; gradient of an exponential fit is not; no intercept ever is) is the single most exam-relevant piece of theory in the whole sub-topic, because it is the exact fact the one located base-confusion error (§5.6) turns on.
Reading a fitted equation two different ways. Once (or the semi-log equivalent) is established from two data points, there are genuinely two different tasks a question can set, not one: (i) read and (or and ) off as two separate numbers, each un-logged on its own — the ordinary case; or (ii) given the fitted linear log-equation directly, eliminate the logs algebraically in one continuous derivation to state the original relationship with no logarithm left in it anywhere — a task that needs the product and power laws run in the reverse direction from how they were used to linearise in the first place (, by exponentiating both sides and splitting the right-hand exponent as a sum). These are not the same skill wearing different numbers — (ii) is a full derivation with its own method-mark structure, confirmed in the real record to be where marks are lost even by candidates who handled (i) correctly (§5.4).
Interpreting a fitted constant without further calculation. A distinct third task, once (or ) is already found: state in words what the constant means for the model, with no arithmetic at all beyond what's already been done. For : since , the constant is the multiplier applied once per unit of — means a percentage increase of per unit; means a percentage decrease of per unit. Both directions are the same underlying fact, as a one-step multiplier, read differently depending only on which side of it falls.
4. Short worked micro-examples
These are VERIDIAN-original, illustrative only — not reproductions of any past paper, and deliberately shorter than the lesson's own worked chains (one to two lines each, one sub-case at a time, no mark scheme attached). Every number below was computed directly for this pass.
(a) Solving . (3 s.f.).
(b) Solving . (3 s.f.).
(c) Log-log fit, . A log-log plot passes through and . Gradient . Intercept , so (3 s.f.). Model: .
(d) Semi-log fit, . A semi-log plot ( against unlogged ) passes through and . Gradient , so (3 s.f.). Intercept , so (3 s.f.). Model: .
(e) Eliminating the logs entirely. Given directly : exponentiate both sides, — no separate "read , read " step at all, the whole relationship in one line.
(f) Interpreting in words (the decaying case the real Jun 2026 Q5(b) does not itself cover, since its own — see §5.5 and §6). A model fits . Since each unit-step multiplies the modelled quantity by , the constant means the quantity is decreasing by 15% per unit () — the direction word flips from "increasing" to "decreasing," and the percentage is , not , once is below .
(g) Domain restriction. A model has a genuine floor at (as , but never reaches it, so and never lower). Asked to find when : rearranging gives , which has no solution because for every real , so can never be negative — the equation breaks down before any log is even taken, not because of a rounding or algebra slip.
5. Synthesis: every real exam angle this sub-topic has actually been tested from
Grounded in WMA13-verified-facts.md §3, §5.3, §6–9 and the counts independently tabulated in signal-frequency-and-boundaries.md. Series checked for this paper across the whole research pass: 8 read in full (Oct 2020, Oct 2021, Jan 2022, Jun 2022, Oct 2022, Jun 2023, Jan 2024, Jan 2025) plus one further series added by a later citation-currency audit, Jun 2026 (mark scheme and question paper only — no examiner report exists yet for that series, checked and confirmed 404 at the mirror used). That is 9 series checked in total; counts below are stated against that total and named explicitly, never as a percentage.
5.1 Equation-solving (§3.4–3.5) embedded inside a real-world modelling story is the dominant angle. signal-frequency-and-boundaries.md's own tally: a real-world exponential/log modelling question was located in 7 of the 8 fully-reviewed series (every one except Oct 2020), plus Jun 2026 — 8 of the 9 series checked. The overwhelming majority of these questions wrap solving or (less often) inside a physical story (decay, growth, population) rather than testing the algebra bare — confirmed contexts include a gold-mine extraction decay model (Oct 2021 Q3), a tree mass/radius model (Oct 2021 Q7), an antibiotic-concentration decay model (Jan 2022 Q8), pond-area growth models (Jun 2022 Q4, Jan 2025 Q2), a charity-funding growth model (Jun 2023 Q7), a population/decay comparison model (Jan 2024 Q3), two temperature models (Jan 2024 Q5, Jan 2025 Q5) and a household-recycling growth model (Jun 2026 Q5). Scope caveat, stated plainly rather than left implicit: several of these same questions' other parts (the ones cited above for a rate-of-change or sign-drop error) are spec-4.4 differentiation, not this sub-topic — the equation-solving part of each is this sub-topic's own contribution to the question, the differentiation part belongs to the sibling lesson. No claim is made here about how many marks within each question are 3.1–3.3 specifically versus 4.4, because the verified-facts entries for several of these (Oct 2021 Q3/Q7, Jan 2024 Q3) do not break the mark allocation down to that level of detail.
5.2 Log-linear-graph parameter estimation as its own standalone question (§3.6) is real but comparatively rare. Confirmed in exactly 2 of the 9 series checked — Jun 2023 Q2 and Jun 2026 Q5 — each worth 6–7 marks and, unusually for this sub-topic, presented with no real-world story at all in the Jun 2023 case (bare and , a log-log graph in base 6) and only a thin one in the Jun 2026 case. This is worth stating as its own finding: spec 3.3's headline technique (the one the spec's own guidance describes in the most mechanical, formulaic terms of the three sub-sections) is tested far less often as a dedicated question than 3.2's equation-solving is as an embedded skill — 2 series versus 8.
5.3 Domain-restriction / "no solution" reasoning (§3.4, the or floor/ceiling case). Confirmed in exactly 1 of the 9 series — Jan 2024 Q5(d) — a genuine "explain why has no solution" question on . The real mark scheme is precise about why the explanation must be phrased the way it is: credited wordings are "which is not possible," "cannot be done," or "you cannot find the log of a negative number"; explicitly not credited are "logs cannot be negative" or "you cannot have a negative time," both named in the scheme itself as "ambiguous/incorrect statements." This is a single-series finding, not a "confirmed pattern" — honestly stated as such, matching this course's own convention for distinguishing a well-attested trap from a real-but-so-far-singular one.
5.4 Algebraic elimination of logs entirely, distinct from reading two separate constants (§3.6). Confirmed in exactly 1 of the 9 series — Jun 2023 Q2(b) — asking for "an equation, not involving logs, linking with " directly from a given , rather than reading and (or and ) off a graph as two separate un-logged numbers. The real mark scheme gives this its own two-step M1→dM1 dependency (a first correct log/index-law move, then the full elimination), and the examiner report names the dM1 as specifically where the question was most often lost even by otherwise-strong candidates: "the log rules not well understood by many students." One series is not enough to call this a recurring pattern, only a confirmed real question-type — stated at that strength and no further.
5.5 Interpreting a fitted constant in words, with no further calculation (§3.6). Confirmed in exactly 1 of the 9 series — Jun 2026 Q5(b), worth 1 mark on its own, no examiner report available yet (checked). The real mark scheme requires three components stated together (a direction word, the percentage to 2 s.f., and a per-year time unit) and names six near-miss wordings as explicitly not credited, each dropping exactly one of the three — e.g. a wording with the number and the unit but no direction ("it is changing by 19% per year"), or direction and unit but a wrong number, conflating the new total with the increase itself ("the annual increase is 119%," which is , not ). The full six-item reject list is quoted verbatim in the existing lesson's own trap-taxonomy entry and is not reproduced again here. Because this series' constant happens to be (growth), the archive contains no real, verified instance of the decaying direction being examined this way — §4(f) above supplies an illustrative micro-example for that direction precisely because the real record doesn't yet contain one; this gap is restated in §6.
5.6 Base confusion / base-choice traps on a log-linear graph (§3.6). Confirmed in exactly 1 of the 9 series — Jun 2023 Q2, a log-log graph deliberately set in base 6 rather than base 10 or base . The examiner report names the error directly: candidates "confused by log base 6" reached for base 10 or natural logs instead. The theory in §3.6 (gradient of a power-law fit is base-invariant; the intercept, and a semi-log fit's own gradient, are not) is exactly what this error breaks. A second, separate notation failure on the same real question — dropping the log notation entirely and writing a plain linear equation as if the axes weren't logged at all, or misplacing the base as a superscript — is also confirmed once, on the same question, not as an independently repeated pattern elsewhere.
5.7 Presentation traps that ride along with nearly every angle above, not specific to any one of them. Two are extremely well-evidenced across the whole WMA13 exponentials/logs archive (both already fully documented in the existing lesson's trap taxonomy, restated here only to place them correctly inside this synthesis rather than to re-argue them): a numerically correct modelling answer missing its unit or a contextual direction word, confirmed near-identically across at least 4 of the 9 series (Oct 2021, Jan 2022, Oct 2022, Jan 2025); and a correct final value reached by a calculator's built-in equation solver with no algebraic working shown, confirmed across at least 4 of the 9 series (Oct 2022, Jun 2022, Jan 2024, Jan 2025) with an explicit forward-looking warning in the Jun 2022 report that this may be penalised more strictly in future. A third, narrower one: the general "exact answer required, decimal given instead" rule lands specifically on this sub-topic whenever an equation of the form resolves to a -valued exact answer (general marking guidance, applying here rather than being unique to it).
5.8 A cross-topic cameo worth naming once. This sub-topic's own core solving mechanic — isolate the exponential term, take logs, using the stated domain constraint if one exists — recurs verbatim inside a real spec-1.2 (functions/composition) question, Jun 2026 Q2(d): with , which collapses to exactly , an instance of solved for an exact answer in the form . This is filed under spec 1.2 in WMA13-verified-facts.md and codex-formula-and-method-bank.md (the composition/domain-constraint skill is what's actually being tested), and is not pulled into this document's own worked material for that reason — but it is worth recording here that the equation-solving half of that question is drawn from precisely the mechanism in §3.4, confirming the technique's reach extends past its own named spec item.
6. What the record does not show — stated honestly rather than filled in
- No standalone "sketch the graph of eˣ / ln x / " mark-scheme item was located anywhere in the reviewed archive. Every real appearance of these graphs' shape is embedded inside a modelling or log-linear-fitting question (where the floor/ceiling or the axis-logging matters for reasoning, not a literal sketch mark), unlike spec 1.3's modulus graphs, which are directly, repeatedly tested as sketch-and-solve questions. Absence from a 9-series archive is evidence of rarity, not proof such a question has never appeared on this paper.
- The domain-restriction reasoning (§5.3) and the algebraic-elimination skill (§5.4) are each confirmed on exactly one real series. Neither should be described as "a recurring pattern" or given any implied frequency beyond "seen once in the 9 series checked" — doing otherwise would be inventing a likelihood this record doesn't support.
- The interpret-in-words skill (§5.5) has no verified real example of the decaying direction. §4(f)'s micro-example fills the theoretical gap but is explicitly not a past-paper fact.
- Jun 2026 has no examiner report yet. Every claim about that series in this document and in the existing lesson is sourced to the mark scheme and question paper only, checked as genuinely unavailable (404) rather than simply not looked for.
- Some real contexts named in §5.1 (Oct 2021 Q3, Oct 2021 Q7, Jan 2024 Q3) are recorded in the verified-facts archive only as located contexts, without a transcribed mark scheme or examiner-report quote pinning down exactly which marks are 3.1–3.3 versus 4.4. They are cited here as confirmed real contexts, not as sources for any specific mark-scheme mechanism, and no such mechanism is asserted for them above.
7. What's additive here versus the rest of the WMA13 corpus
exponentials-and-logarithmic-graphs.ts already carries the full pedagogical treatment — prequestions, both mechanism derivations, two diagrams, three full worked chains (one VERIDIAN-original, two real past-paper reproductions), a chain-drill, a marked solution with a commonWrongPath, all seven traps, a beyond-spec block on why specifically, six MCQs and 21 flashcards — and is not repeated here. codex-formula-and-method-bank.md and forge-exam-technique-guide.md already carry a compressed formula/method skeleton for this sub-topic sized to sit alongside ten other WMA13 topics in one document. What this document adds: the seven-sub-case theory written out as one continuous, exam-anchored argument rather than pedagogy-paced blocks (§3); a named general diagnostic — "is the unknown a power of , or is itself the exponent?" — for which axes to log, stated once as its own idea rather than left as two memorised recipes; the explicit three-way base-dependence rule (gradient of a power fit is base-invariant, gradient of an exponential fit is not, no intercept ever is) named as a single piece of theory rather than embedded inside a trap description; a frequency-scoped synthesis separating the ubiquitous 3.2 equation-solving skill from the comparatively rare 3.3 standalone log-linear question (§5.1–5.2), which no existing document states as an explicit contrast; and an honest inventory of exactly where the real record thins out (§6), including the one confirmed-absent question type (a bare sketch mark) and the one theoretically-necessary but not-yet-real-example sub-case (§4f/§5.5).