t10
t10
n(n + 1)(n + 2)
1 · 2 + 2 · 3 + · · · + n(n + 1) =
3
for all integers n ≥ 1
Solution:
Denote the statement to be proven by p(n).
- Base case:
For n = 1, we have 1 · 2 = 1 · 2 · 3/3. So p(1) is true.
- Inductive hypothesis:
Suppose p(n − 1) is true for some n ≥ 2, i.e.
(n − 1)n(n + 1)
1 · 2 + 2 · 3 + · · · + (n − 1)n = .
3
Solution:
- Base case:
0 1
For n = 0, the equation says 0 = 1 , so p(0) is true.
- Inductive hypothesis:
Suppose for n = k − 1 ≥ 0, the equation is true.
- Inductive step:
For the inductive hypothesis (second equality) and the Pascal
relationship (third equality), we have
k k−1
X i X i k k k k +1
= + = + = .
j j j j +1 j j +1
i=j i=j
- Inductive step:
For any set S of size n ≥ 1, identify a single element x ∈ S.
The subsets of S can be partitioned into (i) those subsets that
do not contain x and (ii) those subsets that do contain x.
The number of subsets not containing x is the number of
subsets of S − {x}, which, by the inductive hypotheses, is
2n−1 .
The number of subsets containing x must be the same,
because by removing x from each we get a subset not
containing x.
Thus, the total number of subsets is 2n−1 + 2n−1 = 2n .
- Inductive conclusion:
By the principle of mathematical induction, the number of
subsets of an n-element set is 2n for all n ≥ 0.
Tutorial 10: Induction 7/8
Question 3