SECONDARY MATHEMATICS · ALGEBRA AS STRUCTURE
Substitution is more than putting a number into a formula. Used carefully, it is one of the fastest ways to test a proposed answer, expose a false identity and connect an algebraic model back to its meaning.
Substitution can verify a candidate solution
Suppose 3x − 7 = 11 and you obtain x = 6. Substitute into the original equation: 3(6) − 7 = 18 − 7 = 11. The candidate satisfies the equation.
If instead you obtained x = 4, substitution gives 12 − 7 = 5, not 11. The check exposes the error without needing to know where the earlier working failed.
Substitution can disprove a claimed identity
A student claims (x + 3)² = x² + 9. Choose x = 1. The left side is 16 and the right side is 10. Since the two expressions disagree at one permitted value, they cannot be equivalent for every x.
This is a numerical counterexample. One disagreement is enough to disprove the universal identity claim.
Agreement at one value does not prove an identity
Compare x + 2 and 2x. At x = 2, both equal 4. They are still not equivalent expressions. At x = 3 they give 5 and 6.
Substitution is asymmetric as a test: one failure can disprove general equivalence, while selected successes cannot by themselves prove it. To establish an identity, use algebraic reasoning or another valid general proof.
Choose useful test values
- x = 0 often exposes missing constant terms.
- x = 1 can simplify powers and coefficients.
- x = −1 can expose sign errors.
- A fraction can test whether an apparent rule only worked for integers.
- Never choose a value excluded from the expression’s domain as though it were permitted.
Check an algebraic simplification
Suppose −3(2x − 5) + 4x is simplified to 15 − 2x. Test x = 2. The original expression is −3(−1) + 8 = 11. The simplified expression is 15 − 4 = 11. This supports the calculation.
If a proposed simplification were −2x − 15, x = 2 would give −19, immediately exposing a mismatch.
Check factorisation by expansion and substitution
For x² + 7x + 12 = (x + 3)(x + 4), expansion provides a general verification. Substitution provides a quick arithmetic check. At x = 2, both sides equal 30.
Use both tools appropriately: expansion establishes the algebraic equivalence; substitution is excellent for catching a sign or arithmetic slip.
Substitution checks models against context
A fictional service has a fixed charge of $12 plus $5 per visit. If v is the number of visits, the model is C = 12 + 5v. At v = 0, the formula gives C = 12, matching the fixed charge. At v = 1, it gives $17.
A mistaken model C = 12v + 5 gives $5 at zero visits and $17 at one visit. Testing only v = 1 would fail to distinguish the models. Testing a boundary value such as zero reveals the structural error.
A model can pass checks and still have limits
If a tank model is V = 20 + 3t, substitution can verify predicted volumes at selected times. It cannot establish that the inflow remains constant forever, that the tank never overflows, or that the physical assumptions are true. Mathematical checking and empirical validation are different jobs.
Always retain the domain and assumptions that give a model meaning.
Substitution and domain restrictions
For (x² − 4)/(x − 2) = x + 2, substitution at x = 3 gives 5 on both sides. At x = 2, however, the original fraction is undefined. Do not treat x = 2 as a valid equality check for the original expression. The correct equivalence statement requires x ≠ 2.
A four-part checking protocol
- Return to the original equation, expression or model.
- Choose a permitted value that is likely to expose the suspected error.
- Evaluate both sides or compare the model with the stated context.
- Interpret correctly: mismatch disproves the proposed equivalence; agreement is a check, not automatically a proof.
Worked practice
A. Test the claim 2(x − 3) = 2x − 3. At x = 0, the left side is −6 and the right side is −3. The claim is false.
B. Check x = −2 as a solution of x² + 3x + 2 = 0. Substitution gives 4 − 6 + 2 = 0, so it is a solution.
C. A proposed model for a $9 fixed charge plus $4 per item is C = 9n + 4. Test n = 0. The model gives $4 instead of the stated $9 fixed charge, so the model is wrong.
The deeper habit
Substitution makes algebra answerable to the object it represents. It can reconnect a symbolic line to the original equation, compare two forms, test a conjecture and challenge a model. Used with proof rather than confused with proof, it becomes a disciplined verification tool.
Continue through Equivalent Expressions, Algebraic Structure and Why Factorisation Works. Return to the Secondary Mathematics Master Index.