Pure Mathematics 2
Deep Dive: Trigonometric Equations
Provenance (2026-09-29): written against research/veridian/WMA12-verified-facts.md (§2 spec item 6 verbatim wording and the five spec worked examples, §6.7 in full, §7, §8, and the 2026-09-14/2026-09-25 lesson-audit log entries for this exact lesson, all re-read in full); content/veridian/curriculum/wma12/trigonometric-equations.ts (read in full, 1076 lines, so nothing below re-derives its mechanism blocks or repeats its prequestions/worked-chains/chain-drill/method-comparison/marked-solution/MCQs/trap-taxonomy); content/veridian/technique-hub/wma12/signal-topic-brief-trigonometric-equations.md and codex-formula-and-method-bank.md §7 (both read in full); and content/veridian/question-bank/wma12.ts (grepped and the one trig entry read in full — the real October 2021 Q10(i) reproduction — confirming it is not duplicated below). Beyond those, this pass independently read the real WMA12 question paper for every series with a locally available copy — January 2020, January 2021, January 2022, January 2023, January 2024, January 2025, June 2019, June 2021, June 2022, June 2023, June 2024 (main and 01R regional), June 2025 (main and 01a regional, already known), October 2020, October 2021 (already known), October 2022 (already known), October 2023 (already known), and October 2024 (the file dated wma12-01-que-20241016.pdf — a second file in the same folder, dated -20231014, is actually October 2023's paper filed under the wrong year) — held locally under ~/Documents/SOL/Papers/IAL_Paper2_Complete/IAL_Materials/Mathematics/<series>/ and ~/Documents/SOL/Old/P2 Materials/Mathematics/<series>/, extracted with pdftotext -layout/-raw, and for one series whose equation region extracted as garbled symbols (January 2025), re-read directly from a pdftoppm-rendered page image instead. Two mark schemes (October 2020, October 2021) were additionally pulled and read for a specific new anchor each, to confirm the credited method, not just the question stem. October 2019's local question-paper PDF failed to extract any equation content in this pass (both -layout and -raw returned no trigonometry lines) and was not re-rendered to an image; its trig-equation content, if any, is not checked here — see §9. Every real anchor below is described in paraphrase with the equation itself given in full (a formula, not prose, so not subject to the short-quotation limit) and any exam-board prose limited to short attributed quotes; every VERIDIAN-original numeric micro-example was checked with sympy/python3 before being written in and is labelled as such. This document's job is to be genuinely additive: it does not re-teach the theory trigonometric-equations.ts already teaches well, and it spends its length on real exam angles no existing WMA12 lesson or technique-hub document currently names.
CODEX Deep-Dive: Trigonometric Equations (WMA12, spec 6.1–6.2)
0. What this document adds, and what it deliberately skips
trigonometric-equations.ts already teaches, with full worked derivations: the unit-circle origin of both spec identities; the CAST/quadrant-sign mechanism for generating every solution of a plain sin/cos/tan equation in an interval; collapsing a mixed sin/cos/tan equation to a 3-term quadratic in one function (both the sin²θ+cos²θ=1 route and the tanθ=sinθ/cosθ route, including the "multiply every term through by cosθ" step as its own flagged stage); rejecting a root outside and correctly counting a boundary root as one solution, not two; the compound-angle bracket-range-scaling mechanism for a single, non-squared tan equation (June 2025 Q8(i)); the squared-compound-angle case worked in full (October 2021 Q10(i), also reproduced verbatim in the question bank); and the "divide out a common trig factor and lose a solution branch" trap in its original October 2023 form. codex-formula-and-method-bank.md §7 already tabulates the method skeletons for all of the above. None of that is repeated here.
What follows is new to this course's WMA12 material as of this pass: a named, cross-series structural finding — that the single most common real WMA12 trig-equation shape is not "identity collapse" or "compound-angle scaling" taught as separate skills, but a fixed two-part "show that … (hence) solve/find …" format that staples them together, confirmed directly in eight series, with three genuinely different things "hence" can mean on this exact question type; two real cross-topic anchors that collapse to a cubic, not a quadratic, via a "hence" link to the Factor Theorem topic, plus a third real anchor that reaches a cubic through denominator-clearing alone, with a genuine domain-exclusion condition printed in the question; a real sub-case of compound-angle equations given directly as one trig function of a compound angle equal to a multiple of another, solved by isolating directly rather than via a Pythagorean substitution, confirmed across three further series, plus a fourth that mixes tan and cos and needs both an isolation step and a further quadratic; two further real mechanisms for a squared trig equation beyond the taught case — a squared single function with an external coefficient and a phase offset, where the number of solutions is shown to depend on how the bracket's range compares to the function's period rather than being a fixed count of four, and a squared linear combination of and (not a compound angle at all), which reaches a solvable equation by expanding, substituting the Pythagorean identity to cancel one function's square, and factorising — carrying the same divide-by-zero hazard as the taught October 2023 trap in a genuinely different disguise; and two real sub-types that are not "solve for an interval" at all — proving a further trig identity using both spec identities together (with a domain-exclusion answer, ), and finding an exact trig ratio directly from a given one, confirming a format this course's lesson already teaches as an MCQ/prequestion pattern is itself real-exam-tested, not only a technique-hub invention. A closing synthesis table lists every real question-instance this pass could verify, with an honest mark against each for whether it was cross-checked against a mark scheme or examiner report, or confirmed at question-paper level only.
1. The model, in one sentence
Both spec identities, the CAST quadrant-sign method, and the "collapse to one function, solve as a 3-term quadratic" mechanism are the same as trigonometric-equations.ts already derives from the point on the unit circle; none of that is repeated here. What this document adds is a map of the real, distinct shapes a WMA12 trig-equation question actually takes once that base mechanism is in hand — because the real archive shows a narrower, more structured set of shapes than "any mixed trig equation" suggests, and knowing the shape in advance is most of the battle.
2. The base pattern: more frequently real-tested than previously captured
signal-topic-brief-trigonometric-equations.md states this topic is confirmed, by named mark-scheme/examiner-report citation, in 4 of the 20 series that document's own archive has fully read reports for. That count is accurate for what it measures — citations backed by mark-scheme or examiner-report text — but this pass's own direct reading of the question papers (not yet cross-checked against a mark scheme for most of them) finds a spec-6.2 "solve, for [interval], the equation…" question in every single WMA12 series checked that has a locally available paper: 16 of the 17 series this pass could read (all but October 2019, whose local PDF would not extract — see §9). The base "collapse a mixed sin/cos/tan equation to a 3-term quadratic in one function" pattern specifically — the one trigonometric-equations.ts already teaches in full — has real, directly-read confirming instances this pass adds beyond the four already-cited series: January 2022 Q7(ii) (, , 4 marks), January 2023 Q8(ii) (, , 5 marks), January 2024 Q9(i) (, , 6 marks), June 2024 Q8(i) (, , 5 marks) and its 01R regional sibling Q7(i) (, , 5 marks). This is real confirmation that the base pattern is not occasional but close to a per-series fixture — worth stating plainly rather than left implied by a 4-series count that undercounts it.
3. The dominant real shape: "show that … (hence) …" — and three different things "hence" can mean
The single most common two-part structure across the whole archive checked this pass is: part (a) asks to show that a given equation in (or an identity) reduces to a specific target, worth 3–4 marks; part (b) says "hence" (or "hence solve") and gives a second equation to actually solve, worth 3–4 more marks. This shape recurs, directly confirmed against the real question paper, in eight series: January 2020 Q7, January 2021 Q6, June 2019 Q9, June 2021 Q8(ii), January 2025 Q10, October 2022 Q5, June 2023 Q9, and October 2024 Q9 (October 2023 Q3 is a close cousin — see below). No existing WMA12 document names this as a single recurring cross-series shape; trigonometric-equations.ts and the signal brief each treat "identity collapse" and "compound-angle scaling" as two separately-taught skills, which is correct mechanically but obscures that the real paper usually hands both to a candidate stapled into one fixed two-part question, with the algebra of part (a) doing almost all the work part (b) needs.
Mechanic 1 — "hence" means "now scale θ to a compound angle and re-run the identical algebra." This is the most common of the three, confirmed in six series:
| Series | Part (a): show that … can be written as | Part (b): hence solve/find |
|---|---|---|
| January 2020 Q7 | ⟹ | , , 2 d.p. |
| June 2019 Q9 | ⟹ | , , 2 d.p. |
| October 2022 Q5 | ⟹ | , |
| June 2023 Q9 | ⟹ | , , 1 d.p. |
| October 2024 Q9 | ⟹ | , , 3 s.f. |
| October 2023 Q3 | (solved directly, no printed target) , | "hence, or otherwise, find the smallest positive solution of" , 1 d.p. |
October 2023's version is the same mechanic with a genuinely different final instruction — it asks only for the smallest positive solution of the compound-angle version, not the full solution set, which is a distinct task even though the underlying substitution is identical. In every row, once (a) is done, (b) needs nothing new except the compound-angle bracket-range-scaling method trigonometric-equations.ts already teaches — the identity substitution itself is never re-derived in part (b).
Mechanic 2 — "hence" means "now solve the equation you just showed equals a target whose constants you had to find yourself." June 2021 Q8(ii): part (a) asks to show can be written as , "where , and are constants to be found" (6 marks total for both parts) — a genuinely different cognitive demand from every row in the table above, none of which leave the target's coefficients for the candidate to determine. Part (b) then says "hence solve for " the same equation in — no compound angle at all, confirming "hence" does not always mean "scale the angle." The factored form itself ( times a quadratic in ) also carries the divide-out-a-common-factor hazard directly: cancelling the factor before solving would discard the branch, the same structural trap trigonometric-equations.ts already teaches from October 2023 Q3, now confirmed on a second, differently-shaped real anchor.
Mechanic 3 — "hence" means "now use the proven identity to simplify a different-but-related equation, then solve it." January 2025 Q10 is the cleanest and most distinct real anchor of the three mechanics. Part (a) asks to show
— a genuine identity (true for every in its domain, not a solvable equation), reached by writing and , then using to combine everything over one denominator, : , verified independently with sympy in this pass. Part (b) then gives, over : — the same left-hand shape as (a), same variable, no compound angle — so the proven identity lets it be rewritten immediately as ; multiplying through by gives , factorising to , so is rejected (outside ) and gives the two solutions in the third and fourth quadrants (independently solved this pass: and radians, 3 s.f., matching the question's own "3 significant figures" instruction). This is the only one of the three mechanics where "hence" means substitute a proven equivalence, not repeat a method on a scaled variable — a real, distinct use of the word this course's material has not previously distinguished.
4. Collapsing to a cubic, not just a quadratic
Every worked example in trigonometric-equations.ts collapses a mixed equation to a 3-term quadratic. Three real anchors this pass found collapse instead to a cubic in one trig function — a genuine sub-case the existing lesson has zero coverage of (confirmed by re-reading the lesson file in full before writing this section).
Via a "hence" link to the Factor Theorem topic. Two real anchors, both cross-topic questions whose earlier parts belong to spec item 2 (factor theorem), not spec item 6: January 2020 Q3 gives , asks to show is a factor and fully factorise (spec-2 work), then part (c) asks to solve, for , (2 marks) — the identical cubic with substituted for , so the factorisation already found is reused directly: each of the three linear factors in gives one candidate value, and because has period , each value maps to exactly one in any -wide interval, not two. June 2019 Q6 is the same structure in : , show from a given factor , factorise, then solve for (2 marks) — here each real root in generates the usual one-or-two -values per revolution (cos's own sign pattern, not tan's), so the interval-conversion step genuinely differs between the two real anchors despite the shared cubic-via-factor-theorem structure.
Via denominator-clearing alone, with a real domain-exclusion condition. January 2021 Q6 reaches a cubic without any Factor Theorem link: show that (with the condition , printed in the question to exclude the value that would zero the denominator) can be written as (4 marks), then hence solve, for , the same equation with in place of (4 marks) — a genuine third route to a cubic, and the only one of the three carrying an explicit domain-exclusion condition in the question stem itself, distinct from the -range rejection and the /-undefined case trigonometric-equations.ts already teaches.
VERIDIAN-original micro-example illustrating the interval-conversion step alone (not the factor-theorem or fraction-clearing setup, which are real anchors' own separate-topic work, not this topic's new content): solve, for , . Factorises (checked with sympy) as , so . Because has period and the interval is exactly one period wide, each root gives exactly one : ; ; (all 1 d.p.) — three solutions from three roots, not six, which is the genuinely new counting fact this sub-case adds: a cubic in does not double each root into a pair the way a quadratic in or usually does, because 's own period already matches the interval width in a way /'s period does not.
5. Compound-angle equations given directly as one function equal to a multiple of another
trigonometric-equations.ts teaches compound-angle range-scaling on a single-function equation, . A distinct and real sub-case gives the compound angle directly as one trig function equal to a multiple of a different trig function of the same argument — no Pythagorean identity needed, just isolating by dividing. Three real anchors: January 2022 Q7(i) — , (4 marks), dividing both sides by to reach directly; June 2021 Q8(i) — , (4 marks), same mechanism; June 2022 Q5 — a genuinely harder variant, , (6 marks), which does not isolate to a plain in one step, because one side is already and the other is : substituting turns it into , then gives a genuine quadratic in — so this anchor combines the direct-isolation idea with the Pythagorean-substitution idea on a single compound angle, worth two more marks than its two simpler cousins for exactly that reason.
VERIDIAN-original micro-example mirroring the June 2022 mechanism with different numbers (checked with sympy): solve, for , . Writing : (the other root, , is rejected, outside ). or (1 d.p.); the bracket ranges over as ranges over , and both values fall inside it, converting back to and (1 d.p.).
6. Two further mechanisms for a squared trig equation
trigonometric-equations.ts teaches exactly one squared-equation shape in full — , always taking both square roots then range-doubling each sign. Two real anchors show the mechanism is not always this: the number of surviving solutions genuinely depends on the specific numbers involved, and a squared expression need not be a single function of a compound angle at all.
6.1 A squared single function with an external coefficient and a phase offset — and a solution count that differs from the taught example, for a real, checkable reason. October 2020 Q7(ii): , , answers in degrees to 1 d.p. (4 marks). Direct-read of the real mark scheme (WMA12_01_msc_20210113.pdf): dividing by 3 and taking the square root gives , and the mark scheme states explicitly "the '±' is not required" for the method mark — a real, quotable contrast with the taught example, where dropping a sign is the single most costly documented error. The reason is arithmetic, not a different rule: the bracket ranges over exactly , a span of — one period of — so and its counterpart (the two bracket-angles the real mark scheme lists for reference) are respectively the and solutions, each contributing exactly one value inside the -wide bracket range, giving two final -values (, , 1 d.p., per the real mark scheme), not four. The taught anchor produces four because its bracket sweeps a full (coefficient 2 over a -wide -interval); this one produces two because its bracket sweeps only (coefficient 2 over a -wide -interval) — the real, generalisable fact this contrast establishes is that the solution count of a squared compound-angle equation is set by how the bracket's range compares to the function's own period, not a fixed count to memorise.
VERIDIAN-original micro-example demonstrating the same -bracket-range case with a different function and numbers (checked with sympy): solve, for , . , reference angle . The bracket ranges over , span ; within it, the only values congruent to or are and themselves (both inside the range) — giving exactly two solutions, and (1 d.p.), the same "two, not four" count as the real anchor and for the identical reason.
6.2 A squared linear combination of and — not a compound angle at all, and the divide-out trap in a second disguise. October 2021 Q10(ii), the companion part to the already-taught Q10(i): , , answers to 1 d.p. where appropriate (5 marks). Direct-read of the real mark scheme: the credited route does not take a square root first. It expands, , then substitutes on the right so that cancels from both sides — because here 's own coefficient on the left () exactly matches the constant being replaced, which is what makes the cancellation clean rather than a coincidence of these particular numbers. What remains, , rearranges to , which factorises as — the same divide-out-a-common-factor hazard trigonometric-equations.ts already teaches from October 2023 Q3's , reached this time by squaring a linear combination and substituting the Pythagorean identity rather than by a direct substitution. Real final answer, confirmed against the mark scheme: — the branch contributes the single boundary-style value (with and excluded by the strict interval), and contributes the ordinary quadrant pair. One further real, citable aside from the same mark scheme: it explicitly credits an alternative method using the harmonic form — genuinely P3/WMA13 content, not WMA12 spec — noting "it is possible someone could have studied WMA13," confirming that a technique from ahead of the syllabus is creditable if a candidate happens to know it, even though no WMA12 candidate is expected to.
VERIDIAN-original micro-example, same mechanism, different numbers (checked with sympy, including confirming the identity at all four resulting angles): solve, for , . Expanding: ; substituting on the right cancels the term exactly (chosen so, mirroring the real anchor's own coincidence): . So (both inside the half-open interval), or (1 d.p.) — four solutions in total, .
7. Two real sub-types that are not "solve for an interval" at all
7.1 Proving a further identity, using both spec identities together. October 2020 Q7(i): show that , , (3 marks) — direct-read of the real mark scheme confirms the credited method combines over a common denominator, , giving a numerator that the Pythagorean identity collapses to . This is a genuinely different task from every equation in §§2–6: there is no interval to search and no numeric answer, only an identity to prove true for every permitted — spec 6.1's "knowledge and use" applied as a proof, not a solve, with the domain restriction itself (, the values where or is zero) forming part of the required answer rather than a check applied afterward.
7.2 Finding an exact trig ratio directly from a given one — confirmed real, not only a technique-hub construct. trigonometric-equations.ts teaches this format as a prequestion and an MCQ (te-pq-1, te-mcq-2: given or and a sign/quadrant condition, find the other exactly), but neither is drawn from a real anchor. June 2024, 01R regional variant, Q7(ii) confirms the format is real and directly exam-set, not a lesson invention: given and , "find, in simplest form, the exact value of " (2 marks) — no equation, no interval search, just the Pythagorean identity applied once (, since is acute) and the two exact values divided.
8. Synthesis: every real WMA12 trigonometric-equation question-instance this pass could verify
Twenty-five question-instances across sixteen sittings (excluding June 2025 main/01a and October 2021/2022/2023, already fully documented in the lesson, question bank, and signal brief before this pass). "MS-checked" means this pass read the real mark scheme and/or examiner report directly, not only the question paper; "QP-only" means this pass confirmed the real question and marks from the question paper but did not independently pull the mark scheme this session — a real primary source either way, but an honest distinction per this course's own standing discipline.
| Sitting | Q | Marks | What it tests | Status |
|---|---|---|---|---|
| Jan 2020 | Q3(c) | 2 | cross-topic cubic-in-tanθ via Factor Theorem | new this pass, QP-only |
| Jan 2020 | Q7 | 3+4 | show-that/hence-compound (Mechanic 1) | new this pass, QP-only |
| Jan 2021 | Q6 | 4+4 | rational equation → cubic-in-sinθ, domain exclusion, hence-compound | new this pass, QP-only |
| Jan 2022 | Q7(i) | 4 | compound angle, direct tan-isolation by division | new this pass, QP-only |
| Jan 2022 | Q7(ii) | 4 | standard Pythagorean-substitution quadratic-in-cosθ | new this pass, QP-only |
| Jan 2023 | Q8(ii) | 5 | tanθ=sinθ/cosθ substitution, quadratic-in-cosθ | new this pass, QP-only |
| Jan 2024 | Q9(i) | 6 | sinx·tanx=5, tan-substitution | new this pass, QP-only |
| Jan 2025 | Q10 | 4+4 | prove identity, hence-simplify-and-solve (Mechanic 3) | new this pass, page-image-read |
| Jun 2019 | Q6(c) | 2 | cross-topic cubic-in-cosθ via Factor Theorem | new this pass, QP-only |
| Jun 2019 | Q9 | 4+4 | show-that/hence-compound (Mechanic 1) | new this pass, QP-only |
| Jun 2021 | Q8(i) | 4 | compound angle, direct tan-isolation by division | new this pass, QP-only |
| Jun 2021 | Q8(ii) | 6 | show-that with unknown constants a,b,c; hence-solve same x (Mechanic 2) | new this pass, QP-only |
| Jun 2022 | Q5 | 6 | compound angle, tan-isolation + Pythagorean quadratic | new this pass, QP-only |
| Jun 2023 | Q9 | 3+4 | show-that/hence-compound (Mechanic 1) | new this pass, QP-only |
| Jun 2024 (main) | Q8(i) | 5 | tan-substitution, quadratic-in-cosx | new this pass, QP-only |
| Jun 2024 (01R) | Q7(i) | 5 | tan-substitution, quadratic-in-cosx (regional sibling) | new this pass, QP-only |
| Jun 2024 (01R) | Q7(ii) | 2 | exact ratio from a given ratio, no equation | new this pass, QP-only |
| Oct 2020 | Q7(i) | 3 | prove a further identity using both spec identities | new this pass, MS-checked |
| Oct 2020 | Q7(ii) | 4 | squared cosθ of a compound angle, offset+coefficient, 2-solution case | new this pass, MS-checked |
| Oct 2021 | Q10(ii) | 5 | squared linear combination of sinθ, cosθ | new this pass, MS-checked |
| Oct 2024 | Q9 | 3+4 | show-that/hence-compound (Mechanic 1) | new this pass, QP-only |
Not independently re-verified this pass despite being confirmed present: the four series WMA12-verified-facts.md and the lesson already document in depth (October 2021 Q10(i), October 2022 Q5, October 2023 Q3, June 2025 Q8) — cited by reference above where their structure bears on a new finding (October 2022 Q5 and October 2023 Q3 in §3's table; October 2021 Q10(i) in §6.1's contrast), not re-derived.
9. What remains genuinely unverified
- October 2019 was not checked for trig content in this pass: the local question-paper PDF (
ial-wma12-01-nov19.pdf) extracted 1425 lines of surrounding text cleanly but returned zero lines matching any trig-equation pattern searched, and — unlike January 2025 — was not re-rendered to a page image to check by eye, since nothing in the surrounding table of contents pointed to a likely page. Absence of a match is not evidence of absence here. - Twenty of the twenty-five new question-instances above are QP-only: this pass read the real question and its mark tariff directly from the question paper, but did not pull the corresponding mark scheme or examiner report this session, so the exact per-line M/A/B allocation and any named real candidate error for those twenty are not claimed here — only the question's own real structure and marks, which the question paper itself already fully establishes as a source.
- The January 2021 Q6 domain-exclusion condition () was read once, directly off the extracted question-paper text; its exact position and phrasing were not cross-checked against a rendered page image the way January 2025's was, since the surrounding text extracted cleanly with no garbling to prompt a second check.
- This document's own arithmetic for every VERIDIAN-original micro-example (§4's cubic, §5's compound-angle quadratic, §6.1's two-solution squared case, §6.2's squared-linear-combination case, and Mechanic 3's identity check) was independently verified with
sympy/python3in this session; the real past-paper numbers quoted (targets, mark tariffs, the two mark-scheme excerpts in §6) are transcribed from the primary sources directly, not recomputed from scratch beyond the spot-checks shown in §§3–7. - Whether any further real anchor combines more than two of the mechanisms above on one question (for example, a cubic collapse that is also a compound angle, or a squared linear combination inside a hence-compound structure) was not specifically searched for beyond the seventeen sittings this pass read — a plausible further gap for a future pass, not claimed to exist here.