aimnova.
DashboardMy LearningPaper MasteryStudy Plan

Stay in the loop

Study tips, product updates, and early access to new features.

aimnova.

AI-powered IB study platform with personalised plans, instant feedback, and examiner-style marking.

IB Subjects

  • IB Diploma
  • All IB Subjects
  • IB ESS
  • IB Business Management
  • IB Economics
  • IB Math AI SL
  • IB Math AA SL
  • Grade Calculator
  • Exam Timetable 2026
  • ESS Predictions
  • BM Predictions
  • IB Economics Predictions 2026

Study Resources

  • Free Study Notes
  • Revision Guide
  • Flashcards
  • ESS Question Bank
  • BM Question Bank
  • Mock Exams
  • Past Paper Feedback
  • Exam Skills
  • Command Terms

Company

  • Features
  • Pricing
  • About Us
  • Blog
  • Contact
  • Terms
  • Privacy
  • Cookies

© 2026 Aimnova. All rights reserved.

Made with 💜 for IB students worldwide

v0.1.644
NotesMath AA SLTopic 1.6Deductive proof
Back to Math AA SL Topics
1.6.13 min read

Deductive proof

IB Mathematics: Analysis and Approaches • Unit 1

IB exam ready

Study like the top scorers do

Access a smart study planner, AI tutor, and exam vault — everything you need to hit your target grade.

Start Free Trial

Contents

  • What “show that” really asks
  • Number proofs, line by line
  • Proofs, line by line
  • Showing something is a multiple
  • “Show that” in disguise
  • Summary and micro-practice
What does “prove” mean?: To prove something means you show why it is always true.

You cannot just try one example.

You need to use algebra so your answer works for every possible number.
Think of proof like a path: A proof is a short chain of steps:

1. Start with what the question gives you. 2. Change it one step at a time. 3. End with what the question asked you to prove.

Not enough

  • Trying one example only
  • Starting with the answer
  • Writing lines with no explanation

Good proof

  • Start from the given information
  • Use algebra step by step
  • Finish with a sentence explaining why it proves the result
Do not work backwards: If the question says show that, the final answer is already given to you.

Do not start with the final answer.

Start from the expression in the question and work towards the result.
Name the integer with algebra: Most number proofs start by replacing the number with algebra — then you can add, expand, and factor it.
k can be any whole number.

Every odd number is 2 × (a whole number) + 1 — that's why a single letter, k, stands for them all:

Odd number= 2k + 1k
32×1 + 11
52×2 + 12
72×3 + 13
92×4 + 14

IB-style question — the sum of two odd numbers is even

Prove that the sum of any two odd numbers is even.

Step by step

  1. Write each odd number with its OWN letter — use a and b, not k twice, so the two odds can be different (e.g. 3 = 2(1) + 1 and 7 = 2(3) + 1).
  2. Add them.
  3. Collect like terms.
  4. Factor out 2.

Final answer

The result is 2 × (a whole number), so it is even.

The proof pattern — every time:
  • Write the number algebraically (2k + 1, 2a + 1, …)
  • Add or multiply, then simplify
  • Factor out the key number
  • Say what the final form means

Know your predicted grade

Take timed mock exams and get detailed feedback on every answer. See exactly where you're losing marks.

Try Mock Exams Free7-day free trial • No card required
Watch a proof build: A proof is just one clear line after another.

Each line must have a reason.

That is what the examiner rewards.

[Diagram: math-proof-steps] - Available in full study mode

Why different letters — not 2k and 2k + 1?: Smart question — and the algebra alone won't warn you. Even = 2k, odd = 2k + 1 gives 2k + (2k + 1) = 4k + 1, which is still odd.

But 2k and 2k + 1 are consecutive — exactly one apart. So that only proves it when the odd is one more than the even: it covers 4 + 5 and 6 + 7, but never 4 + 9.

Two different letters, 2a and 2b + 1, let the even and odd be any even and any odd — and that is exactly what “for every” needs.
Factor out the k: To show a number is a multiple of k, manipulate it until you can take out a factor of k — write it as k × (an integer).

IB-style question — a difference of two squares

Prove that (2n + 1)² − (2n − 1)² is a multiple of 8, for every integer n.

Step by step

  1. It's a difference of two squares — use a² − b² = (a + b)(a − b). Don't expand the brackets.
  2. Simplify each bracket: the +1 and −1 cancel in one, double up in the other.
  3. Multiply.

Final answer

8n = 8 × n, which is 8 × an integer, so it is a multiple of 8.

Two moves that save you: • See (…)² − (…)²? Use a² − b² = (a + b)(a − b) — the brackets collapse to a clean multiple, with no expanding.

• To prove a number is never a multiple of k, show it always leaves the same remainder: e.g. 3n² + 2 is 3 × (something) + 2, so it can never be a multiple of 3.

Get feedback like a real examiner

Submit your answers and get instant feedback — what you did well, what's missing, and exactly what to write to score full marks.

Try AI Tutor Free7-day free trial • No card required
The method shows up everywhere: Pure proof questions are rare — but the "show that" method is tested in almost every paper, hidden inside other topics: sequences, trig, functions. The rule never changes: start from what's given, justify each line, reach the target.

IB-style question — the geometric condition

Three consecutive terms of a geometric sequence are a, b and c.

Show that b² = ac.

Step by step

  1. Geometric means consecutive ratios are equal.
  2. Cross-multiply.
  3. Write the result.

Final answer

b² = ac — exactly the "show that" you'll meet in sequence questions.

A given result is a gift: If a "show that" sets up a later part, you may use the given result in that next part — even if you couldn't prove it. Never let a stuck proof cost you the rest of the question.
The proof checklist: Every "show that / prove" question rewards the same three habits — start right, work deductively, finish cleanly.
Your integer toolkit — reach for these the moment a proof mentions whole numbers.

IB-style question — a difference of two squares

Prove that (n + 3)² − (n − 3)² is a multiple of 12, for every positive integer n.

Step by step

  1. It's a difference of two squares — use a² − b² = (a + b)(a − b). Don't expand the brackets.
  2. Simplify each bracket: the +3 and −3 cancel in one, double up in the other.
  3. Multiply.

Final answer

12n = 12 × n, which is 12 × an integer, so it is a multiple of 12.

Do

  • Start from what's given, or one side only.
  • Name integers with algebra (2k, 2k + 1).
  • Give a reason for each line; factor out the k.
  • Finish at the target and conclude in words.

Don't

  • Start by writing the result (working backwards).
  • Prove by example — a few cases is not "for all".
  • Reuse one letter for two independent unknowns.
  • Stop one line early without the conclusion.

Try an IB Exam Question — Free AI Feedback

Test yourself on Deductive proof. Write your answer and get instant AI feedback — just like a real IB examiner.

Show that 5n + 15 is a multiple of 5 for every integer n, and the integer it is 5 times. [2 marks]

Related Math AA SL Topics

Continue learning with these related topics from the same unit:

1.1.1Writing standard form
1.1.2Standard form by hand
1.2.1nth term
1.2.2Sum of n terms
View all Math AA SL topics

Improve your exam technique

Command terms, paper structure, and mark-scheme tips for Math AA SL

Previous
1.5.2Evaluating logs
Next
Consecutive integers1.6.2

6 questions to test your understanding

Reading is just the start. Students who tested themselves scored 82% on average — try IB-style questions with AI feedback.

Start Free TrialView All Math AA SL Topics