aımnova
DashboardMy LearningCrash CoursesStudy Plan

Aimnova site navigation

Stay in the loop

Get the latest study resources and updates

New features, study tips and exam insights — straight to your inbox.

IB Diploma

  • IB Past Papers
  • IB Study Notes
  • IB Question Bank
  • IB Mock Exams
  • IB Revision

IB Subjects

  • IB Math AA
  • IB Math AI
  • IB Economics
  • IB Business Management
  • IB Physics
  • IB Biology
  • View all IB subjects→

IB Past Papers

  • IB Math AA HL Past Papers
  • IB Math AA SL Past Papers
  • IB Math AI HL Past Papers
  • IB Math AI SL Past Papers
  • IB Economics HL Past Papers
  • IB Economics SL Past Papers
  • IB ESS Past Papers
  • View all past papers→

Study Resources

  • Study Notes
  • Question Bank
  • Mock Exams
  • Crash Courses
  • Flashcards
  • Revision Guide
  • Exam Skills
  • Command Terms
  • Grade Calculator
  • Exam Timetable 2026

Aimnova

  • Features
  • Pricing
  • For Teachers
  • For Schools
  • For Parents
  • About Us
  • Blog
  • Contact
aımnova

IB study, practice and feedback built around the real exam.

TermsPrivacyCookies·© 2026 Aimnova. All rights reserved.10c8990

Aimnova is not affiliated with or endorsed by the International Baccalaureate Organization (IB).

NotesMath AATopic 1.6Deductive proof
Back to Math AA Topics
1.6.17 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

Contents

  1. 1What “show that” really asks
  2. 2Number proofs, line by line
  3. 3Proofs, line by line
  4. 4Showing something is a multiple
  5. 5“Show that” in disguise
  6. 6Summary 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.

Free preview

This is the free notes preview

You're reading the free notes. Aimnova Pro unlocks the full study experience — and you can try it with your first topic free to keep:

  • FlashcardsLock in vocabulary and key terms with spaced repetition.
  • Practice questionsAnswer exam-style questions and get instant AI marking.
  • Mock exams & past-paper vaultSit full mocks and see exactly how examiners award marks.
  • Personalised study planA daily plan built around your exam date and weak areas.
Start Studying Free Full access to Aimnova Pro · cancel anytime
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 FreeYour first topic is free to keep • No credit 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.

Every line has a reason on the right. Try both proofs.

Interactive diagram

Explore the labelled diagram, charts and maps for this topic in full study mode.

Claim your free topic
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.

2k and 2k + 1

  • They 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.

2a and 2b + 1

  • Two different letters.
  • They let the even and odd be any even and any odd.
  • 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 FreeYour first topic is free to keep • No credit 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 Topics

Continue learning with these related topics from the same unit:

1.1.1Writing standard form1.1.2Standard form by hand1.2.1nth term1.2.2Sum of n terms
View all Math AA topics
Improve your exam techniqueCommand terms, paper structure, and mark-scheme tips for Math AA
Previous1.5.2Evaluating logsNextConsecutive integers1.6.2

12 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 FreeView All Math AA Topics