09.12.2012 Views

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

186 BINOMIAL COEFFICIENTS<br />

5.3 TRICKS OF THE TRADE<br />

Let’s look next at three techniques that significantly amplify the<br />

methods we have already learned.<br />

nick 1: Going halves. This should really<br />

Many of our identities involve an arbitrary real number r. When r has be ca11ed Trick l/2<br />

the special <strong>for</strong>m “integer minus one half,” the binomial coefficient (3 can be<br />

written as a quite different-looking product of binomial coefficients. This leads<br />

to a new family of identities that can be manipulated with surprising ease.<br />

One way to see how this works is to begin with the duplication <strong>for</strong>mula<br />

rk (r - 5)” = (2r)Zk/22k ) integer k 3 0. (5.34)<br />

This identity is obvious if we expand the falling powers and interleave the<br />

factors on the left side:<br />

r(r--i)(r-l)(r-i)...(r-k+f)(r-k+i)<br />

= (2r)(2r - 1). . . (2r - 2k+ 1)<br />

2.2...:2<br />

Now we can divide both sides by k!‘, and we get<br />

(I;) (y2) = (3 (g/2”, integer k. (5.35)<br />

If we set k = r = n, where n is an integer, this yields<br />

integer n.<br />

And negating the upper index gives yet another useful <strong>for</strong>mula,<br />

(-y2) = ($)” (:) , integer n.<br />

For example, when n = 4 we have<br />

= (-l/2)(-3/2)(-5/2)(-7/2)<br />

4!<br />

=( -1 2 ) 4 1.2.3.4 1.3.5.7<br />

-~<br />

-<br />

-1 4 1.3.5.7.2.4.6.8<br />

=( 4 > 1.2.3.4.1.2.3.4= (;y(;).<br />

Notice how we’ve changed a product of odd numbers into a factorial.<br />

(5.36)<br />

(5.37)<br />

. . we halve. .

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

Saved successfully!

Ooh no, something went wrong!