Secondary 4 Additional Mathematics: Some Problems Cannot Be Solved Along One Straight Path
Case analysis is the discipline of splitting a mathematical problem only where the logic genuinely branches, solving every admissible branch, then recombining the results into one complete answer. It becomes essential when signs matter, absolute values change form, trigonometric equations generate several families, parameters alter the type of an equation, or domain restrictions make different intervals behave differently.
The danger is not merely getting a wrong value. It is producing an incomplete solution set that looks plausible because one successful branch was found and the others were forgotten.
A complete solution is not the first valid case. It is every valid case, with every invalid branch accounted for.
The Simple Answer
- Branch point: a condition where the mathematics can legitimately follow different routes.
- Case: one branch defined by a stated condition.
- Exhaustive set: a collection of cases that covers every possibility allowed by the original problem.
- Disjoint cases: branches that do not overlap.
- Recombination: collecting surviving branch results into the final solution set.
The objective is to branch only when necessary and to prove that the branches cover the whole problem.
Why Branches Appear
- A square root or absolute value changes behaviour by sign.
- A trigonometric equation produces multiple angular branches.
- A parameter changes the number or type of roots.
- A rational expression changes sign across critical values.
- A piecewise or restricted function changes rule across intervals.
- A geometric configuration admits more than one orientation.
- An algebraic factor gives several possible zero conditions.
The common structure is that one statement no longer describes all admissible states.
Worked Example 1: Zero-Product Branching
If
(x − 2)(x + 5) = 0,
then the product is zero if either factor is zero. The branches are x = 2 or x = −5. Writing only the first root gives a valid case but not an exhaustive solution set.
This simple example contains the core logic of much more advanced case analysis: identify the branch rule, solve each branch, collect the valid results.
Trigonometric Branches
Trigonometric equations are naturally branch-rich because periodic functions repeat values. Solving sin x = 1/2 does not end with a single inverse-sine result. The learner must generate every relevant angle branch and then filter by the requested interval.
Worked Example 2: Complete Interval Solution
For 0° ≤ x ≤ 360°:
sin x = 1/2
gives x = 30° and x = 150°. The inverse function returns a principal value, but the full interval solution requires the second branch as well.
The process is:
- find the reference or principal angle;
- identify quadrants where the trigonometric sign matches;
- generate all angles in the stated interval;
- check endpoints if included;
- substitute if the transformed equation was more complex.
Substitution Can Create Branches
Suppose u = sin x and a quadratic in u gives u = 1/2 or u = 2. Algebra creates two branches, but the inherited constraint −1 ≤ u ≤ 1 eliminates u = 2. The remaining branch still expands into multiple x-values over a suitable interval.
There are therefore two levels of branching: algebraic candidate branches and trigonometric angle branches.
Absolute-Value Thinking
An absolute value represents two sign states. For |x| = 4, the branches are x = 4 and x = −4. For expressions such as |f(x)|, the branch boundary occurs where f(x) changes sign.
Even when absolute value is not an explicit syllabus focus in a particular question, the same case logic appears in distance, magnitude and square-root situations.
Parameter Boundaries: When the Mathematical Type Changes
Parameter problems often contain special boundary values where an equation changes character. A quadratic may become linear if its x² coefficient becomes zero. A discriminant may cross from positive to zero to negative. A denominator may vanish. A logarithm argument may reach zero.
These are not technical footnotes. They are branch points that must be examined separately.
Worked Example 3: A “Quadratic” That Can Stop Being Quadratic
Consider
(k − 1)x² + 3x + 2 = 0.
If k ≠ 1, the equation is quadratic and discriminant reasoning may apply. If k = 1, the x² term disappears and the equation becomes linear:
3x + 2 = 0.
A solution that applies the quadratic formula for all k has silently assumed k ≠ 1. Complete analysis isolates the degenerate branch first.
Before applying a theorem, confirm that the problem still belongs to the theorem’s mathematical type.
Sign Charts Are Case Analysis
When solving inequalities, critical values divide the number line into intervals. Each interval is effectively a case in which factor signs are stable. Testing one representative point can determine the sign of the whole interval when the structure permits.
For a rational inequality, zeros of the numerator and excluded zeros of the denominator create the interval boundaries. Endpoint inclusion must then be handled separately.
Worked Example 4: Interval Branching
For
(x − 1)/(x + 2) > 0,
critical values are x = 1 and x = −2. They divide the number line into three cases:
- x < −2;
- −2 < x < 1;
- x > 1.
Sign analysis shows the expression is positive on the first and third intervals. x = −2 is excluded because the expression is undefined; x = 1 is excluded because the inequality is strict. Hence the solution is x < −2 or x > 1.
Geometry Can Have Multiple Configurations
A coordinate or geometric problem may permit more than one point satisfying a distance condition, more than one tangent, or symmetric solutions on opposite sides of an axis. A diagram drawn in only one orientation can hide the second case.
When a condition involves squared distance, circle intersections or symmetry, ask whether reflection creates another valid configuration.
The Exhaustiveness Test
After solving the branches, ask whether every possibility in the original domain belongs to exactly one case or at least one explicitly handled case. A branch system is incomplete if there is a gap.
- What event caused the branch?
- Have all outcomes of that event been listed?
- Are boundary values handled?
- Do any cases overlap?
- Are there domain states outside the cases?
- Has each surviving candidate been checked in the original problem?
Branch Trees
For complex problems, draw a small branch tree. Each node should represent a real mathematical decision, not a guess. For example:
parameter k → k = 1 / k ≠ 1 → if k ≠ 1, discriminant > 0 / = 0 / < 0.
The tree makes omitted cases visible before algebra begins.
Worked Example 5: Layered Branching
Suppose a parameter equation is quadratic only for k ≠ 0 and the question asks for values of k that produce two distinct real roots. The branch architecture is:
- k = 0: inspect the reduced equation separately.
- k ≠ 0: confirm quadratic structure.
- Within k ≠ 0: require Δ > 0.
- Solve the resulting inequality in k.
- Remove any k-values violating earlier restrictions.
The order matters because a discriminant condition applied before confirming a nonzero quadratic coefficient can produce invalid conclusions.
Case Analysis vs Random Trial
Case analysis is systematic. Random trial tries several possibilities without proving completeness. The distinction is crucial in proof and parameter questions. A solution is complete only when the set of possibilities has been partitioned or otherwise covered logically.
Common Secondary 4 Branching Errors
- Stopping after the first valid root.
- Using an inverse trigonometric value as the whole interval solution.
- Forgetting a degenerate parameter value that changes a quadratic into a linear equation.
- Ignoring denominator zeros when creating sign intervals.
- Overlapping cases and double-counting answers.
- Leaving a gap between cases.
- Failing to check branch results against the original domain.
- Assuming the drawn geometric configuration is the only one.
- Branching unnecessarily and creating avoidable complexity.
The Case-Analysis Decision Tree
- Is there a genuine condition that changes the mathematical rule?
- If yes, list every possible state of that condition.
- Handle special boundary or degenerate cases first.
- Solve each remaining branch independently.
- Apply inherited constraints inside each branch.
- Recombine surviving results.
- Test exhaustiveness and overlap.
- State the final solution set clearly.
A Six-Stage Training Sequence
- Practise zero-product equations and simple two-branch logic.
- Build complete trigonometric interval solutions.
- Use sign charts as interval case analysis.
- Handle substitutions with inherited range constraints.
- Analyse parameter values that change equation type or root count.
- Complete mixed problems and prove that the final branch set is exhaustive.
Checkpoint: Exhaustive Solution Control
- What makes a collection of cases exhaustive?
- Why must k = 1 be separated in (k − 1)x² + 3x + 2 = 0?
- Why is one inverse-sine output not usually the complete trigonometric answer?
- What creates interval cases in a rational inequality?
- What should happen after all branches are solved?
Checkpoint Answers
- The cases together cover every possibility allowed by the original problem.
- Because k = 1 removes the quadratic term and changes the equation’s type.
- Periodic trigonometric functions can take the same value at multiple angles in the stated interval.
- Zeros, excluded denominator values and other critical points where the sign may change.
- Filter against the original constraints, recombine surviving results and check completeness.
Wintour House V1.0 Learning Standard
Wintour House V1.0 treats branching as controlled state management. CivDJ identifies genuine mathematical branch points, isolates degenerate states, solves each admissible branch, filters local results through domain gates and performs an exhaustive return check before the final solution set is witnessed. The aim is to prevent a correct partial route from masquerading as a complete answer.
Complete mathematics accounts for the branches it keeps and the branches it rejects.
