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.
34 2. Applications of Induction and Recursion in <strong>Combinatorics</strong> and Graph Theory<br />
(a) Use this definition to prove the rule of exponents a m+n = a m a n for<br />
nonnegative m and n. (h)<br />
(b) Use this definition to prove the rule of exponents a mn =(a m ) n . (h)<br />
+ Problem 77. Suppose that f is a function on the nonnegative integers such<br />
that f (0) = 0 and f (n) =n + f (n −1). Prove that f (n) =n(n +1)/2. Notice<br />
that this gives a third proof that 1+2+···+ n = n(n +1)/2, because this<br />
sum satisfies the two conditions for f . (The sum has no terms and is thus 0<br />
when n =0.)<br />
⇒<br />
Problem 78. Give an inductive definition of the summation notation<br />
∑ n<br />
i=1 a i. Use it and the distributive law b(a + c) =ba + bc to prove the<br />
distributive law<br />
n∑ n∑<br />
b a i = ba i .<br />
i=1 i=1<br />
2.1.4 Proving the general product principle (Optional)<br />
We stated the sum principle as<br />
If we have a partition of a set S, then the size of S is the sum of the sizes<br />
of the blocks of the partition.<br />
In fact, the simplest form of the sum principle says that the size of the sum of two<br />
disjoint (finite) sets is the sum of their sizes.<br />
Problem 79. Prove the sum principle we stated for partitions of a set from<br />
the simplest form of the sum principle. (h)<br />
We stated the simplest form of the product principle as<br />
If we have a partition of a set S into m blocks, each of size n, then S has<br />
size mn.<br />
In Problem 14 we gave a more general form of the product principle which can be<br />
stated as<br />
Let S be a set of functions f from [n] to some set X. Suppose that<br />
• there are k 1 choices for f (1), and<br />
• suppose that for each choice of f (1), f (2),... f (i − 1), there are k i<br />
choices for f (i).<br />
Then the number of functions in the set S is k 1 k 2 ···k n .