Several examples can suggest a rule. They do not automatically prove it. Mathematics becomes reliable when a conclusion follows from definitions, established properties and valid logical steps rather than from appearance or repeated coincidence.
This Secondary 2 Mathematics Learning Guide develops conjectures, counterexamples, necessary and sufficient conditions, direct reasoning, explanation and proof. It is designed to strengthen the question behind every method: Why is this step allowed?
Secondary Mathematics Hub: S1–S4 Capability Map · Secondary 2 Learning Guide, Batch 6, Guide 3. Companion guides cover formulae and substitution, patterns and generalisation, and coordinate geometry and locus.
Course boundary. Formal proof conventions increase through upper secondary, but mathematical justification begins much earlier. This guide uses Secondary 2 algebra, number, geometry and patterns to develop reasoning habits without assuming later specialised proof techniques.
Navigate: claims and evidence · conjectures · counterexamples · conditions · deduction · algebraic proof · geometric proof · practice and answers · teaching and transfer.
1. Distinguish a claim from the evidence offered for it
A mathematical claim might be “the sum of two odd integers is even.” Evidence might include 3 + 5 = 8 and 7 + 9 = 16. These examples support the claim, but the proof must explain why every pair of odd integers has an even sum.
The difference matters because a universal statement covers infinitely many cases. Testing a few cases cannot inspect them all.
Worked example 1: a true claim with weak evidence
Claim: adding consecutive odd numbers beginning from 1 gives square numbers: 1 = 1², 1 + 3 = 2², 1 + 3 + 5 = 3². The examples are suggestive. A proof would need a general argument, such as an algebraic sum formula or a geometric arrangement showing each new odd layer grows a square.
Worked example 2: many confirming cases can still mislead
Suppose a student observes that n² + n + 41 is prime for several small positive integers n and conjectures it is always prime. Even a long run of prime outputs would not prove the universal statement. A single composite output would disprove it.
The lesson is not about this particular expression. It is that confirming examples and proof have different logical strength.
2. A conjecture is a reasoned proposal waiting to be tested
Patterns often begin mathematical investigation. A learner notices regularity, states a conjecture, tests boundary cases and then either searches for a proof or revises the claim.
A useful conjecture is precise enough to be true or false. “These numbers seem related” is observation. “The difference between consecutive square numbers is always odd” is a testable statement.
Worked example 3: consecutive squares
Compute 2² − 1² = 3, 3² − 2² = 5, 4² − 3² = 7. Conjecture: the difference between consecutive square numbers is odd.
Let the smaller integer be n. Then (n + 1)² − n² = n² + 2n + 1 − n² = 2n + 1, which is odd for integer n. The algebra proves the pattern generally.
A conjecture should include its domain
The statement “x² ≥ x” is true for some values and false for others. It is true for all integers? Check x = 0 and 1; yes there. Check x = −2; 4 ≥ −2. But for real x = 1/2, 1/4 ≥ 1/2 is false.
A claim about integers can become false when silently extended to all real numbers. The domain is part of the statement.
3. One counterexample can disprove a universal statement
To disprove “all prime numbers are odd,” give the prime number 2. One valid counterexample is enough because the original claim said all.
Counterexamples should satisfy the claim’s conditions and fail its conclusion. An example outside the stated domain proves nothing about the claim.
Worked example 4: geometry counterexample
Claim: “Every quadrilateral with two equal sides is a rectangle.” A kite with two adjacent equal pairs but no right angles provides a counterexample. It satisfies the equal-side condition but not the rectangle conclusion.
Worked example 5: algebra counterexample
Claim: (a + b)² = a² + b² for all real a and b. Take a = 1, b = 1. Left side = 4; right side = 2. The claim is false.
The correct expansion is a² + 2ab + b². The counterexample exposes the missing middle term.
4. Necessary and sufficient conditions prevent theorem misuse
A condition is necessary if the conclusion cannot hold without it. A condition is sufficient if it guarantees the conclusion. A condition can be both.
In a right triangle, satisfying a² + b² = c² with c the longest side is sufficient to establish right-angled structure. Being a triangle is necessary before applying triangle theorems at all.
Worked example 6: rectangle conditions
Having four sides is necessary for being a rectangle, but not sufficient. Having four right angles is sufficient for a quadrilateral to be a rectangle. Equal diagonals alone are not sufficient for every quadrilateral unless additional structure is known.
Reasoning becomes safer when learners ask which condition actually activates a result rather than matching a drawing to a familiar shape.
Worked example 7: circle theorem condition
The statement “an angle in a semicircle is 90°” requires a diameter and a circumference point. A triangle merely drawn inside a circle does not satisfy enough conditions.
This connects directly to the Batch 5 circle guides: theorem names are less important than the conditions that make them valid.
5. Deductive reasoning builds a chain from accepted facts
A deductive argument should make each implication inspectable. If two angles are alternate interior angles on parallel lines, they are equal. If those equal angles form base angles of a triangle, another conclusion may follow. Each step should state or clearly use a valid relationship.
Worked example 8: short geometry chain
Suppose AB is parallel to CD and a transversal produces alternate angles x and 65°. Then x = 65°. If x is also an exterior angle of a triangle whose remote interior angles are 30° and y, then 65 = 30 + y, giving y = 35°.
The first equality comes from parallel lines; the second relationship comes from the exterior-angle theorem. The chain is valid because the two different pieces are connected through the same angle x.
A missing reason makes a proof fragile
Writing x = 65, therefore y = 35 may be numerically correct while hiding why x equals 65. In unfamiliar diagrams, that hidden dependency becomes the place where errors enter.
6. Algebra can prove number statements generally
Representing integers symbolically allows one argument to cover infinitely many cases. An even integer can be written 2k. An odd integer can be written 2k + 1, where k is an integer.
Worked example 9: sum of two odd integers
Let two odd integers be 2m + 1 and 2n + 1. Their sum is 2m + 2n + 2 = 2(m + n + 1), which is divisible by 2. Therefore the sum is even.
The proof does not depend on particular odd numbers. It uses the structure shared by all odd integers.
Worked example 10: product of even and integer
Let an even integer be 2k and another integer be n. Their product is 2kn = 2(kn), so it is even. This proves that any integer multiple of an even integer is even.
Worked example 11: consecutive integers
Two consecutive integers are n and n + 1. One of every pair of consecutive integers is even. Their product n(n + 1) must therefore be even.
An alternative algebraic route separates the cases n even or n odd. The structural observation is shorter here.
7. Geometric proof depends on stated properties, not appearance
A diagram may be intentionally not to scale. A line that looks perpendicular may not be. A triangle that looks isosceles may have no equal-side condition. Proof should use labels, marks, coordinates or stated facts rather than visual impression.
Worked example 12: isosceles reasoning
If AB = AC in triangle ABC and angle B = 52°, then angle C = 52° because angles opposite equal sides are equal. Angle A = 180° − 104° = 76°.
The equality AB = AC is the condition. Without it, equal base angles cannot be assumed.
Worked example 13: coordinate proof of a midpoint
Let A = (2,4) and B = (8,10). The midpoint formula gives M = ((2 + 8)/2, (4 + 10)/2) = (5,7). Vector differences AM = (3,3) and MB = (3,3), confirming equal directed displacement.
The coordinate calculation proves the midpoint property rather than relying on where M looks positioned on a sketch.
8. Proof, verification and explanation are related but not identical
A proof establishes a statement generally under stated conditions. Verification checks whether a specific answer or case is consistent. An explanation communicates why a step follows. A good solution may use all three.
For example, expanding (x + 3)(x + 5) verifies a proposed factorisation. A general derivation of the distributive law would be a broader proof. Explaining which pair of terms creates the middle coefficient communicates the structure.
9. Common reasoning failures
- Several examples treated as proof: repair universal reasoning.
- Counterexample outside the claim’s domain: repair condition reading.
- Converse assumed automatically: repair logical direction.
- Diagram appearance used as evidence: repair stated-condition discipline.
- Correct calculation with no theorem condition: repair justification.
- One failed example used to reject an existential claim: repair claim type.
- Variables introduced without domain: repair symbolic meaning.
- Proof ends before connecting result to claim: repair conclusion ownership.
10. Practice: test the statement before trusting it
Questions 1–6. 1. Is “all multiples of 4 are even” true? Give a reason. 2. Is “all even numbers are multiples of 4” true? Give a counterexample. 3. Is “if a quadrilateral has four equal sides, it is a square” true? Give a counterexample if false. 4. Does checking five examples prove a universal statement? 5. State the domain needed in “n and n + 1 are consecutive integers.” 6. Explain why a counterexample must satisfy the original conditions.
Questions 7–12. 7. Prove that the sum of two even integers is even. 8. Prove that odd + even is odd. 9. Show that the difference between consecutive squares is odd. 10. Give a counterexample to (a − b)² = a² − b². 11. In a triangle, two sides are equal. State the corresponding angle conclusion. 12. Explain why that conclusion cannot be used without the equal-side condition.
Questions 13–18. 13. A claim says all numbers of the form n² + n are even for integer n. Test three cases. 14. Prove the claim. 15. A point M is visually halfway between A and B on a rough diagram. Is that enough to prove midpoint? 16. Give one coordinate method that could prove it. 17. Explain the difference between proof and verification. 18. Give one situation where a necessary condition is not sufficient.
Explained answers 1–6
1. True: every multiple of 4 has form 4k = 2(2k), so it is even. 2. False; 6 is even but not a multiple of 4. 3. False; a non-square rhombus has four equal sides without four right angles. 4. No. Examples support a conjecture but do not cover infinitely many cases.
5. n should be an integer. 6. A counterexample only disproves the claim if it belongs to the claim’s stated domain and conditions.
Explained answers 7–12
7. Let the integers be 2m and 2n. Sum = 2(m + n), even. 8. Let odd = 2m + 1 and even = 2n. Sum = 2(m + n) + 1, odd. 9. (n + 1)² − n² = 2n + 1, odd.
10. a = 2, b = 1 gives left side 1 and right side 3. 11. Angles opposite the equal sides are equal. 12. The theorem depends on the equal-side condition; appearance alone does not establish it.
Explained answers 13–18
13. n = 1 gives 2; n = 2 gives 6; n = 3 gives 12, all even. 14. n² + n = n(n + 1), the product of consecutive integers; one is always even, so the product is even. 15. No; a rough diagram is not proof.
16. Compute the midpoint coordinates and compare with M, or show AM and MB have equal vector differences. 17. Proof establishes a general statement under conditions; verification checks a particular result or representation. 18. Having four sides is necessary for a rectangle but not sufficient.
11. Teaching sequence: conjecture → test → challenge → justify
Begin with patterns that invite a conjecture. Ask for confirming examples, then deliberately search for boundary cases and counterexamples. Once the claim survives testing, ask what general structure would prove it.
In geometry, hide the numerical answer and ask which condition activates the theorem. In algebra, ask what domain the variable belongs to. In every topic, encourage the learner to separate “I calculated it” from “I know why the calculation is valid.”
Questions parents and tutors can ask
What exactly are you claiming? Is it meant to be true for all cases or just one? Which conditions are required? Can you find a case that would break it? If no counterexample appears, what argument covers every case? Which step in your solution uses the stated property?
12. The transfer test: remove the chapter name
Suppose a student sees 5, 11, 17, 23 and conjectures the nth term is 6n − 1. Checking n = 1, 2 and 4 supports the rule. The deeper question is why constant difference 6 and first term 5 force that linear rule within the intended arithmetic-sequence model.
Now change the context to a row of tiles growing by six each stage. The same formula can be justified by counting one fixed component plus six per stage. A proof or explanation survives the changed surface because the relationship, not the chapter label, carries the reasoning.
State the claim precisely. Respect its domain. Test examples. Search for counterexamples. Identify the condition that activates each result. Use a general argument when the claim is universal.
Continue to Coordinate Geometry, Distance, Midpoint and Locus · Return to the Secondary Mathematics Hub.
