IGCSE · Pearson Edexcel · 4MA1

Build simple geometric proofs with vector identities

Write simple geometric proofs as complete vector identities, with midpoint positions, correctly directed opposite sides and nondegeneracy conditions checked explicitly.

Pearson 4MA1 · Additional Higher · Vectors · Additional Higher 5.1B / Additional Higher 5.1C / Additional Higher 5.1D / Additional Higher 5.1G

Exam scope and assessment notes

All nine lessons are additional Higher only: section5.1 has seven H5.1A–G rows and no Foundation vector rows. Retain directed endpoint order, signed and zero-vector exceptions, exact components and final-only rounding. Formal lists of two to four coefficients are planar position-vector identities, not independent spatial axes. Complete geometric arguments need their hypotheses and human review; numerical agreement or a text-entry attempt does not approve proof, marks or mastery. Linear4MA1 Issue2 is checked against November2026/June2027 entries; June regional options depend on centre eligibility and modular awards remain separate. Literal Book2 Shape and Space10 H5.1A–G and Hubs167/168/169 links are navigation only. Map427–450 conflicts with proof426/summary449/next450. The Vectors chapter and Hub bodies are unavailable; no Book1 tag, full-book, specialist or formal-assessment approval is inferred.

Before you begin

Use midpoint positions and directed vector subtraction.
Recognise nondegenerate triangles, diagonals and boundary order.
Apply distributive algebra to symbolic planar vectors.

Work on paper. Try each question before revealing help, and explain why your method works.

Quick readiness check

For boundary order A,B,C,D, which directed equality correctly matches one pair of opposite sides in a parallelogram?

What you will learn

Derive midpoint side identities and connect them to parallel direction and half length.
Establish a parallelogram from equal opposite directed sides or coincident diagonal midpoints.
Keep symbolic planar position identities separate from independent-coordinate assumptions.

OAB is a nondegenerate triangle with OA=a, OB=b. M and N are midpoints of OA and OB. Use vectors to prove MN is parallel to AB and half its length.

Draw every requested ordered arrow and enter your own quantities, methods and reasons. Only the stated prompt supplies numerical facts. A symbolic figure is a planar illustration, not extra coordinate givens.

Active arrow

Whole view turn °

The planar x and y directions use equal drawing scale. Blue arrows are supplied operands; amber arrows are actual learner records; dashed amber is unfinished draft work. A point with coincident tail and head represents the zero vector and has no direction.

This is an illustrative planar pose. Its numerical coordinates, lengths and apparent angles are not additional givens. Formal arrays of two to four symbol coefficients are algebraic identities, never three- or four-dimensional geometry. Only the question states the actual hypotheses.

Actual ordered arrows, zero points and retained drafts do not certify written proofs, marks, mastery or formal assessment.

Construct my actual ordered MN arrow; retain both endpoints, including a coincident zero result.

No actual arrow recorded for this action.

Which endpoint am I placing?Board point mode

A named pick uses the exact current supplied point or your current clean recorded endpoint. A free click records its labelled micro-unit grid point; exact keyboard fractions remain exact. No endpoint is snapped to a requested result or intersection. A zero vector has coincident endpoints and no defined nonzero direction.

My tail: not placed.

My head: not placed.

Place both your actual ordered tail and head. No endpoint is supplied from a reference. All actual points and raw strings remain yours; no endpoint is invented.

Choose my own illustrative planar source pose

This changes only an illustrative coordinate witness. Enter every permitted origin and source-vector component explicitly before Apply. These coordinates do not become new problem givens or alter formal coefficients. Requested resultant or intersection points are never pose inputs.

My source origin O

O, xO, y

My planar source vector a

a, xa, y

My planar source vector b

b, xb, y

My quantities, directed method and reasons

My MN coefficients in a,b (formal planar identity, not spatial coordinates)

Enter exactly 2 coefficients in the labelled order a, b, separated by semicolons. These are planar position-vector identities; the list is not a spatial coordinate system.

My AB coefficients in a,b (formal planar identity, not spatial coordinates)

Enter exactly 2 coefficients in the labelled order a, b, separated by semicolons. These are planar position-vector identities; the list is not a spatial coordinate system.

My factor

Use a supported exact rational value or finite sum of single-radical terms where exactness is requested.

My directed calculation, equations and checks

Write your actual directed construction, substitutions, hypotheses and reason. A text attempt is not an automatically verified proof.

My explanation, hypotheses and admissibility checks (requires review)

Write your actual directed construction, substitutions, hypotheses and reason. A text attempt is not an automatically verified proof.

This fixed mathematical tool retains actual planar geometry and requires your complete current attempt. It does not award marks, mastery, automatic proof, physical drawing competence, specialist signoff or formal assessment readiness. Formal coefficients name planar position-vector identities; they do not assert a three- or four-dimensional independent basis.

Turn midpoint information into a directed identity

A midpoint statement gives an exact position-vector equation. Subtract two such midpoint positions to obtain the side joining them, then factor the result as a multiple of the required original side. Name both directed endpoints so that the sign and the geometric correspondence are explicit.

For a nondegenerate triangle, its nonzero sides allow a factor of one half to establish both parallel direction and half length. A complete proof states the identity first and explains those consequences from the factor; a diagram that looks parallel or an isolated numerical example does not prove the general claim.

Match opposite sides with the same traversal sense

For boundary order A,B,C,D, the useful opposite-side equalities are AB=DC and BC=AD. Writing AB=CD reverses one of those directions. Derive the equalities from the supplied position of D rather than assuming the requested parallelogram at the start.

The midpoint of AC has position (a+c)/2 and that of BD has position (b+d)/2. Equality means the diagonals bisect each other in the nondegenerate quadrilateral. This can provide an independent check of the same construction; retain the original noncollinearity conditions so that a collapsed arrangement is not described as a genuine parallelogram.

Use symbolic algebra without inventing independent axes

Symbols a,b,c,d in these proofs denote planar position vectors. An expression involving three or four symbols is still a planar identity, not a three- or four-dimensional coordinate vector. Distributing and cancelling identical vector terms is valid without assuming the position vectors are linearly independent; reverse coefficient comparison would need separately justified independent directions.

For a general quadrilateral, its side midpoints give joining vectors equal to half its diagonals. Prove both pairs of opposite midpoint sides equal, then use nonparallel original diagonals to exclude a collapsed midpoint frame. This establishes a parallelogram, without adding rectangle or rhombus properties. The learner must write and justify the full chain; automatic text acceptance cannot establish that the proof is sound.

Sources for this lesson

Pause and explain

P and Q are midpoints of AB and BC. Which identity proves their joining-side relation?

Put the idea to work

Worked example

OAB is a nondegenerate triangle with OA=a, OB=b. M and N are midpoints of OA and OB. Use vectors to prove MN is parallel to AB and half its length.

Show the worked solution

Midpoints give OM=a/2 and ON=b/2.
MN=ON−OM=(b−a)/2=(1/2)AB.
Nondegeneracy makes AB and MN nonzero. The identity therefore proves MN∥AB in the same direction and |MN|=(1/2)|AB|. The stated midpoint conditions and factor supply the full argument, rather than a measured sketch.

Answer MN=(b−a)/2=(1/2)AB, so MN is parallel to AB and half its length, using the given nondegenerate triangle.

Try a topic test

Choose Easy, Normal or Difficult. Save your answers and open worked review after finishing.

Test this topic →

From guided practice to a new situation

Write your answer and reasoning first. Use a hint only if you are stuck. The model solution is for self-checking; your written work is not automatically marked.

1 · Guided

A,B,C are noncollinear with position vectors a,b,c. D has position a+c-b, and the boundary order is A,B,C,D. Prove ABCD is a parallelogram by equal opposite directed sides. Also show its diagonal midpoints coincide.

Give me a hint

Expand d in each directed difference; compare AB with DC, not CD, and justify nondegeneracy.

Compare my reasoning

AB=b−a. Using d=a+c−b gives DC=c−d=c−(a+c−b)=b−a=AB.
BC=c−b and AD=d−a=(a+c−b)−a=c−b=BC. Both pairs have the required opposite-side traversal sense.
Since A,B,C are noncollinear, AB and BC are nonzero and nonparallel, so the constructed boundary A,B,C,D is a nondegenerate parallelogram.
The AC midpoint has position (a+c)/2. The BD midpoint is (b+d)/2=(b+a+c−b)/2=(a+c)/2, so the diagonals bisect each other as an independent check. The symbols are planar position vectors, not three independent spatial coordinates.

AB=DC=b−a and BC=AD=c−b, proving a nondegenerate parallelogram. Both diagonal midpoints equal (a+c)/2.

Look for these in your work

Derive midpoint side identities and connect them to parallel direction and half length.
Establish a parallelogram from equal opposite directed sides or coincident diagonal midpoints.
Keep symbolic planar position identities separate from independent-coordinate assumptions.

2 · Independent

ABC is a nondegenerate triangle with positions a,b,c. P,Q,R are midpoints of AB,BC,CA. Prove each side of PQR is parallel to its corresponding side of ABC and half as long. Verify the directed triangle closes.

Give me a hint

Derive all three midpoint differences and match their endpoint orders before summing the closed route.

Compare my reasoning

The midpoint positions are p=(a+b)/2, q=(b+c)/2 and r=(c+a)/2.
PQ=q−p=(c−a)/2=(1/2)AC; QR=r−q=(a−b)/2=(1/2)BA.
RP=p−r=(b−c)/2=(1/2)CB. Each corresponding original side is nonzero because ABC is nondegenerate, giving parallel directions and half lengths.
PQ+QR+RP=[(c−a)+(a−b)+(b−c)]/2=0. The directed route P→Q→R→P closes. These are identities between planar positions; no independence of a,b,c is assumed.

PQ=(1/2)AC, QR=(1/2)BA and RP=(1/2)CB, proving all three parallel/half-length claims. Their directed sum is zero.

Look for these in your work

Derive midpoint side identities and connect them to parallel direction and half length.
Establish a parallelogram from equal opposite directed sides or coincident diagonal midpoints.
Keep symbolic planar position identities separate from independent-coordinate assumptions.

3 · Transfer

A simple quadrilateral frame ABCD has four distinct vertices and nonparallel diagonals AC,BD. P,Q,R,S are midpoints of AB,BC,CD,DA. Use position vectors a,b,c,d to prove PQRS is a nondegenerate parallelogram, without assuming ABCD itself is a parallelogram.

Give me a hint

Express each midpoint first; use the original diagonal directions only after both opposite-side identities are derived.

Compare my reasoning

Write p=(a+b)/2, q=(b+c)/2, r=(c+d)/2, s=(d+a)/2 for the four actual side midpoints.
PQ=q−p=(c−a)/2 and SR=r−s=(c−a)/2, so PQ=SR.
QR=r−q=(d−b)/2 and PS=s−p=(d−b)/2, so QR=PS. These are the correctly directed pairs of opposite sides.
The original diagonals AC and BD are nonparallel and nonzero, so their half-vector directions are also nonparallel. Thus the midpoint frame cannot collapse and PQRS is a nondegenerate parallelogram. No assumption that ABCD is a parallelogram, rectangle or rhombus was used; the four symbols remain planar position vectors.

PQ=SR=(c−a)/2 and QR=PS=(d−b)/2. The nonparallel original diagonals ensure nondegeneracy, so PQRS is a parallelogram without extra properties of ABCD.

Look for these in your work

Derive midpoint side identities and connect them to parallel direction and half length.
Establish a parallelogram from equal opposite directed sides or coincident diagonal midpoints.
Keep symbolic planar position identities separate from independent-coordinate assumptions.

Common mistakes

Reversing DC to CD in an opposite-side equality.
Assuming three or four planar position vectors are independent coordinate axes.
Giving a numerical witness or missing a nondegeneracy hypothesis instead of a general vector proof.

Recall without your notes

What can you explain now?

If a,b,c are arbitrary planar position vectors, may their coefficients always be compared as three independent coordinate axes?

Compare with the explanation

No. Three arbitrary planar vectors are not an independent three-dimensional basis. Valid symbolic identities can still be derived by expansion and cancellation.

The midpoint proofs use identities valid for the original positions. Reverse coefficient comparison needs an independently justified set of directions, not a count of symbols.

After trying it yourself, choose your next review. This is your self-assessment.

Your review choice appears on Today. Sign in to sync it across devices.

Continue to next lesson Back to Today

Make it stick

Build a midpoint or parallelogram proof from directed identities, state the nondegeneracy conditions and explain why multiple position symbols do not introduce new spatial dimensions.

If you needed the solution, close it and solve the problem again from a blank page. A correct answer is stronger when you can explain the reason for each step.

Keep learning Mathematics A

Check the official syllabus Issue 2 · November 2026 / June 2027 entries checked

Course scope and assessment

Linked teaching: sections 1.1 to 1.11, 2.1 to 2.8, 3.1 to 3.4,4.1–4.11 and5.1–5.2 and6.1–6.3; 2.5, 3.2,3.4 and5.1 are Higher only. This includes Foundation content inherited by Higher and Higher extensions for recurring decimals, surds, fractional powers, algebraic sets, Venn counts, repeated percentage changes, calculations with measurement bounds and standard-form application problems. Algebra includes Foundation symbols, integer index laws, substitution, like terms, brackets and monic factorisation, plus Higher fractional indices, multiple brackets, non-monic factorisation, algebraic fraction operations with domain restrictions, completing the square and proofs. Formulae include derivation from words and diagrams, substitution, single-occurrence subject changes including squares and roots, and Higher repeated-subject and harder power/root rearrangements. Linear equations cover both sides, brackets, fractional coefficients and constructing models from data. Section 2.5 adds all eight direct/inverse x, square, cube and square-root proportion families with actual graph exploration and domain checks. Section 2.6 adds shared elimination and substitution, exact fractions, contextual feasibility and repeated or inconsistent conditions; the additional Higher graphical lesson interprets genuine-line intersections, vertical lines and off-screen crossings. Section 2.7 adds Foundation monic quadratic factorisation, with Higher general factorisation, quadratic-formula and completing-square alternatives, context derivation and line–parabola/line–circle systems including full branches and exact paired solutions. Section 2.8 adds required open/closed number-line intervals, linear and compound solving, construction and identification of Cartesian regions, and Higher quadratic sign intervals and harder linear regions. Its Cartesian boundary-drawing convention note does not remove number-line endpoint requirements. Section 3.1 adds term-to-term and position-to-term generation, integer continuation and linear nth terms, plus Higher arithmetic a,d recovery, the general nth-term formula and finite arithmetic sums. Section 3.2 adds Higher-only mappings, both function notations, actual domain/range reasoning, composition in Pearson order with original restrictions, and affine/rational/restricted-branch inverses. Section 3.3 has nine shared coordinate, straight-line, travel, speed, conversion and quadratic-plotting lessons, followed by two additional Higher line-equation lessons, four Higher graph-family lessons, nine transformation/equation-recovery lessons and three drawn-tangent/intersection lessons. All nine Foundation source rows have lesson links, with paired interpretation and linear/quadratic plotting breadth guards. The broad additional Higher H3.3A row requires integer polynomial/cubic, sparse mixed reciprocal, degree sine/cosine and degree tangent lessons with every practice stage. H3.3B requires all four transformation forms across linear, quadratic, degree sine and degree cosine functions in eight core lessons; H3.3C also requires their algebra recovery and the ninth domain/equivalence/order synthesis lesson. H3.3D requires drawn-tangent construction and signed rise/run using actual units; calculus is not a replacement. H3.3E requires both line/quadratic and genuine line/cubic intersections and their nonlinear-minus-linear difference graphs, with all practice stages. All sixteen Graphs source rows now have teaching and staged-practice links; exhaustive subskill approval, mastery and assessment readiness remain unestablished. Section 3.4 adds six Higher-only lessons for variable rates, integer-power differentiation, gradient/rate conditions, stationary coordinates classified by original graph shape, one-dimensional motion and other practical models. H3.4C requires gradient and stationary slices; H3.4E requires both motion and other-practical slices. Preserve original domains, negative-power exclusions, admissible counts and boundary candidates. All five source rows have structural links, not exhaustive subskill approval or specialist/assessment validation. Section4.1 adds six shared Foundation/inherited-Higher lessons for selected acute/right/obtuse/reflex arcs, point/straight/intersection and parallel-transversal angles, triangle sums/exteriors, isosceles/equilateral and right/mixed triangles. All four shared rows have structural links; B requires both local and parallel strands and D both special and right-triangle strands, each with every practice stage. No additional H4.1 rows are invented. Preserve labelled geometry and reasons, the auxiliary-parallel triangle-sum argument, actual straight extensions, inclusive equilateral/isosceles and right-isosceles categories, and impossible/insufficient-data checks. Section4.5 constructions,4.4 measurement/bearings and the full H4.7 reasoning scope remain separate, without a blanket formal-proof waiver. Section4.2 adds seven shared Foundation/inherited-Higher Polygons lessons for all nine named polygon examples, convex/concave quadrilateral sums, all six named quadrilateral property families, general/regular polygon angles and congruence correspondence. Its seven rows A–G have structural links, with no additional Higher rows; C requires both family lessons and every practice stage. F/G remain two distinct published IDs supported by the same congruence lesson. Rhombus/square and kite endpoint-angle bisection and isosceles-trapezium equal diagonals are conservative standard-property breadth, not invented verbatim source bullets. Preserve reflex interiors, valid internal triangulations, local trapezium/kite conventions, exact integer side counts and impossible-data guards. Section4.3 symmetry,4.5 formal constructions,4.11 similarity and the full H4.7A reasoning programme remain separate. Literal book tags omit A; G has no Hub tag, and the Book2 map/proof congruence location and chapter7 page-range conflict remain unresolved. Section4.3 adds three shared Foundation/inherited-Higher Symmetry lessons for the one F4.3A source row, requiring every lesson and practice stage for the joint line/rotation capabilities. Draw all mirror lines, test a fixed original against a separate tracing about a chosen centre, count identity once and distinguish order1 from a blank circle’s non-finite rotations. Preserve indentations and true physical disk/colour features; the chosen missing-vertex parallelogram completion is original breadth, not an extra row or4.5construction credit. No additional H4.3 row is invented. The sole literal book link is Book2 Shape and Space6; no Book1 tag or explicit4.3Hub tag is invented, and its mapped chapter body/full final-book alignment remains unverified. Section4.5construction,5.2transformations,4.11similarity and full Higher reasoning remain separate. Section4.4 adds eight shared Foundation/inherited-Higher Measures lessons for seven A–G source rows and no additional Higher rows. Use complete instrument-scale, time-interval, sensible-estimate, nearest-degree protractor and three-figure-bearing teaching. F4.4F requires the full speed lesson; broad F4.4G requires speed, density and pressure, each with its worked explanation and every practice stage, with source binding on the same complete record. Preserve calibrated ticks and actual instrument action, compatible units, midnight/day order, approximate readings and north conventions. Keep numerical references hidden until calibrated attempts. Time recovery requires positive speed; at zero speed positive distance is impossible and zero distance alone is underdetermined. Density uses positive volume, displacement differences and explicit additive-volume assumptions; pressure uses the given formula, supplied forces and positive contact areas. Literal book navigation names only D and G; no A/B/C/E/F tags are invented, and Book1 map255–268/proof256–269 remains unresolved. These structural links do not complete4.5 instrument/compass constructions or scale drawings,5.2 transformations or formal assessment. Section4.5 adds six shared Foundation/inherited-Higher Construction lessons for four A–D rows and no additional Higher rows. A requires both nearest-millimetre measurement and actual line drawing. BroadB requires complete triangles and other two-dimensional shapes; broadD requires both straight-edge-and-compasses bisectors. Source binding and complete teaching/worked/all three practice stages must belong to the same required record. Use real ruler, protractor and compass action with retained construction evidence, physical calibration and honest approximate readings. Keep private endpoint readings, pose coordinates, solved vertices/crossings and reference directions hidden before instrument attempts. Respect valid mirror branches and selected minor/reflex angles; reject impossible triangles, insufficient data and degenerate crossings. Scale drawings require construction before measuring the unknown, compatible units and a labelled positive scale; drawing placement offsets remain givens. Literal book navigation names B/C/D only in Book2 Shape and Space6 with Hubs37/36/38. A has no literal chapter/Hub tag and no Book1 tag is invented. Public proof contents agree with map128–160 and show generic Constructions139, but the relevant body, full-book/Hub content and exact subtype pages remain unavailable. These structural links do not grant4.6 circle properties,4.7 whole geometrical reasoning,4.8 trigonometry,4.9 mensuration,4.11 maps/similarity,5.2 transformations or loci credit. The nearby circle formal-proof note is not imported. Section4.6 adds nine original Circle properties lessons for two shared Foundation and three additional Higher rows. The first three shared lessons cover all nine named parts, both chord/centre implications and both tangent facts. F4.6B requires both chord and tangent lessons. Additional Higher H4.6A requires both internal-chord and external-secant products with original named lengths, positive lengths and correct internal/near-far point order. H4.6B requires actual concyclic boundary vertices. H4.6C requires all five theorem parts across centre/circumference, diameter/same-segment, cyclic-opposite-angle and alternate-segment lessons. Every required slice needs substantive teaching, explained worked work and all three practice stages on one source-bound record; no half-row or untagged duplicate closes the bundle. Keep given marks separate from derived marks and retain selected major/minor arcs, tangent rays and physical algebraic-root domains. The no-formal-proof note belongs to H4.6C, not a blanket H4.6A/H4.7 exemption. Literal Book2 chapter5 tags F4.6B/H4.6B/H4.6C and chapter8 tags H4.6A/H4.6C are navigation only; no F4.6A or Book1 tag is invented. Chapter8 map326–349 versus proof chapter-start325 and next chapter349 remains unresolved; relevant final bodies and Hub content are unverified. These structural links do not complete construction, whole geometrical reasoning, trigonometry or mensuration, or establish specialist approval, mastery or formal assessment. Section4.7 adds five original Geometrical reasoning lessons for one shared F4.7A and one additional H4.7A row. The shared row jointly requires line/triangle, polygon and chord/tangent numerical reasoning, including lengths; the Higher row jointly requires both circle and mixed-angle standard-statement chains. Every required record needs substantive teaching, its explained worked example and all three fresh practice stages, with the source ID on that same complete record. Preserve actual diagram hypotheses, common arcs, contact radii, selected tangent rays, cyclic/straight point order, valid internal triangulations and the unknown regular-polygon outline after deduction. Each geometric equation needs a named reason; a correct number or sufficient text length does not validate an arbitrary written argument. The H4.6C formal-theorem-proof note remains local, not a blanket4.7 waiver. Only literal H4.7A Book1 Shape and Space1/Hub89,137,138,139 navigation is used; no Foundation4.7A or Book2 tag is invented. Public Book1 chapter60–99 is available but does not establish full Higher circle-angle or Hub body scope. These links do not award4.5construction skill, specialist approval, mastery or formal assessment. Section4.8 adds eleven original Trigonometry and Pythagoras’ theorem lessons for three shared F4.8A–C and six additional H4.8A–F rows. The first four are shared; the last seven are additional Higher. F4.8B jointly requires lengths with all acute ratios and inverse-angle work; H4.8C jointly requires sine-rule and cosine-rule teaching. Every row needs all its named source-bound records, substantive teaching, explained worked work and every Guided/Independent/Transfer stage. Preserve both missing-leg and missing-hypotenuse Pythagoras, signed bearing components with local north, all three obtuse functions, actual elevation/depression horizontals, admissible SSA branches and included-angle area restrictions. Three-dimensional work requires perpendicular sections and the actual foot/projection for a line-plane angle; plane-plane angles are excluded. Positive physical lengths, inverse domains, triangle inequalities, degree mode, exact forms and final-only rounding remain explicit. Chosen SSA two/one/no and inverse-area comparisons are safeguards, not extra syllabus rows. Literal navigation uses Book1 SS1–4 only: no Book2 tag or dedicated H4.8A Hub is invented. Hub145 is tagged F4.8A in SS1 and H4.8D in SS3; the former title does not extend Foundation into3D. Public Pythagoras body74–76 is available, but SS2/3/4 bodies and Hub content are unverified. SS2 map176–197 versus summary198, and SS3 map243–254 versus proof-start244/summary255 remain unresolved. No4.5construction,4.9mensuration, full-book, specialist, mastery or formal-assessment credit follows from these structural links. Section4.9 adds eight original Mensuration lessons for five shared F4.9A–E and one additional H4.9A row. The first six are shared; the last two are Higher. F4.9E jointly requires complete circle and semicircle/compound-boundary lessons; H4.9A jointly requires degree arcs/perimeters and sector-area/recovery lessons. Every required source-bound record needs substantive teaching, its explained worked example, checks and all Guided/Independent/Transfer stages. Retain both-direction linear/area conversions, exposed polygon boundary traces and internal joins, triangle/rectangle decomposition and contained disjoint cutouts, outside perpendicular heights, both parallelogram/trapezium methods, radius/diameter recovery and semicircle arc-versus-perimeter distinctions. Preserve major/remaining sector sweeps, positive physical roots, inverse dimensions, annular inner arcs and radial gaps, compatible square/linear units and question-specific precision; no universal3sf rule is invented. Radians are excluded; ordinary sector arc-plus-two-radii boundaries require0<θ<360, while a full disk has no radial cuts. Literal Book1 SS1 tags B/C/D/E and HigherA with Hubs47/48/118, plus Number4A/Hub14, are navigation only; no Book2 tag or verified Hub body is inferred. Public SS1contents summary98 versus actual99 and Number4map198–206 versus proof199–207/next208 stay explicit. Chosen compound/inverse/annular safeguards do not add source rows or grant construction, volume, similarity, full-book, specialist, mastery or formal-assessment credit. Section4.10 adds nine original 3D shapes and volume lessons for six shared F4.10A–F rows and one additional H4.10A row. The first seven are shared; the final sphere and right-cone lessons are additional Higher. Teach all seven named solid families, complete face/edge/vertex incidence with hidden features, planar triangle/rectangle surface inventories and cylinder surfaces with actual open/closed conditions. F4.10E requires both complete prism and cylinder-volume slices; H4.10A requires both complete sphere and right-cone surface-and-volume slices. Every required source-bound record needs substantive teaching, worked methods, checks and all Guided/Independent/Transfer stages. Preserve actual face altitudes, positive inverse dimensions, full-length groove conditions, internal capacity and fill levels, contact-patch removal, cubic unit factors and1L=1000cm³. Curved-solid tasks state their flat-face/rim/apex convention without inventing a universal mark-scheme count. Nets, joins, inverse applications and solid hemispheres are chosen breadth, not extra official rows or instrument, frustum, similarity, pyramid-volume or hollow-capacity credit. Keep exact values/π and question-specific precision, including explicit significant trailing zeroes or scientific form. Literal Book2 Shape and Space9 tags C/D/E/F and HigherA are navigation only; no A/B or Book1 tags are inferred. Hubs56/57/55/84/131 do not establish body coverage, and no F4.10F Hub tag is invented. Map359–385 versus proof358–384/next385 remains unresolved; relevant chapter body and full-book/Hub content are unavailable. Specialist, formal-assessment and mastery approval remain pending. Section4.11 adds seven original Similarity lessons for exactly two shared F4.11A/B rows and three additional H4.11A/B/C rows. The first four are shared correspondence, forward/inverse lengths, maps and plans; the final three cover area factors, volume factors and mixed problems. F4.11A requires both complete correspondence and length slices, and F4.11B requires both map and plan slices, with source binding, substantive teaching, worked methods, checks and every explained Guided/Independent/Transfer stage in the same actual record. Retain matching angles and every corresponding side, concave reflex corners, positive factors, inverse recovery, parallel/shared-vertex hypotheses, whole/part order, compatible units, route versus direct distance, and uniform print-resizing scale recovery. Higher work distinguishes k, k² and k³, positive roots, similarity hypotheses, unit powers, actual closed-cuboid total surfaces, physical dimensions, exact money before rounding, and parallel-section cone subtraction as a chosen application. No extra official row, transformations, instrument calibration, formal construction or general frustum-formula credit is claimed. Literal Book2 Shape and Space6 F4.11B/Hub36, Shape and Space7 F4.11A/Hub85, and Shape and Space9 H4.11A/B/C with Hubs143/144 are navigation only, with no Book1 tag invented. Shape and Space6 map128–160/proof128/summary159/next161, Shape and Space7 map223–248/proof222/summary247/next248, and Shape and Space9 map359–385/proof358/summary384/next385 remain explicit. The actual proof places Similar shapes at147 under Shape and Space6 while the literal F4.11A map tag remains under Shape and Space7; this topic-location conflict is unresolved. Relevant chapter and Hub bodies are unavailable; no full-book, specialist, formal-assessment or mastery approval follows. Section5.1 adds nine original additional Higher Vectors lessons for exactly H5.1A–G and no shared Foundation rows. All required source-bound notation, scalar, arithmetic, magnitude, route, position/division, parallel/collinear, simple-proof and intersection strands need substantive original teaching, an explained worked example and exactly one complete Guided/Independent/Transfer task in the same record. Preserve directed endpoints, signed/scalar and zero-vector exceptions, exact fractions and radicals, final-only rounding, current own head-to-tail joins, one-origin positions, t=0/t=1 endpoints and external points without clamping. Geometric conclusions require actual nonzero, nonparallel, noncollinear or simple-boundary hypotheses; formal two-to-four-symbol planar identities do not assert an independent spatial basis. H5.1G requires genuine explained geometric proof, not numerical resemblance or unchecked text. The H4.6C local theorem-proof note is not a blanket vector-proof waiver. Literal Book2 Shape and Space10 H5.1A–G map427–450/proof426/summary449/next450 remains unresolved; Hub167 covers A/B/C/D/F,168 A/E and169 G. Navigation does not establish modular equivalence. No Book1 tag or unseen Vectors chapter/Hub body is invented: the public uncorrected2025proof exposes contents and Number8 body, not Vectors. November2026/June2027 linear entry and regional-centre limits remain separate. Full-book, specialist, mastery and formal-assessment approval remain pending. Section5.2 adds twelve original shared Transformation geometry lessons across exactly F5.2A–M and no additional Higher row. Full source-bound bundles require substantive teaching, explained worked and exactly one complete Guided/Independent/Transfer task in each record. Retain every labelled corner and corresponding trace, signed/general rotations, complete equivalent mirror lines, common translation columns, rigid distances/angles, positive and fractional factors, supplied/free centres and factor1 identity exceptions. General-degree written3dp is separate from unrounded geometry. Ordered compositions are chosen breadth rather than an extra source row; compare both orders, including commuting perpendicular reflections, and distinguish reverse order from the inverse. Source/book/year and proof/physical-construction limits remain explicit. Graphical representation6.1 adds ten original lessons: six shared Foundation tabulation/two-way/pictogram/bar/pie/interpretation slices and four additional Higher histogram construction/reading and cumulative construction/use slices. Each complete source-bound record and every practice stage are required; tables or diagram names alone do not establish actual construction. Keep scales/units/keys, zero categories, unequal continuous widths and density/area, hidden missing calibration and pie labels, uniform partial-class estimates, cumulative boundaries and nonunique flat inverses. No Statistical measures6.2 or Probability6.3 credit follows. Literal book/Hub metadata is navigation only: Book2 Handling Data4 F6.1Aii is a modular subpart; Book1 Handling Data3 map398 starts differently from proof397 and Book2 Handling Data6 map208 from proof207. Relevant chapter/Hub bodies remain unavailable. Statistical measures6.2 adds eight original lessons: four shared Foundation list/frequency averages, simple mean problems and grouped midpoint estimates/modal classes; four additional Higher spread, discrete quartiles, median and IQR from cumulative diagrams. Every source-bound record needs substantive teaching, its explained worked example and all three unique practice stages. Preserve repeated positions, weighted counts, observed zero-frequency extremes, compatible units, grouped estimation limits, the explicitly chosen median-of-halves convention, actual graph guides, each curve’s own total and nonunique plateau intervals. Literal Book2 Handling Data4/5/6 tags and Hubs are navigation metadata only; no Book1 tag, complete chapter body or Hub access is inferred. Handling Data6 map208–222 versus proof207/summary221/next222 stays explicit. Statistical measures alone does not replace Probability6.3 teaching. Probability6.3 adds nine original lessons for ten shared F6.3A–J and four additional H6.3A–D rows. The first five are shared language/scales/models, complete single/two-event sample spaces, Venn probabilities, experimental estimates/expected frequencies and complement/mutually-exclusive addition; the final four are Higher independent trees, actual without-replacement trees, simple conditioning and contextual inverse/mixed models. Each required source-bound strand needs substantive teaching, an explained worked example and exactly one complete Guided/Independent/Transfer task in the same actual record. F6.3C requires both model and sample-space slices; H6.3A requires independent, dependent and application trees; H6.3B requires independent and application slices; H6.3C requires without-replacement, simple-conditioning and application slices; H6.3D requires conditioning and application slices. Retain physical identities, nonuniform weights, original ordered histories, complete branches/terminal events, unchanged versus changing contents, restricted positive conditional denominators and undefined empty conditioning. Experimental variability and fractional expected counts are model predictions rather than guaranteed observations. Inverse physical counts keep original nonnegative integer/positive-total domains. Chosen three-set, three-stage and inverse safeguards do not add source rows or a named general conditional theorem. Literal Book1 HandlingData1/2/3 tags and Hubs are navigation only; no Book2 tag or unseen probability chapter/Hub body is invented. Preserve map228–242/proof229–243/next244, map303/proof304–328/next329 and map398–428/proof397/summary426/next428; missing explicit Hub A/B/F/J tags remain absent. The common two-coin elementary model is not claimed as novel. All39 source sections and242 requirements now have structural teaching/practice links; that is not exhaustive subskill, teacher, full-book, mastery, specialist or formal-assessment approval. The independent source inventory contains 162 Foundation requirements and 80 additional Higher requirements; some lettered requirements contain multiple skills. A lesson link alone does not verify every skill or examination readiness. Written practice is self-checked, not automatically marked. Specialist approval and cumulative assessment have not been established. This course follows the linked Issue 2 linear 4MA1 specification. The 2026/2027 entry manual lists F/H in November 2026 and June 2027; regional FR/HR entries are June 2027 only and depend on centre eligibility. Modular 4XMAF and 4XMAH coverage is separate.