Small Group Tutorials

Here to help students catch up, keep up, and move ahead. Book a consultation here.

Secondary 4 Mathematics Learning Guide | AO3 Mathematical Argument: Justification, Counterexamples, Evidence and Complete Explanations

A correct answer is not always a complete mathematical answer. Some questions ask you to show why a statement follows, explain what a result means, justify a choice, reject a claim, or build a chain of reasoning whose conclusion is supported by the conditions given.

This forty-seventh Secondary 4 Mathematics Learning Guide owns that AO3 reasoning layer. It belongs to the Secondary Mathematics Hub and S1–S4 Capability Map.

The current SEC G3 Mathematics syllabus describes AO3 as reasoning and communicating mathematically: justify mathematical statements, provide explanations in context and write mathematical arguments. Official reference: SEAB 2027 SEC G3 Mathematics K310 syllabus.

An argument has structure

A useful mathematical argument often has four parts:

  1. Claim: what are you trying to establish?
  2. Evidence: what facts, calculations or properties are available?
  3. Reason: why does the evidence support the claim?
  4. Conclusion: what follows, with the required scope and conditions?

A number becomes an argument only when the reader can see why it proves what you say it proves.

Justification is not decoration

Consider a geometry question where an angle is found to be 62°. Writing only “62°” may omit the relationship used. Writing “62°, alternate angles because the lines are parallel” connects the value to a valid condition.

The reason matters because the same diagram could contain many angle relationships, and some are valid only under particular conditions.

Worked Example 1 | Angle justification

Two parallel lines are cut by a transversal. One angle is 118°. Find the corresponding angle.

118°, because corresponding angles between parallel lines are equal.

Definitions are powerful evidence

A mathematical definition tells us what must be true. If a quadrilateral is a parallelogram, opposite sides are parallel. If a number is even, it can be written as 2k for some integer k. If two events are mutually exclusive, they cannot occur together in the same trial.

Definitions let us reason forward without guessing from appearance.

Worked Example 2 | Even plus even

Show that the sum of two even integers is even.

Let the integers be 2m and 2n, where m and n are integers.

2m+2n=2(m+n).

Since m+n is an integer, the sum is 2 times an integer. Therefore the sum is even.

One example can support possibility, not universality

If you show that 3²+4²=5², you have demonstrated one right triangle. You have not proved that all triples of positive integers satisfy the Pythagorean relationship.

A single example can prove that something can happen. It cannot usually prove that something happens in every case.

A counterexample can destroy a universal claim

To refute “all prime numbers are odd”, it is enough to give the prime number 2. The claim says every prime is odd; one valid exception is sufficient to show it is false.

Worked Example 3 | Counterexample

A student claims, “If x²>9, then x>3.” Is the claim always true?

No. Take x=−4.

(−4)²=16>9, but −4 is not greater than 3.

Therefore the original claim is false. The correct real-number conclusion is x<−3 or x>3.

Deduction means moving from accepted facts to a necessary conclusion

If A=B and B=C, then A=C. If a triangle has two equal sides, the opposite base angles are equal. If a line has gradient 2 and a second line is parallel to it, the second line also has gradient 2.

Each step should follow from something already established.

Worked Example 4 | Coordinate deduction

A(0,0), B(4,2), C(6,6), D(2,4). Show that AB is parallel to DC.

Gradient AB=(2−0)/(4−0)=1/2.

Gradient DC=(6−4)/(6−2)=2/4=1/2.

AB∥DC because the two non-vertical lines have equal gradients.

The calculation supplies evidence; the equal-gradient property supplies the reason; the parallel conclusion completes the argument.

Necessary and sufficient are different

A condition may be necessary without being sufficient. For a number to be divisible by 6, it must be even. But being even alone does not guarantee divisibility by 6: 8 is even but not divisible by 6.

A complete argument should not claim more than the evidence establishes.

Worked Example 5 | Test sufficiency

Claim: “If a quadrilateral has one pair of parallel sides, it is a parallelogram.”

The condition is not sufficient. A trapezium can have one pair of parallel sides without being a parallelogram.

One pair of parallel sides does not force both pairs to be parallel.

Explanation in context is part of reasoning

If a model produces x=14.2 buses, the mathematical number is not yet a practical answer. The situation may require at least 15 whole buses. The explanation should state why 14.2 is rounded upward rather than to the nearest integer.

Worked Example 6 | Contextual explanation

430 people must be transported in buses carrying at most 40 people each. Find the minimum number of buses.

430/40=10.75.

11 buses are required because the number of buses must be a whole number and 10 buses can carry only 400 people.

The justification explains the direction of rounding.

Evidence can come from algebraic equivalence

To show that two algebraic expressions are equivalent, transform one into the other using valid operations.

Worked Example 7 | Identity by expansion

Show that (x+3)²−(x−3)²=12x.

Expand:

(x²+6x+9)−(x²−6x+9)

=x²+6x+9−x²+6x−9=12x.

Because the transformation is algebraically valid for every real x, the identity holds across that domain.

Graphs can support arguments, but precision matters

A graph can show that two curves appear to intersect twice, that a quadratic has no real x-intercepts, or that a local gradient is positive. But graph-reading accuracy is limited by scale and drawing precision.

Do not claim an exact irrational root from a rough graph unless the exact value is independently established.

Worked Example 8 | Graphical evidence

A plotted parabola y=x²+4 remains above the x-axis for the visible range, and algebra confirms x²+4>0 for every real x because x²≥0.

Therefore x²+4=0 has no real solution.

The graph suggests the result; the algebra gives a general justification.

Statistical arguments must not overclaim

If Class A has a higher median than Class B, it does not follow that every student in A scored higher than every student in B. A median summarises centre, not individual ordering across the two entire groups.

Worked Example 9 | Compare data sets carefully

Class A has median 72 and interquartile range 8. Class B has median 68 and interquartile range 14.

Class A has the higher median and the smaller middle-50% spread, so its central performance is higher and more consistent by these two summaries.

It would be too strong to claim that every A student outperformed every B student.

Probability arguments need event logic

To justify multiplication of probabilities, identify the event sequence and whether later probabilities change. To add event probabilities, establish whether events are mutually exclusive or whether overlap must be handled.

Worked Example 10 | Explain a changing denominator

A bag has 4 red and 3 blue counters. Two are drawn without replacement. Why is P(RR)=4/7×3/6?

After one red counter is drawn, 3 red counters remain among 6 total counters, so the second probability is 3/6 rather than 4/7.

A complete argument controls scope

Words such as “always”, “sometimes”, “for all”, “there exists”, “must” and “may” change the burden of proof.

  • To establish always, a general argument is normally needed.
  • To establish sometimes, one valid example may be enough.
  • To refute always, one counterexample is enough.
  • To establish must, alternatives need to be ruled out.

Worked Example 11 | Scope language

Claim: “The square of an integer is always non-negative.”

For any integer n:

n²=n×n≥0.

Therefore the claim holds for all integers. Testing n=2 and n=−3 would support intuition, but the general reasoning establishes the universal statement.

Reasoning by contradiction can expose impossibility

Sometimes a proposed condition leads to a result that conflicts with a known fact. In school Mathematics, this often appears informally: assume a value is possible, follow the consequences, then show it violates a denominator restriction, a geometric constraint or a physical condition.

Worked Example 12 | Reject an inadmissible root

Solving x/(x−2)=2/(x−2) gives x=2 after multiplying by x−2. But the original denominator is zero at x=2.

Therefore x=2 cannot be a solution to the original equation, and the equation has no solution.

Explain the choice of method when the question asks why

If two sides and the included angle of a triangle are known, the cosine rule is appropriate for finding the third side. The justification should connect the known-data pattern to the method.

Worked Example 13 | Method choice

A triangle has sides 7 cm and 11 cm enclosing angle 48°. Explain why the cosine rule is suitable for finding the third side.

Two sides and the included angle are known, which matches the side-angle-side form of the cosine rule.

The argument audit

  1. What is the claim?
  2. What evidence is actually given or calculated?
  3. Which theorem, definition, algebraic rule or contextual condition connects the evidence to the claim?
  4. Have I considered alternative cases?
  5. Does a counterexample exist?
  6. Am I claiming more than the evidence supports?
  7. Have I explained the conclusion in the context required?

Common failure modes

FailureWhat is missingRepair
Writes only the final numberReasonName the property or relationship used
Uses one example to prove “always”GeneralityGive a general argument
Rejects a claim without a counterexample or reasoningEvidenceProduce a valid exception or contradiction
States “parallel” because lines look parallelAuthorised conditionUse given markings or prove equal gradients
Rounds 10.75 buses to 11 without explanationContextual justificationState whole-number capacity constraint
Says one class is “better” from median aloneScope controlState exactly what the statistic supports
Method name given with no reasonConnection between data pattern and methodExplain why the known quantities match the technique

Independent practice

  1. Give a counterexample to “If n² is divisible by 4, then n is divisible by 4.”
  2. Show that the sum of two odd integers is even.
  3. A line through A and B has gradient 3. A second line through C and D also has gradient 3. What can you conclude if the lines are distinct?
  4. 430 people travel in vehicles carrying 36 people each. Explain the minimum whole number of vehicles required.
  5. Class X has mean 70 and standard deviation 4; Class Y has mean 68 and standard deviation 9. Write a careful comparison.
  6. Explain why a negative length obtained from an algebraic model is rejected in an ordinary geometry context.

Explained answers

1. n=2. Then n²=4 is divisible by 4, but 2 is not divisible by 4. So the claim is false.

2. Let odd integers be 2a+1 and 2b+1. Their sum is 2a+2b+2=2(a+b+1), which is twice an integer, so it is even.

3. The distinct non-vertical lines are parallel because they have equal gradients.

4. 430/36≈11.94, so 12 vehicles are required. Eleven can carry only 396 people.

5. X has the higher mean and smaller standard deviation, so by these summaries X has a higher average and less spread. This does not imply every X score exceeds every Y score.

6. A physical length cannot be negative under the ordinary model, so the algebraic root violates the contextual domain and is rejected.

The examination habit: write the bridge sentence

When reasoning is required, add the sentence that connects evidence to conclusion:

  • “Therefore the lines are parallel because their gradients are equal.”
  • “Therefore 11 buses are needed because 10 do not have sufficient capacity.”
  • “Therefore the claim is false; x=−4 is a counterexample.”
  • “Therefore the root is rejected because it makes the original denominator zero.”

That bridge sentence is often the missing piece between working and argument.

Final thought

AO3 reasoning is not a separate chapter after the Mathematics is finished. It is the discipline of making the mathematical path inspectable: what you claim, what you know, why the conclusion follows and where the limits of that conclusion lie.

Do the calculation, but also make the logic visible enough that another reader can see why the conclusion deserves to be believed.

Continue with The Final Paper 2 Real-World Scenario or return to the Secondary Mathematics Hub.