06.09.2021 Views

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

SHOW MORE
SHOW LESS

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 .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!