Mathematical Induction
Mathematical Induction
Induction
Under this assumption, it must be shown that P(k + 1) is true, namely, that
1+ 2 + … + k + (k + 1) = = is also true.
Cont’d
When we add k+1 to both sides, of the equation in P(k) we obtain.
1+ 2 + … + k + (k + 1) = + (k + 1)
=
=
This last equation shows that P(k + 1) is true under the
assumption that P(k) is true. This completes the inductive step.
Example 2
Use mathematical induction to show that
1+ 2+ 22 + ... + 2n = 2n + 1 – 1
for all nonnegative integers n.
Solution: Let P(n) be the proposition that 1+ 2+ 22 + ... + 2n = 2n+ 1 – 1 for the
integer n.
BASIS STEP: P(0) is true because 20 = 1 = 21 - l. This completes the basis step.
INDUCTIVE STEP: For the inductive hypothesis, we assume that P(k) is true.
That is, we assume that
1+ 2+ 22 + ... + 2k = 2k + 1 – 1
Ex 2 Cont’d
To carry out the inductive step using this assumption, we must show that when
we assume that P(k) is true, then P(k + I) is also true. That is, we must show that
1+ 2+ 22 + ... + 2k + 2k + 1 = 2(k+1)+1 – 1 = 2k + 2 – 1
assuming the inductive hypothesis P(k). Under the assumption of P(k), we see
that
1+ 2+ 22 + ... + 2k + 2k + 1 = (1+ 2+ 22 + ... + 2k ) + 2k + 1
= (2k + 1 – 1) + 2k + 1
= 2· 2k + 1 – 1
= 2k + 2 – 1.
Note that we used the inductive hypothesis in the second equation in this string
of equalities to replace 1+ 2+ 22 + ... + 2k by 2k + 1 – 1.
Example 3
Use mathematical induction to prove that n3 - n is divisible by 3 whenever n is a
positive integer
Solution: To construct the proof, let P(n) denote the proposition: "n3 - n is
divisible by 3."
BASIS STEP: The statement P(l) is true because 13 - 1 = 0 is divisible by 3. This
completes the basis step.
INDUCTIVE STEP: For the inductive hypothesis we assume that P(k) is true;
that is, we assume that k3 - k is divisible by 3. To complete the inductive step,
we must show that when we assume the inductive hypothesis, it follows that
P (k + I), the statement that (k + 1)3 - (k + 1) is divisible by 3, is also true. That
is, we must show that (k + 1)3 - (k + l) is divisible by 3.
This completes the inductive step.