06.09.2021 Views

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

173<br />

goes back to 0, up to 2 again, and finally down to 0. So the absolute minimum<br />

is −1, and it occurs in the first and third position. There are five u’s after<br />

the third positon. So this Dyck path is in the block B 5 of our partition. Now<br />

comes the crucial question. Why were there five u’s after that last absolute<br />

minimum in position 3? Try with the same path and i =3. Figure out why<br />

there are three u’s after the last absolute minimum in the resulting path. All<br />

this discussion should explain why when i =5, the set of all Catalan paths<br />

is mapped into the set B 5 . Keeping i =5for a while, try to see why this<br />

correspondence between Catalan paths and B 5 is a bijection. Then, if you<br />

need to, do the same thing with i =3. This should give you enough insight<br />

to do the general case.<br />

55. What would the lower limit of the sum have to be for this problem to be a<br />

routine application of the binomial theorem?<br />

56. What does the binomial theorem give you for (x − y) n ?<br />

57. Consider (x + y) m (x + y) n .<br />

Additional Hint: What does ( m+n )<br />

k<br />

count? What does ( m i )( m<br />

k−1 ) count?<br />

58. For example when n =3,wehave( 3 0 ) = (3 3 ) and (3 1 ) = (3 ).<br />

2<br />

The number<br />

of subsets of even size is ( 3 0 ) + (3 )<br />

2<br />

and the number of subsets of odd size is<br />

( 3 1 ) + (3 ),<br />

3<br />

and the two sums can be paired off into equal terms. When we<br />

subtract the number of subsets of odd size from the number of subsets of<br />

even size, the pairing also gives us ( 3 0 ) − (3 1 ) + (3 2 ) − (3 3 ) =0.<br />

59. Take the derivative of something interesting.<br />

61. To prove that each function from a set S of size n to a set of size less than<br />

n is not one-to-one, we must prove that regardless of the function f that we<br />

choose, there are always two elements, say x and y, such that f (x) = f (y).<br />

62. The previous exercise could help you prove that if f is one-to-one, then it is<br />

onto.<br />

Additional Hint: The sum principle can help you show that if f is an onto<br />

function, then f is one-to-one.<br />

63. The statement of the generalized pigeonhole principle involves the number<br />

of elements in a block, so a counting principle is likely to help you.<br />

64. You may choose a specific number for n if you want to. Notice that the last<br />

two digits of the powers of a prime other than two cannot represent an even<br />

number.<br />

65. While this sounds like a pigeonhole principle problem, the ordinary pigeonhole<br />

principle doesn’t guarantee three of something.

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

Saved successfully!

Ooh no, something went wrong!