Combinatorics Through Guided Discovery, 2004a
Combinatorics Through Guided Discovery, 2004a
Combinatorics Through Guided Discovery, 2004a
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapter 2<br />
Applications of Induction and<br />
Recursion in <strong>Combinatorics</strong><br />
and Graph Theory<br />
2.1 Some Examples of Mathematical Induction<br />
If you are unfamiliar with the Principle of Mathematical Induction, you should<br />
read Appendix B (a portion of which is repeated here).<br />
2.1.1 Mathematical induction<br />
The principle of mathematical induction states that<br />
In order to prove a statement about an integer n,ifwecan<br />
1. Prove the statement when n = b, for some fixed integer b<br />
2. Show that the truth of the statement for n = k − 1 implies the truth<br />
of the statement for n = k whenever k > b,<br />
then we can conclude the statement is true for all integers n ≥ b.<br />
As an example, let us give yet another proof that a set with n elements has 2 n<br />
subsets. This proof uses essentially the same bijections we used in proving the<br />
Pascal Equation. The statement we wish to prove is the statement that “A set of<br />
size n has 2 n subsets.”<br />
Our statement is true when n =0, because a set of size 0 is the empty set<br />
and the empty set has 1=2 0 subsets. (This step of our proof is called a<br />
base step.) Now suppose that k > 0 and every set with k − 1 elements<br />
has 2 k−1 subsets. Suppose S = {a 1 , a 2 ,...a k } is a set with k elements.<br />
We partition the subsets of S into two blocks. Block B 1 consists of the<br />
subsets that do not contain a n and block B 2 consists of the subsets that<br />
do contain a n . Each set in B 1 is a subset of {a 1 , a 2 ,...a k−1 }, and each<br />
subset of {a 1 , a 2 ,...a k−1 } is in B 1 . Thus B 1 is the set of all subsets of<br />
31