Binomial coefficient summation proof

Click For Summary

Homework Help Overview

The discussion revolves around proving a binomial coefficient summation identity involving the summation of products of binomial coefficients. The subject area is combinatorics, specifically focusing on binomial coefficients and their properties.

Discussion Character

  • Exploratory, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the application of the binomial theorem to derive the identity. There is an attempt to equate coefficients of powers of x from both sides of an equation derived from the binomial theorem. Questions arise regarding the relationship between the indices and how to simplify the double summation.

Discussion Status

The discussion is active, with participants engaging in reasoning about the relationship between the indices and the implications of equating coefficients. Some guidance has been offered regarding reducing the double sum to a single sum, but there is still uncertainty about the steps to take.

Contextual Notes

Participants are working under the constraints of a homework problem, which may limit the information they can use or the methods they can apply. There is an ongoing exploration of assumptions related to the indices of summation.

zeion
Messages
455
Reaction score
1

Homework Statement



Prove that

[tex]\sum^{l}_{k=0}[/tex] [tex]n \choose k[/tex] [tex]m \choose l-k[/tex] = [tex]n+m \choose l[/tex]

Hint: Apply the binomial theorem to (1+x)n(1+x)m

Homework Equations


The Attempt at a Solution



I apply the hint to that thing to get [tex]\sum^{n}_{j=0}[/tex] [tex]n \choose j[/tex] [tex]x^j \sum^{m}_{k=0}[/tex] [tex]m \choose k[/tex] [tex]x^k[/tex]= [tex]\sum^{n}_{j=0}\sum^{m}_{k=0}[/tex][tex]n\choose j[/tex][tex]m\choose k[/tex][tex]x^{j+k} = \sum^{n+m}_{l=0}[/tex][tex]n+m \choose l[/tex][tex]x^l[/tex]

Now I am stuck.
 
Physics news on Phys.org
The coefficient of x^l must be the same on both sides, right? That gives you C(n+m,l) on the right. What terms on the left make a power of x^l?
 
Dick said:
The coefficient of x^l must be the same on both sides, right?

So that means l = j+k?
 
zeion said:
So that means l = j+k?

Sure. Use that to reduce the double sum to a single sum.
 
How do I do that?
 
zeion said:
How do I do that?

For each value of j there is only one value of k such that j+k=l. Just sum over j and express k in terms of l and j.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K