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.
Domain Vocabulary
30 terms across 3 concepts (30 domain-specific)(11 shared)
algebraic proof(noun)
A formal demonstration that a mathematical statement is always true, using algebraic manipulation.
argument(noun)
A logical chain of reasoning used to justify or prove a mathematical statement.
because(noun)
A reasoning word used to justify mathematical statements and connect conclusions to evidence.
Shared by 3 concepts
conclusion(noun)
A final statement or answer reached through logical reasoning or calculation.
Shared by 2 concepts
conjecture(noun)
A mathematical statement believed to be true based on observations, but not yet formally proven.
Shared by 2 concepts
counter-example(noun)
A single example that disproves a general statement or conjecture.
Shared by 2 concepts
deduce(verb)
To reach a conclusion by applying logical reasoning from given facts or rules.
Shared by 2 concepts
deductive(adjective)
Based on logical reasoning from established rules and facts, leading to certain conclusions.
demonstrate(verb)
To show or prove that something is true through mathematical working.
disprove(verb)
To show a statement is false by providing a counter-example.
explain(verb)
To give mathematical reasons and justifications for an answer or method, showing understanding.
formal argument(noun)
A structured logical proof using algebraic reasoning to show a statement is always true.
generalise(verb)
To identify and express a pattern or rule that works for all cases, not just specific examples.
given(adjective)
Information that is provided or known in a problem.
hence(adverb)
A logical connective meaning 'therefore' or 'as a result of this'; used in proofs and reasoning.
Shared by 2 concepts
hypothesis(noun)
A proposed explanation or prediction to be tested using data or mathematical reasoning.
if...then(phrase)
A logical structure for conditional statements: if a condition is met, then a conclusion follows.
infer(verb)
To draw a conclusion from data or evidence using reasoning.
it follows(phrase)
A phrase used in mathematical reasoning to introduce a logical consequence.
it follows that(phrase)
A logical connector in proofs meaning 'therefore' or 'as a consequence'.
justify(verb)
To provide mathematical evidence and reasoning to support an answer or conclusion.
Shared by 3 concepts
logical(adjective)
Following a clear, step-by-step reasoning process based on mathematical rules.
Shared by 2 concepts
proof(noun)
A logical argument demonstrating that a mathematical statement is always true, not just for specific cases.
Shared by 2 concepts
prove(verb)
To demonstrate that a mathematical statement is always true by using logical reasoning, not just examples.
Shared by 3 concepts
qed(noun)
An abbreviation from Latin 'quod erat demonstrandum' meaning 'which was to be demonstrated'; placed at the end of a proof.
reason(verb)
To think logically and make deductions using known mathematical facts and rules.
reasoning(noun)
The process of thinking logically to draw conclusions and justify mathematical statements.
rigorous(adjective)
Thorough and precise in mathematical reasoning, with no gaps in logic.
statement(noun)
A mathematical sentence that can be true or false, such as 5 + 3 = 9 (false).
therefore(adverb)
A logical connector meaning 'for this reason' or 'as a consequence'; often shown by the symbol ∴.
Shared by 3 concepts
Drag to rearrange. Click a term or concept for details. Scroll to zoom.
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.
Vocabulary (14 terms)
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...').
Vocabulary (15 terms)
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.
Vocabulary (16 terms)
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.