Proof by Induction (Edexcel A-Level Further Mathematics): Revision Notes
9.1.2 Common Cases of Proof by Induction
Mathematical induction is often used to prove three main types of problems:
- Summation of Series
- Divisibility
- Matrix Products This note explains each type, along with worked examples, to demonstrate how induction applies in each case.
Summation of Series
Worked Example
Prove by induction that:
Step 1: Base Case ()
For
Thus, the formula holds for
Step 2: Inductive Hypothesis
Assume the formula holds for
Step 3: Inductive Step ()
We need to prove the formula holds for
Using the inductive hypothesis:
Factorise
Simplify:
Factorise the quadratic:
Thus, the formula holds for
Conclusion
By induction, the formula:
is true for all
Divisibility
Worked Example
Prove by induction that is divisible by for all
Step 1: Base Case ()
For
which is divisible by 3
Step 2: Inductive Hypothesis
Assume is divisible by for
Step 3: Inductive Step ()
We need to prove is divisible by .
Expand
Substitute into the expression:
Simplify:
From the inductive hypothesis,
Factor out :
Thus, is divisible by 3.
Conclusion
By induction, is divisible by 3 for all
Matrix Products
Worked Example
Prove by induction that:
Step 1: Base Case ()
For
The given formula for
Thus, the formula holds for
Step 2: Inductive Hypothesis
Assume the formula holds for
Step 3: Inductive Step ()
We need to prove:
Multiply by :
Perform matrix multiplication:
(Simplify using arithmetic rules for .)
Note Summary
Common Mistakes
- Failing to clearly define the inductive hypothesis. Always state what you are assuming to be true.
- Errors in simplifying algebraic expressions. Take care with powers and coefficients.
- Misapplying initial conditions**.** Verify that the base case aligns with the problem statement.
- Incorrect matrix multiplications. Be methodical when calculating matrix entries.
Key Formulas
- Summation of Series:
- Divisibility: To prove () is divisible by , show:
- Matrix Products: Use the inductive formula for powers of a matrix and verify consistency.