Proving Binomial Identities: Sigma of k = 0 to m

Click For Summary
SUMMARY

The forum discussion centers on proving the binomial identity represented by the equation Sigma of k = 0 to m, (n, k) (n - k, m - k) = 2^m (n, m). The user expands the binomial coefficients, (n, k) and (n-k, m-k), leading to the simplification of the expression to (n, m) multiplied by the sum Sigma from k = 0 to m of 1. The conclusion confirms that this sum equals 2^m, derived from the binomial theorem, specifically (1 + 1)^m.

PREREQUISITES
  • Understanding of binomial coefficients, specifically (n, k) notation.
  • Familiarity with the binomial theorem and its applications.
  • Basic knowledge of factorials and their properties.
  • Experience with summation notation and manipulation of series.
NEXT STEPS
  • Study the binomial theorem in detail, focusing on its proof and applications.
  • Explore combinatorial proofs of binomial identities.
  • Learn about generating functions and their role in combinatorial identities.
  • Investigate advanced topics in combinatorics, such as Pascal's triangle and its properties.
USEFUL FOR

Mathematicians, students studying combinatorics, educators teaching binomial identities, and anyone interested in advanced algebraic proofs.

bodensee9
Messages
166
Reaction score
0
hello,

i am supposed to show that

Sigma of k = 0 to m, (n, k) (n - k, m - k) = 2^m (n, m)

So I have after expanding:

(n, k) = n!/(n-k)!k! and (n-k, m-k) = (n-k)!/(m-k)!(n-m)!
so together the (n-k)! cancels out and I have
n!/k!(m-k)!(n-m)!
and that is
n!/m!(n-m)! which is
(n, m)

so then I can take (n, m) out of the sigma and then I would have
(n, m)*Sigma from k = 0 to m 1, but then how do I get the 2^m?

Thanks.
 
Physics news on Phys.org
You seem to think that 1/(k!*(m-k)!) is 1/m!. It's not. Try some numerical examples. On the other hand it's easy to find the sum of that quantity over k. You probably proved sum over k of (m,k)=2^m, didn't you?
 
Oh right. Thanks!

Yes, it's equal to (1 + 1) ^ m , so that is 2^m.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
9
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
12
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K