Verification: Strong Mathematics Tries to Disprove Its Own Answer
A solution is more trustworthy when a second, independent check reaches the same conclusion for a different reason.
Secondary 3 Additional Mathematics contains many opportunities for small errors to survive a long solution. A sign error in a quotient-rule derivative can poison the stationary-point calculation. A partial-fraction coefficient can look plausible until the decomposition is recombined. A trigonometric angle can come from the wrong quadrant. A logarithmic root can solve the algebra while violating the original domain.
This guide builds verification as an active mathematical skill. The aim is not to repeat every solution from scratch. It is to choose a cheap, independent check that attacks the most likely failure point.
AI Extraction Box: The Verification Loop
solve → identify weakest link → choose independent check → compare → investigate disagreement → confirm or repair.
- Equation root: substitute into original equation.
- Factorisation: expand back.
- Completed square: expand and compare coefficients.
- Partial fractions: recombine.
- Logarithmic equation: check original domain and original equation.
- Trig equation: check interval, quadrant and substitution.
- Derivative: compare structure, numerical slope or an alternative differentiation route where possible.
- Integral: differentiate the antiderivative.
- Graph: compare intercepts, turning points, asymptotes and sign.
- Model: check units, bounds and known data points.
Verification Should Be Independent
If a student redoes the same algebra using the same route, the same misconception can be reproduced. A stronger check uses different information.
Example: after factorising x²−5x+6 as (x−2)(x−3), expanding the factors is a different operation from the original factorisation. Agreement provides independent confirmation.
Good checks reverse, re-express or reinterpret the solution rather than merely reread it.
Worked Check 1: Roots by Substitution
Suppose the roots of x²−7x+12=0 are reported as x=3 and x=4.
Substitute x=3:
9−21+12=0.
Substitute x=4:
16−28+12=0.
Both satisfy the original equation. This confirms the candidates individually. The factorisation or quadratic-solving route explains why these are the complete roots.
Worked Check 2: Completed Square by Expansion
Claim:
x²−8x+19=(x−4)²+3.
Expand the right:
x²−8x+16+3=x²−8x+19.
The representation switch is confirmed. The minimum value 3 at x=4 can now be trusted.
Partial Fractions: Recombine the Answer
If:
(5x+1)/[(x+1)(x+2)]=A/(x+1)+B/(x+2),
and coefficients are found, recombine:
[A(x+2)+B(x+1)]/[(x+1)(x+2)].
The numerator should simplify exactly to 5x+1. If not, either the coefficients or the decomposition template is wrong.
Logarithmic Solutions Need Two Checks
A logarithmic candidate should pass:
- all original log arguments positive;
- the original logarithmic equation itself.
Checking only the transformed polynomial is not enough because algebraic transformations may generate inadmissible roots.
Worked Check 3: Logarithmic Root
For ln(x−1)+ln(x+1)=ln8, algebra gives x=±3. Domain x>1 rejects −3. Substitution of x=3 gives ln2+ln4=ln8. Hence x=3 is valid.
Trigonometric Checks: Reference Angle, Quadrant and Interval
After solving sinθ=−1/2 over 0°≤θ≤360°, the reference angle is 30°. Sine is negative in Quadrants III and IV, giving 210° and 330°. Substitute mentally: both sine values are −1/2.
This check is independent of the calculator’s principal inverse value and protects the completeness of the interval solution.
Differentiation: Structure Check Before Algebra Check
For y=x²e^x, a derivative containing only one term should look suspicious because the original is a product of two changing functions. Product rule predicts two contributions before simplification.
dy/dx=2xe^x+x²e^x=e^x(2x+x²).
Structural expectation itself is a check.
Worked Check 4: Chain Rule
Claim: d/dx[(3x+1)^5]=15(3x+1)^4.
Check the outer derivative 5(3x+1)^4 and inner derivative 3. Their product gives 15(3x+1)^4. The factor 15 confirms both layers are represented.
Integration: Differentiate Back
If:
∫(4x−1)^3 dx=(4x−1)^4/16+C,
differentiate:
(1/16)·4(4x−1)^3·4=(4x−1)^3.
The reverse operation confirms the antiderivative exactly.
Use Another Method When It Is Cheap
A quadratic maximum can be found by completing the square or differentiation. If both routes are short, agreement is powerful confirmation.
Example:
A(x)=−x²+10x.
Complete square:
A=−(x−5)²+25.
Maximum 25 at x=5.
Differentiate:
A′=−2x+10=0 → x=5.
Two independent routes agree.
Graph Checks Can Reject Impossible Algebra
If y=(x−2)^2+3, the graph has minimum 3. Any calculated y-value below 3 for a real x is impossible. If y=e^x, outputs must be positive. If y=2sinx+1, outputs must lie between −1 and 3.
Natural ranges and graph features provide fast global checks.
Numerical Checks Are Useful but Not Sufficient
A decimal calculator check can reveal magnitude disagreement, but matching decimals do not always prove symbolic equality over the whole domain. Use numerical testing to audit, not to replace algebraic proof.
For identities, sample values can find counterexamples. If no counterexample appears, a general proof is still needed.
Units and Bounds Are Independent Checks
If dA/dt is an area rate, the units should be area/time. If a computed sine exceeds 1, reject it. If a physical length is negative, revisit the model or candidate filtering.
These checks use meaning rather than repeating algebra.
Verification Decision Tree
- Can I reverse the operation? expand factors, differentiate integrals, recombine fractions.
- Can I substitute? test roots or model data.
- Can I use a different representation? graph versus algebra, completed square versus calculus.
- Can I use bounds? trig range, quadratic minimum, positivity.
- Can I use units? reject dimensionally impossible results.
- Can I use another method cheaply? independent route is strongest when short.
Common Failure Modes
| Error | Cause | Repair |
|---|---|---|
| repeats same solution as “check” | check not independent | reverse or re-represent |
| root substitution omitted | candidate treated as guaranteed | test original equation |
| calculator decimal treated as proof | numerical agreement overtrusted | retain symbolic reasoning |
| partial fractions not recombined | no reverse audit | restore common denominator |
| integration not checked | reverse relationship unused | differentiate antiderivative |
| impossible value accepted | bounds/units ignored | use meaning as independent check |
A 45-Minute Verification Session
- 8 minutes: verify roots and parameter candidates by substitution/domain.
- 8 minutes: reverse-check factorisations and completed squares.
- 8 minutes: recombine two partial-fraction decompositions.
- 8 minutes: differentiate three antiderivatives.
- 8 minutes: cross-check one quadratic maximum by two methods.
- 5 minutes: reject impossible answers using bounds and units.
What Mastery Looks Like
- The learner selects checks based on likely failure points.
- The learner prefers independent reverse operations over rereading.
- The learner verifies transformed representations by reconstruction.
- The learner filters equation candidates in the original problem.
- The learner uses graph, range and unit knowledge as cross-checks.
- The learner can compare two short solution routes when useful.
- The learner investigates disagreement instead of trusting the first answer.
Return to the Additional Mathematics Learning Hub
Additional Mathematics Learning Hub | Secondary 3–4 A-Math Guides
