Summarize this article:
Last updated on September 29, 2025
Mathematical induction is a step-by-step proof method used to show that a statement is true for all natural numbers. It is especially useful for proving algebraic statements that involve a variable n, where n represents a natural number.
Mathematical induction is often applied to prove formulas involving natural numbers. For example, the formula to find the sum of the first n natural numbers is n (n + 1)2. Now, mathematical induction can be used to verify if the formula holds true for every natural number n.
The principle of mathematical induction is widely used to prove a result, and it is also a fundamental concept in mathematics. In the principle of mathematical induction, the statement to be proved is usually written as P(n), where n is a natural number. While using this, we need to understand some statements that help solve the result.
The principle of mathematical induction is a concept in mathematics used to prove statements that are true about natural numbers. There is a form that is used to solve the problem, the form is P(n), where n is all natural numbers. The principle has two types:
Base step:
The first part of a mathematical induction proof is called the base step. Here, we check whether the statement holds true for the smallest natural number, usually 1 or sometimes 0.
Inductive step:
Here, we assume that the statement is true for some natural number n = k. This assumption is called the inductive hypothesis. Then, we use this assumption to prove that the statement must also be true for n = k + 1.
If both the base step and inductive step work, then by mathematical induction, the statement is proven true for all natural numbers starting from the base case.
For example,
Prove that 1 + 3 + 5 + … + (2n - 1) = n2
Solution:
The left-hand side represents the sum of the first n odd numbers. We will use mathematical induction to prove that this sum equals n2
The first step is the statement is true or not by using the base step
LHS = RHS
LHS = 1 = 1
RHS = n2 = 12 = 1
The first step is to prove that the statement is true by using the base step.
The next step is inductive, assuming that the formula is true for n = k
Which means, 1 + 3 + 5 + … + (2k -1) = k2
The final step is an inductive step to prove that the formula is true for n = k + 1
1 + 3 + 5 +. . . + (2k -1) + (2(k +1) -1) = (k + 1)2
= k2 + (2k + 1) = k2 + 2k + 1 = (k + 1)2
1 + 3 + 5 +. …+ (2n - 1) = n2 is proven to be true for all natural numbers n ≥ 1.
Mathematical induction may seem like just a classroom concept, but it plays a role in many real-world and practical areas, especially in fields where logic, patterns are used.
Mathematical induction is a logical method to prove that a result is true. Students may make small mistakes that lead to wrong results. Here are some mistakes that help to avoid while solving problems.
Prove that 1 + 2 + 3 +. . . + n = n (n +1)2 for all natural number n 1
The formula is true for k + 1. This is true for all natural numbers n 1.
Step 1:
Start with the Base step
Check for n = 1
LHS = 1
RHS = n (n +1)2 = 1 (1 +1)2 = 22 = 1
Then do step 2:
Inductive Hypothesis
Assume the statement is true for n = k
The statement is 1 + 2 + 3 +. . . + k = k (k +1)2
This is an assumption.
Step 3: Inductive step
Here, need to prove the statement for n = k + 1
1 + 2 + 3 +. . . + k + (k + 1) = k (k +1) (k + 2)2
Start from the LHS using the assumption:
(1 + 2 +. . . + k) + (k + 1) = k (k +1)2 + (k + 1)
Make a denominator in common:
= k (k +1) + 2(k + 1)2 = k (k +1) (k + 2)2
This is equal to the RHS.
The formula is true for k + 1. This is true for all natural numbers n 1.
Prove that 2n > n for all n 1
This is true for all k 1
Step 1:
Base step n = 1
2n = 2 > 1
21 = 2 > 1
It is true
Step 2:
Inductive Hypothesis
Assume the statement is true for n = k
2n = 2 > 1
2k = k > 1
Step 3:
Inductive step
Here, need to prove that the statement for n = k + 1
2n = 2 > 1
2k + 1 > k + 1
Now multiple both sides using the inductive hypotheses
2k + 1 = 2(2k) + 2 (k)
Then need to show
2k k + 1
k 1
This is true for all k 1
Prove that 12 + 22 + 32 +... + n2 = n (n + 1)(2n + 1)6
This is true for all natural numbers n 1.
Step 1:
Start with the Base step
Check for n = 1
LHS = 12 = 1
RHS = n (n +1)6 = 1 (1 +1) (2(1) + 1)6 = 1 × 2 × 36 = 1
LHS = RHS
Then do step 2:
Inductive Hypothesis
Assume the statement is true for n = k
The statement is 12 + 22 + 32 +. . . + k2 = k (k +1)(2k + 1)6
This is an assumption.
Step 3: Inductive step
Here, need to prove the statement for n = k + 1
12 + 22 + 32 +. . . + k2 + (k + 1)2 = k (k +1) (2k + 1)6
Start from LHS using the assumption:
(12 + 22 +. . . + k2) + (k + 1)2 = k (k +1)(2k + 1)6 + (k + 1)2
Factor (k + 1) from both terms:
= (k + 1) k(2k + 1)6 + (k + 1)
Put the denominator common for:
= (k + 1) k(2k + 1) + 6(k +1)6
= (k + 1) 2k2 + k + 6k +66
= (k + 1) 2k2 + 7k +66
Factor the quadratic:
= (k + 1) (k + 2) (2k + 3)6 = (k +1)(k + 2)(2k + 3)6
This is equal to the RHS.
The formula is true for k + 1. This is true for all natural numbers n 1.
Prove that 7n -1 is divisible by 6 for all n 1
7n−1 is divisible by 6 for all n 1
Base step:
n = 1
7n -1
71 -1 = 6
It is true
Step 2:
Inductive Hypothesis
Assume the statement is true for n = k
That will come 7k -1 is divisible by 6
7k − 1 = 6m for some integer m
Step 3:
Inductive step
Here, need to prove that the statement for n = k + 1
7n -1
7k + 1 = 7 × 7k
7k +1 -1 = 7 × 7k - 1
=7 × 7k - 7 +7 - 1
= 7 (7k -1) + 6
By hypothesis, 7k -1 = 6m
7(6m) + 6 = 42m + 6 = 6(7m +1)
7n−1 is divisible by 6 for all n ≥ 1
Prove that 11n - 4n is divisible by 7 for all n ≥ 1
11n−4n is divisible by 7 for all n ≥ 1
Base step:
n = 1
11n -41
11 -4 = 7
It is true
Step 2:
Inductive Hypothesis
Assume the statement is true for n = k
That will come 11k -4k is divisible by 7
11k − 4n = 7m for some integer m. This equation is divisible by 7
Step 3:
Inductive step
Here, need to prove that the statement for n = k + 1
11n -4n
11k + 1 -4k +1 = 11 × 11k - 4 × 4k
11 × 11k - 4 × 4k = 11(11k) -4(4k)
Group terms like this
= 11k(11) - 4k (4)
By hypothesis, 11k -4k = 7m
Try modulo 7:
11 ≡ 4 (mod7)
11n ≡ 4n (mod7)
11n−4n ≡ 0 (mod7)
11n−4n is divisible by 7 for all n ≥ 1
Jaskaran Singh Saluja is a math wizard with nearly three years of experience as a math teacher. His expertise is in algebra, so he can make algebra classes interesting by turning tricky equations into simple puzzles.
: He loves to play the quiz with kids through algebra to make kids love it.