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.c1e448f

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

NotesMath AA HLTopic 1.15Proof by induction
Back to Math AA HL Topics
1.15.15 min read

Proof by induction (Math AA HL)

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. 1The four steps
  2. 2Induction for a sum
  3. 3Induction for divisibility
  4. 4Exam-style question
Dominoes: Induction is a line of dominoes: knock the first one over, and show each one knocks the next, and they all fall. So a statement is proved for every positive whole number by checking a start and a single step.

The four steps every induction proof shows

  • Base case: show the statement is true for the first value, usually (check both sides).
  • Assumption: suppose it is true for .
  • Inductive step: use that assumption to show it is then true for .
  • Conclusion: true for , and each case forcing the next means it holds for all .

Press play to watch the proof build one justified line at a time.

Interactive diagram

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

Claim your free topic
Don't drop the conclusion: Always finish with the conclusion sentence: name the base case, the \u201ck forces k + 1\u201d link, and \u201ctrue for all \u201d.

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
A harder sum: The same four steps work on a harder sum. The trick in the step: to go from to you add the next term to the assumed sum, then factor to reach the target form.

Press play — the key line is factoring (k + 1) out of the bracket.

Interactive diagram

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

Claim your free topic
Add, then factor: In the step you add the next term to the assumed sum \u2014 never re-sum from the start. The factor always comes out first.

Feeling unprepared for exams?

Get a clear study plan, practice with real questions, and know exactly where you stand before exam day. No more guessing.

Get Exam Ready FreeYour first topic is free to keep • No credit card required
Induction for divisibility: Induction also proves divisibility. The step students miss: rewrite the expression so the case appears, then use the assumption.

Press play — watch the (8k - 1) from the assumption get pulled out.

Interactive diagram

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

Claim your free topic
Make the k case appear: The pivot is : split off the assumed multiple, and the leftover ( here) must itself be divisible by the number.

An exam-style question

Use mathematical induction to prove that for all .

Step by step

  1. Base case: . Put into both sides.
  2. Assume true for . This is the one line we take as given.
  3. Inductive step: add to both sides.
  4. Factor out and tidy the bracket over 4.
  5. Match the target. That is the formula with .
  6. Conclusion. True for , and true for forces it true for , so by induction it holds for all .

Final answer

Proved by induction for all .

To get full marks

  • Show the base case works: put into both sides and show each equals 1 — writing only “true for ” is not enough.
  • Write the assumption as a clear line (“assume true for ”), then add to both sides.
  • Reach the form by factoring out and tidying; show this algebra.
  • Finish with the full conclusion sentence: the base case, the “ forces ” link, and “for all ”.

Try an IB Exam Question — Free AI Feedback

Test yourself on Proof by induction. Write your answer and get instant AI feedback — just like a real IB examiner.

the four steps you must write in any proof by induction. [2 marks]

Related Math AA HL Topics

Continue learning with these related topics from the same unit:

1.1.1Writing standard form1.1.2Standard form by hand1.10.1Arrangements (order matters)1.10.2Selections (order doesn't matter)
View all Math AA HL topics
Improve your exam techniqueCommand terms, paper structure, and mark-scheme tips for Math AA HL
Previous1.14.3Roots — equally spaced on a circleNextProof by contradiction1.15.2

22 practice questions on Proof by induction

Students who practiced this topic on Aimnova scored 82% on average. Try free practice questions and get instant AI feedback.

Try 3 Free QuestionsView All Math AA HL Topics