Working Mathematically - Reasoning
KS3MA-KS3-D002
Cross-cutting domain focused on mathematical reasoning through enquiry, conjecturing relationships, and developing arguments, justifications and proofs
National Curriculum context
Mathematical reasoning at KS3 moves beyond recall and procedure to require pupils to construct and present mathematical arguments with rigour. Pupils learn to conjecture, test cases, make generalisations and prove results — progressing from informal reasoning ('it always seems to work') to more formal justification ('this must be true because...'). The curriculum explicitly requires that pupils can reason deductively in geometry, number and algebra, recognise when proofs are incomplete or flawed, and construct chains of reasoning to reach logical conclusions. Developing this habit of reasoning formally is preparation not only for GCSE and A-level Mathematics but for quantitative reasoning across all academic disciplines.
3
Concepts
1
Clusters
1
Prerequisites
3
With difficulty levels
Lesson Clusters
Construct and communicate formal mathematical arguments and proofs
practice CuratedMathematical reasoning, formal argument and geometric proof are a coherent cluster. C095 co-teaches with C075 and C089. Geometric proof is an application of formal argument in a specific domain.
Prerequisites
Concepts from other domains that pupils should know before this domain.
Concepts (3)
Geometric proof
process AI FacilitatedMA-KS3-C075
Using known results to obtain simple proofs about angles and sides
Teaching guidance
Start with structured arguments where the logical steps are given but pupils must fill in the reasons. Progress to semi-structured proofs where some steps are given. Model the structure of a formal proof: state what is given, state what is to be proved, write each step with justification. Use angle-chasing problems (finding all angles in a diagram using known properties) as a precursor to proof. Encourage pupils to explain their reasoning verbally before writing it formally. Include proofs of familiar results (angle sum of a triangle, exterior angle theorem) to show how proof establishes certainty.
Common misconceptions
Pupils often think that checking specific examples constitutes proof. Others confuse a proof with a demonstration or an explanation. The distinction between 'I checked 10 examples and it worked' (not proof) and 'I showed it must always work using logical reasoning' (proof) is fundamental. Some pupils write calculations without justification, presenting the answer but not the argument.
Difficulty levels
Can state known angle facts (e.g. angles on a straight line sum to 180°) and apply them to simple diagrams with direct prompting.
Example task
Two angles on a straight line are 110° and x°. Find x.
Model response: Angles on a straight line add up to 180°. So x = 180 - 110 = 70°.
Applies multiple angle facts in sequence to find missing angles, giving a reason for each step.
Example task
In a triangle, one angle is 50° and another is 65°. A line extends from one vertex. Find the exterior angle at the third vertex and explain your reasoning.
Model response: Step 1: The third angle of the triangle = 180° - 50° - 65° = 65° (angles in a triangle sum to 180°). Step 2: The exterior angle = 180° - 65° = 115° (angles on a straight line sum to 180°). Alternatively, the exterior angle equals the sum of the two non-adjacent interior angles: 50° + 65° = 115°.
Constructs a multi-step geometric argument, selecting and applying appropriate facts in a logical chain to prove a result about angles or sides.
Example task
Prove that the sum of the interior angles of any quadrilateral is 360°.
Model response: Any quadrilateral can be split into two triangles by drawing one diagonal. Each triangle has an angle sum of 180°. The angles of the two triangles together make up all four interior angles of the quadrilateral. Therefore the angle sum of a quadrilateral = 180° + 180° = 360°.
Constructs rigorous proofs using deductive reasoning, including proof by exhaustion and counterexample, identifying when a proof is complete or flawed.
Example task
Alex says: 'The exterior angle of a triangle is always greater than either of the non-adjacent interior angles.' Prove or disprove this statement.
Model response: Proof: Let the three interior angles be a, b, c where the exterior angle is at vertex C. The exterior angle at C = 180° - c. Since a + b + c = 180°, we have a + b = 180° - c. So the exterior angle = a + b. Since a > 0 and b > 0 (all angles in a triangle are positive), the exterior angle (a + b) > a and (a + b) > b. Therefore the exterior angle is always strictly greater than either non-adjacent interior angle. The proof is complete because it holds for all valid triangles (all angles positive).
Delivery rationale
Secondary maths process concept — problem-solving benefits from structured AI delivery with facilitator for extended reasoning.
Mathematical reasoning
process AI FacilitatedMA-KS3-C089
Following lines of enquiry, conjecturing and developing mathematical arguments
Teaching guidance
Develop reasoning through structured tasks: 'always, sometimes, never' activities, 'what's the same, what's different?' comparisons, and 'odd one out' discussions. Teach the language of reasoning explicitly: conjecture, justify, prove, counter-example, generalise. Use rich tasks that require explanation rather than just answers: 'Explain why the sum of two odd numbers is always even.' Model reasoning orally before requiring written reasoning. Progress from informal reasoning ('I noticed that...') to formal reasoning ('This must be true because...').
Common misconceptions
Pupils often think that giving a correct answer constitutes reasoning, without understanding that reasoning requires explaining why. Some pupils believe that showing a few examples proves a conjecture, not understanding the difference between examples and proof. Others think mathematical reasoning is only relevant in geometry, not recognising its role across all mathematical domains.
Difficulty levels
Can follow a mathematical argument when it is presented step-by-step, and can identify whether a given conclusion matches the working shown.
Example task
Sam writes: 3 + 5 = 8, 7 + 11 = 18, 9 + 13 = 22. Sam concludes: 'The sum of two odd numbers is always even.' Is Sam's conclusion consistent with the examples?
Model response: Yes, 8 is even, 18 is even, and 22 is even. All three examples give an even sum, so the conclusion is consistent with the evidence.
Generates own examples to test a conjecture and begins to explain why a pattern works or identify a counterexample to disprove it.
Example task
Test whether this conjecture is true: 'If you square any odd number, the result is always odd.' Try at least three examples and explain what you find.
Model response: 3² = 9 (odd), 5² = 25 (odd), 7² = 49 (odd), 11² = 121 (odd). All results are odd. This makes sense because an odd number times an odd number gives an odd number — odd × odd = odd. The conjecture appears to be true.
Develops a structured mathematical argument using algebraic or logical reasoning, distinguishing between a conjecture supported by examples and a proven result.
Example task
Prove that the sum of any two odd numbers is always even.
Model response: Let the two odd numbers be (2a + 1) and (2b + 1) where a and b are integers. Their sum = (2a + 1) + (2b + 1) = 2a + 2b + 2 = 2(a + b + 1). Since (a + b + 1) is an integer, 2(a + b + 1) is a multiple of 2, which is even. Therefore the sum of any two odd numbers is always even.
Constructs and evaluates rigorous mathematical arguments, identifies logical flaws in others' reasoning, and uses counterexamples strategically to disprove false conjectures.
Example task
Mia claims: 'n² + n + 41 always gives a prime number for any positive integer n.' Evaluate this claim.
Model response: Testing: n=1 gives 43 (prime), n=2 gives 47 (prime), n=3 gives 53 (prime), n=10 gives 151 (prime). The conjecture looks convincing. However, when n = 40: 40² + 40 + 41 = 1600 + 40 + 41 = 1681 = 41². Since 41² = 41 × 41, this is not prime. Therefore the conjecture is false. A counterexample at n = 41 also works: 41² + 41 + 41 = 41(41 + 1 + 1) = 41 × 43. This shows why no polynomial can generate only primes — eventually the prime factor of the constant term divides the whole expression.
Delivery rationale
Secondary maths process concept — problem-solving benefits from structured AI delivery with facilitator for extended reasoning.
Formal mathematical argument
process AI FacilitatedMA-KS3-C095
Expressing mathematical arguments formally using appropriate language
Teaching guidance
Build on the reasoning work (MA-KS3-C089) by introducing formal mathematical language and structure. Teach pupils to write mathematical arguments using logical connectives: 'therefore', 'because', 'if...then', 'hence', 'it follows that'. Use proof frameworks with sentence starters to scaffold written arguments. Practise distinguishing between demonstrating (showing it works for an example), explaining (saying why it works in words), justifying (giving a mathematical reason) and proving (showing it must always work). Include algebraic proofs that results about odd/even numbers and consecutive integers.
Common misconceptions
Pupils frequently blur the boundary between explanation and proof — writing informal explanations when formal justification is required. Some think that using algebra automatically makes an argument a proof, even if the algebraic reasoning is flawed. Others avoid formal argument entirely, preferring to work with examples. The idea that a mathematical proof establishes certainty (unlike experimental evidence) is conceptually demanding.
Difficulty levels
Can describe mathematical observations using everyday language, such as 'it goes up by 2 each time' or 'it makes a pattern'.
Example task
Look at this sequence: 2, 5, 8, 11, 14. Describe what you notice.
Model response: The numbers go up by 3 each time. Starting at 2, you add 3 to get 5, add 3 to get 8, and so on.
Uses some mathematical vocabulary and notation to express observations, moving beyond description towards explanation.
Example task
The nth term of a sequence is 3n - 1. Explain why the sequence will never contain a multiple of 3.
Model response: The terms are 2, 5, 8, 11, 14, ... Each term is 1 less than a multiple of 3 (3, 6, 9, 12, 15, ...). So the terms are always 3n - 1, which means they leave a remainder of 2 when divided by 3. A multiple of 3 would need a remainder of 0, so no term can be a multiple of 3.
Expresses mathematical arguments using precise terminology, logical connectives, and appropriate notation in a structured chain of reasoning.
Example task
Prove algebraically that the product of any two consecutive integers is always even.
Model response: Let the two consecutive integers be n and n + 1. Their product is n(n + 1). Either n is even or n is odd. Case 1: If n is even, then n = 2k for some integer k, so n(n + 1) = 2k(n + 1), which is divisible by 2 and therefore even. Case 2: If n is odd, then n + 1 is even, so n + 1 = 2m for some integer m, and n(n + 1) = n × 2m = 2nm, which is divisible by 2 and therefore even. In both cases, the product is even.
Produces formal mathematical arguments using logical structure (given/show/proof), identifies when different proof strategies are needed, and communicates with precision and economy.
Example task
Prove that if n² is even, then n must be even. (Hint: consider the contrapositive.)
Model response: Proof by contrapositive: Instead of proving 'n² even ⟹ n even', I prove the equivalent contrapositive: 'n odd ⟹ n² odd'. Assume n is odd. Then n = 2k + 1 for some integer k. So n² = (2k + 1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1. Since 2k² + 2k is an integer, n² has the form 2m + 1, which is odd. Therefore n odd ⟹ n² odd. By contrapositive, n² even ⟹ n even. QED.
Delivery rationale
Secondary maths process concept — problem-solving benefits from structured AI delivery with facilitator for extended reasoning.