An invariant is a property that remains unchanged under a specified transformation or process. Rearrange ten counters without adding or removing any, and their number remains ten. Translate a triangle rigidly, and its position changes while its side lengths stay the same. The word is useful only when we say which changes are permitted.
Learning this concept gives vocabulary a job beyond naming things. Invariants help students identify mathematical structure, check an algebraic step, distinguish an object count from a changed arrangement and recognise when a proposed goal is impossible. They remind us to ask what stays the same while appearances, descriptions and positions change.
To find an invariant, define the starting situation, list the allowed moves, propose a property and explain why each move preserves it. Then test a changed rule. The examples here are original teaching illustrations and do not replace mathematical proof or the evidence required by a real scientific experiment.
Contents and reading route
- Begin with a rearrangement
- Why the transformation matters
- Geometry: positions, lengths and angles
- Algebra: preserve the solution set
- Expression value remains equal
- Parity under adding two
- Counts depend on their units
- Observe a process, not just two endpoints
- Worked cases and practice
1. Begin with a rearrangement
Six paper squares lie in one row. Move them into two rows of three without adding, removing or cutting any. The number of squares remains six, but the outline and number of rows change. We can describe both facts without contradiction.
Now allow cutting a square in two. The number of pieces is not preserved under the expanded rules. This reveals why ‘the total always stays the same’ is not a useful definition by itself. The transformation belongs in the statement.
2. Why the transformation matters
The Encyclopedia of Mathematics discusses invariants relative to mappings and equivalence relations. At school level, we can begin with movement, reflection, enlargement and algebraic rewriting, each preserving different properties.
A translated triangle keeps its side lengths; a uniform enlargement usually changes those lengths. The learner needs to identify which transformation is being performed before predicting what remains unchanged.
3. Geometry: positions, lengths and angles
When a plane triangle is translated or rotated rigidly, its side lengths and angles remain equal to those of the original. Individual point positions can change. A rotation leaves its centre fixed, which is a different statement from preserving distances.
A reflection preserves lengths and angles while reversing orientation. A positive uniform enlargement preserves angles but scales lengths. Vocabulary such as congruent, similar, fixed point and invariant length describes different properties.
4. Algebra: preserve the solution set
From x+4=11, subtracting four from both sides gives x=7. This change of form preserves the same solution. Multiplying both sides of an equation by the same nonzero number also preserves its solution set.
Multiplication by zero need not preserve that set: x=7 becomes 0=0, which holds for every x. This counterexample shows that a familiar-looking operation can change the mathematical meaning unless its conditions are respected.
5. Expression value remains equal
The expressions 3(a+2) and 3a+6 are equal for all real a by the distributive law. Their written structure differs while their values agree for each permitted input.
Checking a few substitutions helps detect errors but does not by itself prove an identity. A general algebraic property justifies the rewrite. Compare the incorrect expression 3a+2 at a=0: it produces two instead of six.
6. Parity under adding two
An even integer can be written as 2k and an odd integer as 2k+1. Adding two preserves evenness or oddness. A sequence beginning at zero and repeatedly adding two cannot reach an odd number such as seven.
This supplies a reason for impossibility without trying every sequence. But the same invariant value does not automatically establish reachability if additional restrictions exist. The allowed moves and the desired conclusion must stay connected.
7. Counts depend on their units
Move six counters from two boxes into one box. The number of counters remains six while the number of occupied boxes changes. If a question asks about containers rather than contents, the answer will be different.
For the underlying question of what counts as one, see Vocabulary
What Is a Sortal?. State which collection and unit the proposed invariant concerns, then examine each permitted move.
8. Observe a process, not just two endpoints
A shelf holds eight books before and after an event. The matching totals do not prove that the same books remained or that the count stayed eight at every intermediate moment. Some books could have left while others arrived.
The statement ‘the start and end counts matched’ is supported by those two observations. The stronger statement ‘every move preserved the count’ requires a rule or record establishing what happened between them. Invariance is a claim to justify, not a label to attach after seeing two equal numbers.
Further practice: evidence, cases and explanations
The number of pieces after rearranging paper
A rectangle is cut into several pieces and rearranged without loss, stretching, gaps or overlap. The sum of the areas of those pieces remains equal to the original area. The combined outline can change while the total material area stays fixed. This is useful because a new-looking shape can still be analysed through familiar areas.
Do not confuse the sum of the areas with the area inside an imagined enclosing boundary. If the pieces leave gaps, that boundary may enclose more space than the pieces cover. If they overlap, the visible covered region may be smaller than the sum of individual areas.
Ask the learner to name the exact object measured: material pieces, visible region, or outer outline. Then predict which quantities survive the allowed rearrangement. A correct statement with a named unit is better than ‘the area never changes’ without conditions.
Equal totals do not always identify equal contents
Two boxes each contain six pencils at the start and six at the end of an exercise. That fact alone does not establish that the same pencils remained in each box. Pencils could have been exchanged, removed and replaced, or redistributed while the totals were restored.
The numerical count can match across observations while the identity of objects changes. If the task concerns how many writing tools are ready, a headcount may be enough. If it concerns returning a borrowed pencil to its owner, individual identity matters.
The vocabulary distinction is between ‘equal count’, ‘same items’ and ‘constant count throughout’. These are three different claims. Writing one does not supply the evidence for the other two.
Use modular remainders as invariants
Parity is a remainder after division by two. The same method can be generalised to remainders after division by three. If the allowed move is to add three to an integer, its remainder after division by three remains unchanged.
Starting from one, adding three repeatedly gives four, seven, ten and so on; each leaves remainder one when divided by three. The reason is general: if a number is 3k+1, then adding three yields 3(k+1)+1.
Under those rules, starting from one cannot produce a number whose remainder is two, such as eight. As before, matching remainders may be necessary for reachability without being sufficient under every possible restriction.
A movement puzzle with a hidden impossibility
Imagine a number token placed on position two of a line. The only move shifts the token exactly four places to the right. A student asks whether position eleven can ever be reached. Each move preserves the remainder modulo four, and two has remainder two.
Eleven has remainder three when divided by four, so it cannot be reached with those moves. The proof works for any number of legal moves because every move adds four. Listing the first three positions—six, ten and fourteen—can suggest the pattern but is not the whole explanation.
Now allow a new move of one place to the right. The remainder is no longer preserved under all legal moves, and the previous impossibility argument no longer applies. The change of rule, not a failure of arithmetic, changes the conclusion.
Reversible moves and preserved information
A rearrangement of distinct cards is reversible: you can put the cards back in their original order when you remember the positions. This does not mean that every property is preserved. The order changes while the number and identities of the cards remain.
Reversible transformations often help reveal what information can be recovered, but reversibility and invariance are not synonyms. Rotating a triangle is reversible and preserves its distances. Changing the labels on a set of cards may be reversible while not preserving the labels’ actual words.
Ask what can be restored and what stayed unchanged during the operation. A learner who keeps those questions separate is less likely to use a broad phrase such as ‘it stayed the same’ for a process that altered meaningful details.
A changed perspective can preserve a relationship
Two maps may show the same town at different orientations. North may appear at the top of one map and to the right on another. The displayed directions change, but some relationships—such as which landmarks are connected by a particular street—can remain represented consistently.
A map can also omit information or introduce distortion, so we cannot claim that every feature survives a change of presentation. The useful question is which relationship the map is intended to preserve and whether the new view continues to represent it accurately.
This is a reason to teach vocabulary such as direction, location, connection and scale separately. Each describes a different part of a representation, and different transformations can preserve different parts.
Visual symmetry can reveal a preserved pattern
A square rotated by a quarter-turn about its centre occupies the same outline. The rotation moves individual corners while the set of points forming the square returns to the same overall arrangement. This is a symmetry of the square.
A non-square rectangle does not generally have quarter-turn rotational symmetry. It may still have half-turn symmetry. Ask students to identify the transformation rather than declare a shape symmetrical in every possible way.
This kind of task connects invariant structure with symmetry. It also trains careful language: the figure as a set can remain unchanged under a symmetry even though labelled points move to different locations.
A pattern is not automatically an invariant
Suppose a learner observes that the first five steps of a game all leave a certain total unchanged. That observation suggests an invariant, but the game might include a sixth legal move that changes the total.
To establish a general claim, list the types of legal moves and show why each one preserves the proposed property. The proof concerns every permitted case, not only the moves that happened during a short demonstration.
A good teacher asks students for a counterexample to their current rule. If they find one, the claim must be revised. If they cannot, they still need a reason; failure to find a counterexample is not the same as a proof.
Compare an invariant with a useful approximation
In a real classroom experiment, recorded volumes before and after pouring may be close but not identical. A measurement difference could reflect spillage, instrument resolution or reading variation. The observations can be useful even if they do not show exact equality.
Do not call the measured value precisely invariant merely to make a science report look stronger. State the idealised claim under the assumed conditions, report actual values and explain the relevant limitations.
A mathematical statement of conservation within an explicit model and an empirical comparison of two readings serve different roles. This distinction helps students keep concepts, measurements and evidence connected.
Why solving an equation is a controlled sequence
When solving an equation, students change its form to reveal the unknown. Their responsibility is to preserve its solution set when using equivalence transformations, or to check any candidates if a step has not preserved full equivalence.
For example, squaring two sides of an equation can introduce extraneous possibilities in some contexts. A candidate that satisfies the squared equation may fail the original. The final substitution into the original condition checks that problem.
Vocabulary such as equivalent, implication, candidate and restriction lets a teacher explain why checking matters rather than treating it as an arbitrary examination ritual.
A change in wording may preserve meaning—or not
Consider ‘at least four’ and ‘four or more’. In ordinary numerical instructions they can express the same threshold. Replacing one with the other may preserve the set of permitted values. Replacing either with ‘more than four’ changes the boundary.
This is a practical analogy with invariant meaning under paraphrase. It does not imply that every synonym preserves all nuances of a sentence, or that natural language has a single mechanically checkable equivalence relation.
Use a set of test cases: three, four and five. If the two phrasings produce different judgements at four, the paraphrase changed the rule. The learner can see where the meaning stopped being equivalent.
Same relationship, different story problem
A library gives one bookmark to each new reader; a workshop gives one instruction card to each participant. If every recipient receives one object, both situations share a one-per-person allocation relation.
Changing bookmarks to cards does not alter the mathematical structure, provided the new story has the same distribution rule. If the workshop now supplies two cards per participant, the relationship changes even though the nouns still sound similar.
This is a structural analogy rather than a formal theorem about stories. Its educational value lies in distinguishing the abstract relation from the surface vocabulary that carries it.
An invariant across a file version is a limited claim
A document may be revised while retaining the same project identifier or purpose. The title, paragraph count and wording may change. Saying that its identity as one continuing project was preserved is a useful organisational convention.
The label can mislead if the record is not maintained. Someone may overwrite the wrong file or copy the identifier to an unrelated document. A stable name is not by itself proof of a correct history.
Choose the property that matters for the present task. A citation may require an exact edition or version, while an overview may refer to the wider ongoing project. The apparent sameness has different purposes.
Diagnose why a student’s answer changed
A student gives the correct total after rearranging blocks but changes the answer after the blocks are partly hidden. They may have difficulty tracking objects, interpreting the unit or understanding that hidden objects remain part of the count.
Do not label the issue as an invariant failure without inspecting the actual response. Ask the learner to indicate which pieces were moved, which remain and what the question counts. A physical demonstration can reveal the intended distinction.
Next, remove the visual support and offer a short word problem. Record whether the learner can explain the same principle in another representation. The aim is usable understanding, not reciting a label.
Worked mathematics case: boxes and packs
Three packs contain four cards each. The packs are opened, and the twelve cards are arranged in one long row. The number of cards remains twelve, while the number of sealed packs changes from three to zero.
The learner can calculate 3 × 4 = 12 when all packs contain four cards, then verify by counting. If one card is missing, the original relationship between pack count and card count no longer represents the actual contents.
Ask which facts were assumed by the multiplication and which were checked. This distinguishes a theoretical invariant under the stated process from a claim about a real collection that might have incomplete packs.
Worked geometry case: a triangle’s new position
A triangle with vertices at (0,0), (3,0) and (0,4) is translated three units to the right. Its vertices become (3,0), (6,0) and (3,4). The corresponding side lengths remain three, four and five.
The x-coordinates increase, so coordinate values are not invariant. Distances between corresponding points are preserved because every point receives the same displacement. This is why a translation is distance-preserving.
Now enlarge the original triangle by factor two about the origin. The resulting side lengths are six, eight and ten. This new transformation does not preserve lengths. The comparison guards against a memorised rule applied outside its scope.
Practice: identify the false preservation claim
Statement A: rearranging six counters without adding or removing any preserves the count. True under the rule. Statement B: doubling the side lengths of a square preserves its area. False; the area becomes four times as large.
Statement C: subtracting the same number from both sides of an equation preserves its solution set. True for ordinary algebraic equations where the operation is well-defined. Statement D: equal morning and evening totals prove that the same people were present. False.
Have learners name the exact rule and evidence behind each answer. Explaining why a false claim fails builds more transferable skill than merely memorising which letter is right.
A short retrieval-and-transfer teaching cycle
On the first occasion, use movable objects to identify a fixed count and a changed arrangement. Ask the learner to say both aloud. On a later occasion, use a different set of objects and see whether the explanation remains available without the original demonstration.
Next, move to a geometry or algebra example. Prompt the learner to identify the operation and the property preserved. If they need help, note the support rather than claiming fully independent understanding.
Finally, ask them to construct their own counterexample by changing one permitted move. That task reveals whether they can control the scope of an invariance claim rather than repeat a familiar definition.
Frequently asked questions
Does invariant mean that nothing changes? No. It identifies something preserved under specific changes. Does the property have to be a number? No. A geometric relation or structure may be preserved.
Can an invariant prove impossibility? Yes, if the allowed moves preserve a property and the target differs in that property. Matching values alone do not prove reachability. How is invariant different from stable? Stable may describe limited variation; mathematically invariant means the chosen property does not change under the stated transformation.
Do two matching measurements prove an invariant? Not usually. You need the process, assumptions and appropriate evidence. Why does vocabulary help? The word prompts an action: identify what must survive, test the allowed changes and explain the reason.
Sources, limits and next step
The Encyclopedia of Mathematics supplies the formal mathematical background. The OECD PISA 2022 Mathematics Framework describes the value of recognising structures and translating between representations. Neither source validates this guide’s exercises as a specific intervention.
The cases here are original teaching examples. For relevant distinctions, see Decision Tables, Sortals and the Vocabulary hub.
Your next step is modest: take one changing situation, name a preserved property, explain why it survives and give a change of rule under which it would fail. A word becomes a thinking tool when it helps you make that prediction correctly.
Continue the Vocabulary series
What Is an Affordance? · What Is a Counterfactual? · What Is a Boundary Object? · Vocabulary Hub
One complete invariant workshop
Complete worked case: a project with changing materials
An invented school display project starts with twelve illustrated cards. Four go on the first board, four on the second and four on the third. The organisers later move three cards from the first board to the second. There are now one, seven and four cards on the boards, but the total remains twelve. The distribution changed; the overall card count did not.
One student says, ‘The display has changed, so there must be more cards.’ Ask the student to point to the operation that would have created cards. Moving does not create them. Another says, ‘The display is the same.’ That description is too broad because the arrangement is no longer the same. A stronger explanation preserves both facts: same twelve cards, changed allocation.
Now a card is taken to a separate room for repair. Are there eleven or twelve? If the question concerns the three boards, eleven. If it concerns the project’s existing cards, twelve, assuming the card still belongs to the project. The count has not become arbitrary; the question has changed its scope. Before computing, the learner must identify the collection.
The final test is a proposed rule: ‘Any number of moves between boards preserves the total number of cards on the boards.’ This is justified if every move takes an existing card from one board and places it on another board. The repair-room move is not covered. The example reveals how an invariant is a property tied to a defined action system, not a slogan about change.
What a teacher or parent can observe in the explanation
Ask the learner to predict the total before completing the rearrangement. A prediction supported by the move rule is stronger evidence of understanding than recounting at the end. Ask for one property that changes and one that stays unchanged. The learner should be able to name the unit in each statement.
Then change only one condition. Permit adding a new card or sending one into an uncounted box. Does the earlier claim survive? If the learner updates their answer and explains why, they are using the rule rather than a memorised number. If they give the same answer regardless of the change, return to the operation and collection.
The same routine can transfer to algebra: show two forms of an equation and ask what a legal step must preserve. It can transfer to geometry: identify lengths preserved by a translation and not by an enlargement. The content changes while the questions about transformation and preservation remain useful.
Record progress narrowly. ‘Explained why transfers between two trays preserve the combined counter total without recounting’ is an informative achievement. It is not proof of general mastery of mathematics, and it does not tell you how the learner will perform with unrelated problems. A later task can check the transfer.
Another invariant workshop: a number game and its limits
Imagine a fictional number game. A token starts on the number one. The only legal move is to add three to the displayed number. A learner wants to know whether the token can ever reach fourteen. Listing the first few values gives one, four, seven, ten, thirteen and sixteen. The pattern suggests an answer, but we can make the reasoning apply to every legal move.
Every reachable value has remainder one when divided by three. Starting from one, adding three preserves that remainder. More generally, if a value has the form 3k+1, one legal move produces 3(k+1)+1, again with remainder one. Fourteen has remainder two after division by three, so the target is impossible under the stated rules. This is an invariant-based impossibility argument.
The next question should test the limit. Suppose the organiser adds a second allowed move: add one. The remainder is no longer invariant under all legal moves. The learner cannot reuse the previous impossibility argument. In fact, starting from one, thirteen legal moves of adding one reach fourteen, though that particular route may be inefficient. The changed rule has changed what can be concluded.
Now switch the target to thirteen under the original add-three-only rule. Matching the invariant is necessary but not by itself the whole argument in an arbitrary game. Here a constructive sequence works: one, four, seven, ten, thirteen. Both an invariant check and an explicit route support reachability in this particular case. The distinction between ruling out and constructing a solution is worth naming.
Have students make a two-column record: legal operation and property preserved. For the original game, ‘add three’ pairs with ‘remainder upon division by three’. Ask them to justify the entry. Then show three targets—eleven, thirteen and fourteen—and require a reason for each rather than a bare yes or no. Eleven and fourteen have remainder two, so both are unreachable; thirteen is reachable by four moves.
A related language exercise concerns the word always. ‘The remainder is always one’ is true for values reached under the original rule from the stated start. It is not a universal claim about all integers. The qualifier ‘under the original moves’ carries part of the mathematical reasoning, not just background description.
Finally return to an ordinary task, such as moving six library copies from one labelled shelf to another. The total number of copies can remain invariant while the number on each shelf changes. Unlike the number game, the demonstration may involve physical errors or unrecorded additions, so the learner must distinguish a stipulated model from evidence about an actual inventory. One word now helps compare two kinds of reasoning without confusing them.