PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] binomial formula for negative integer powers (Corollary)

For negative integer powers, the binomial formula can be written in terms of binomial coefficients like so: $$(1 - x)^{-n} = \sum_{m = 1}^\infty \binom{m+n-1}{n-1} x^m$$

Proof: We shall prove this by induction on $n$ . First, note that, if $n=1$ , then $\binom{m}{0} = 1$ , so our formula reduces to $$(1 - x)^{-1} = \sum_{m = 1}^\infty x^m ,$$ which is the formula for the sum of an infinite geometric series.

Next, suppose that the formula is valid for a certain value of $n$ . Then we have $$(1 - x)^{-n-1} = (1 - x)^{-1} (1 - x)^{-n} = \left( \sum_{k = 0}^\infty x^k \right) \left( \sum_{m = 0}^\infty {m+n-1 \choose n-1} x^m \right)$$ The product of sums can be rewritten as the following double sum: $$\sum_{m = 0}^\infty \sum_{k = 0}^m {n+k-1 \choose n-1} x^m$$ The easiest way to see this is by rearranging the double sum as follows and adding columns $$\begin{matrix} x^0 \sum_{m = 0}^\infty \binom{m+n-1}{n-1} x^m = & \binom{n-1}{n-1} & + & \binom{n}{n-1} x & + & \binom{n+1}{n-1} x^2 & + & \binom{n+2}{n-1} x^3 & + & \binom{n+3}{n-1} x^4 & + & \cdots \\ x^1 \sum_{m = 0}^\infty \binom{m+n-1}{n-1} x^m = & & & \binom{n-1}{n-1} x & + & \binom{n}{n-1} x^2 & + & \binom{n+1}{n-1} x^3 & + & \binom{n+2}{n-1} x^4 & + & \cdots \\ x^2 \sum_{m = 0}^\infty \binom{m+n-1}{n-1} x^m = & & & & & \binom{n-1}{n-1} x^2 & + & \binom{n}{n-1} x^3 & + & \binom{n+1}{n-1} x^4 & + & \cdots \\ x^3 \sum_{m = 0}^\infty \binom{m+n-1}{n-1} x^m = & & & & & & & \binom{n-1}{n-1} x^3 & + & \binom{n}{n-1} x^4 & + & \cdots \\ . & . & . & . & . & . & . & . & . & . & . & . \end{matrix}$$ To evaluate the finite sums, we shall use the following identity for binomial coefficients. (See the entry ``binomial coefficient'' for more information about this identity.) $$\sum_{k = 0}^m \binom{n+k-1}{n-1} = \binom{m + n}{n}$$ Inserting this result value for the finite sum back into the double sum, we obtain $$(1 - x)^{-n-1} = \sum_{m = 0}^\infty \binom{m + n}{n} x^m.$$

Q.E.D.




"binomial formula for negative integer powers" is owned by rspuzio.
(view preamble | get metadata)

View style:

See Also: generalized binomial coefficients


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: information, identity, finite, columns, product, valid, infinite geometric series, sum, formula, induction, proof, binomial coefficients, terms, binomial formula, powers, integer, negative

This is version 6 of binomial formula for negative integer powers, born on 2005-01-20, modified 2005-02-28.
Object id is 6654, canonical name is BinomialFormulaForNegativeIntegerPowers.
Accessed 4081 times total.

Classification:
AMS MSC26A06 (Real functions :: Functions of one variable :: One-variable calculus)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
What is wrong here? by rspuzio on 2005-01-20 20:15:25
Could someone explain to me why, even though the big fat matrix in this entry is good TeX --- I ran it through TeX and it compiled just fine --- it won't show up in Planet Math either as HTML or as page image, but instead I get an error message about extra alignment tabs. (which doesn't make much sense to be because good old TeX seems to think it has the right number of alignment tabs.) Is it because I have binomial coefficients in the entries of the matrix or a bug in the program or what?
[ reply | up ]

Interact
post | correct | update request | add example | add (any)