Mathematical Induction
Core Titles
Key headlines and terms for quick recall- Principle of Mathematical Induction
- Base case
- Inductive hypothesis assume
- Inductive step prove
- Strong (complete) induction
- Common applications: sums, divisibility, inequalities, recursion
Basic Idea
What it is, why it matters, how it worksThe idea
To prove a statement for every natural number , induction lets us replace infinitely many proofs with two steps:
- Base case — show (or whichever smallest ).
- Inductive step — assume (induction hypothesis) and prove .
If both succeed, holds for all — like dominoes falling.
Strong induction
Sometimes proving needs all of , not just . Strong induction assumes all previous cases hold. It is equivalent in power to ordinary induction.
Standard worked examples
Sum of first naturals. Claim: .
- Base : LHS = 1, RHS = . ✓
- Step: assume . Then — exactly . ✓
Divisibility. for all .
- Base: , — divisible. ✓
- Step: assume . Then . Both terms divisible by 3. ✓
Why this matters in Data Science
Induction is the standard tool for proving correctness of recursive algorithms (merge sort, divide-and-conquer) and for bounding their complexity.
Mind Map
Visual structure of the conceptMATHEMATICAL INDUCTION
├── Goal: prove P(n) ∀ n ≥ n₀
├── Two-step recipe
│ ├── BASE: P(n₀) holds
│ └── STEP: P(k) ⇒ P(k+1)
├── Strong induction
│ └── Assume P(n₀)…P(k) to prove P(k+1)
└── Applications
├── Sum formulas
├── Divisibility
├── Inequalities (e.g. 2ⁿ > n)
├── Recursive definitions
└── Algorithm correctness
Exam Q&A
Part A (2 marks) and Part B (20 marks) style questionsPart A (2 marks each)
Q1. State the principle of mathematical induction. If is true and for all , then is true for all .
Q2. What is the difference between weak and strong induction? Weak induction assumes only to prove ; strong induction assumes .
Q3. By induction, what is ? .
Part B (20 marks)
Q. Prove by induction that for all . Also prove for all .
Part 1. Let .
Base : LHS = 1, RHS = . ✓
Step. Assume holds. Then Factor : This matches . ∎
Part 2. Let .
Base : . ✓
Step. Assume . Then (since ). So . ∎