Secondary 4 Additional Mathematics: A Solution Is Not Valid Until It Survives the Original Conditions
Additional Mathematics regularly produces candidate answers that must still be filtered. A logarithm requires a positive argument. A denominator cannot be zero. A square root may restrict the domain. A trigonometric equation may admit infinitely many mathematical solutions but the question may allow only one interval. Squaring an equation can introduce extraneous roots. A substitution variable may have conditions inherited from the expression it represents.
At Secondary 4, this filtering discipline becomes essential because many lost marks come after correct algebra. The learner solves the transformed equation accurately, writes every root found and forgets to ask whether those roots belong to the original problem.
Solving generates candidates. Constraints decide which candidates are answers.
The Simple Answer
- Domain: the set of input values for which the original expression or function is defined.
- Admissibility: whether a candidate solution satisfies every condition of the original problem.
- Interval restriction: a stated range such as 0° ≤ x ≤ 360° or a ≤ x ≤ b.
- Extraneous solution: a root introduced by a transformation that does not satisfy the original equation.
- Hidden constraint: a condition implied by structure, such as denominator ≠ 0 or logarithm argument > 0.
A safe solver records constraints early, not only at the end.
Denominator Restrictions
If an expression contains a denominator, any value making that denominator zero is excluded from the domain.
For example, in
f(x) = (x + 1)/(x − 3),
x = 3 is not allowed. Even if later algebra appears to produce x = 3 as a root, it must be rejected because the original function is undefined there.
Worked Example 1: Cancellation Does Not Restore a Forbidden Input
Consider
(x² − 9)/(x − 3).
Factor the numerator:
(x − 3)(x + 3)/(x − 3) = x + 3,
but only for x ≠ 3. The simplified expression x + 3 is algebraically equivalent on the original domain, but the original function still has a hole at x = 3.
This distinction matters in graphing, solving and function equivalence.
Logarithmic Constraints
For real logarithms, the argument must be positive. If a problem contains
log(x − 2),
then x − 2 > 0, so x > 2.
If several logarithms appear, every argument must be positive simultaneously. These conditions should be collected before or alongside algebraic manipulation.
Worked Example 2: Logarithmic Candidate Filtering
Solve
log(x − 1) + log(x − 3) = log 8.
Domain conditions require x > 3. Combine logarithms:
log[(x − 1)(x − 3)] = log 8,
so
(x − 1)(x − 3) = 8.
x² − 4x + 3 = 8.
x² − 4x − 5 = 0.
(x − 5)(x + 1) = 0.
The algebra gives x = 5 or x = −1. Only x = 5 satisfies x > 3. Therefore x = 5 is the valid solution.
The rejected root is not an algebra mistake. It is an inadmissible candidate.
Square Roots and Squaring
A real square-root expression √g(x) requires g(x) ≥ 0. If an equation is squared, candidate solutions must be checked in the original equation because squaring is not fully reversible over all real expressions.
Worked Example 3: Extraneous Root After Squaring
Solve √(x + 2) = x − 2.
The right side must be non-negative, so x ≥ 2. Squaring gives
x + 2 = (x − 2)²
x + 2 = x² − 4x + 4
x² − 5x + 2 = 0.
The quadratic solutions are candidates only. Each must satisfy x ≥ 2 and the original square-root equation. The checking stage is logically required because squaring may admit states that were impossible before the transformation.
Trigonometric Equations: General Solutions and Stated Intervals
Trigonometric equations are periodic, so one basic angle can produce multiple solutions. The question often restricts the allowed interval. A complete answer must generate all candidates in that interval and exclude those outside it.
For example, if sin x = 1/2 and 0° ≤ x ≤ 360°, the valid solutions are x = 30° and 150°. Writing only the reference angle 30° is incomplete; writing 390° is outside the allowed interval.
Calculator mode is also a constraint. Degrees and radians are different measurement systems. The mode must match the problem.
Worked Example 4: Quadratic in a Trigonometric Function
Suppose
2sin²x − 3sin x + 1 = 0.
Let u = sin x:
2u² − 3u + 1 = 0
(2u − 1)(u − 1) = 0.
So sin x = 1/2 or sin x = 1. The final x-values depend on the stated interval. The substitution step generates trigonometric conditions; it does not itself finish the problem.
Inverse Functions and Restricted Domains
A function must be one-to-one on its stated domain to possess a single-valued inverse in the usual sense. The quadratic f(x) = x² is not one-to-one over all real numbers. Restricting to x ≥ 0 makes its inverse √x; restricting to x ≤ 0 produces the negative square-root branch.
Therefore inverse questions are also domain questions. The chosen domain determines which reverse mapping is valid.
Substitution Carries Constraints With It
If u = eˣ, then u > 0. If u = sin x, then −1 ≤ u ≤ 1. If u = x², then u ≥ 0 for real x. These inherited constraints can eliminate algebraic roots before the substitution is reversed.
Worked Example 5: Exponential Substitution
Suppose an equation becomes
u² − 5u + 6 = 0
after setting u = eˣ. Then u = 2 or 3, both admissible because u must be positive. If the algebra had produced u = −2, that branch could be rejected immediately without attempting ln(−2).
The substitution variable is not free. It inherits the range of the expression it replaces.
Inequalities and Boundary Inclusion
Strict inequalities exclude equality boundaries. Non-strict inequalities include them when the original expression is defined there. For rational inequalities, denominator zeros remain excluded even if a sign chart seems to suggest inclusion.
This is why number-line solutions need more than interval shape. Boundary symbols matter.
The Constraint Ledger
A practical Secondary 4 habit is to keep a short constraint ledger beside the working.
| Source | Constraint |
|---|---|
| Denominator | Must not equal zero. |
| Real logarithm | Argument must be positive. |
| Real square root | Radicand must be non-negative. |
| Inverse function | Domain must support one-to-one reversal. |
| Trigonometric equation | Solutions must lie in stated interval and match angle mode. |
| Substitution | New variable inherits the range of the substituted expression. |
| Model/context | Lengths, times or other quantities may have physical restrictions. |
The ledger reduces memory load because the conditions remain visible while algebra is being transformed.
Model Constraints: Mathematics Can Produce Impossible Contextual Values
A model may produce a negative length, a time outside the stated interval or a parameter value inconsistent with the situation. Such values can be mathematically valid roots of the equation but invalid answers to the real problem.
Always return to the defined variables and ask whether the solution has meaning in context.
The Solution-Filtering Decision Tree
- What restrictions exist before solving? Record them.
- Did any step enlarge the candidate set? Squaring, clearing denominators or substitution may require extra checking.
- Does each candidate lie in the original domain?
- Does each candidate satisfy the stated interval?
- Does each candidate satisfy inherited substitution constraints?
- Does each candidate satisfy the original equation?
- Does the value make sense in the model or geometry?
Common Secondary 4 Constraint Errors
- Solving a logarithmic equation without checking that every logarithm argument is positive.
- Cancelling a factor and then forgetting its original excluded value.
- Accepting all roots after squaring.
- Giving only one trigonometric solution when the interval contains several.
- Giving a mathematically correct trigonometric angle outside the stated interval.
- Using radians when the problem is in degrees, or vice versa.
- Forgetting that u = eˣ implies u > 0.
- Treating inverse-function algebra as sufficient without checking one-to-one structure.
- Including a denominator zero as an inequality boundary.
- Keeping a negative physical quantity when the variable represents a length or elapsed time.
Error Repair: Separate Algebra From Admissibility
If a learner gets a constraint problem wrong, identify whether the failure was algebraic or admissibility-based. A student who solves the transformed equation correctly but keeps an invalid root does not need more factorisation practice. The repair is to strengthen the return-to-original-condition habit.
A Six-Stage Training Sequence
- Identify domains from denominators, roots and logarithms before solving.
- Solve equations that generate one admissible and one inadmissible root.
- Practise trigonometric solution filtering over different intervals.
- Carry constraints through substitutions such as u = eˣ or u = sin x.
- Apply domain restrictions to inverse functions and rational inequalities.
- Complete mixed examination questions where the main difficulty is not solving but filtering correctly.
Checkpoint: Constraint Control
- What condition must a real logarithm argument satisfy?
- If a denominator factor cancels, is its zero value automatically restored to the domain?
- Why must roots often be checked after squaring?
- If u = eˣ, what restriction applies to u?
- What distinguishes a candidate solution from a valid final solution?
Checkpoint Answers
- It must be positive.
- No. The original denominator zero remains excluded.
- Squaring can introduce extraneous candidates.
- u > 0.
- A valid final solution satisfies the original equation, domain, interval and any contextual constraints.
Wintour House V1.0 Learning Standard
Wintour House V1.0 treats constraints as gates in the solution route. CivDJ reasoning records admissibility before transformation, allows algebra to generate candidates, then passes each candidate back through domain, interval, substitution and context gates before admitting it as a final answer.
The final answer is the candidate that survives every gate.
