Proving Binomial Coefficients for Even n | Combinatorial Argument

Click For Summary
SUMMARY

This discussion focuses on proving binomial coefficients for even integers n, specifically demonstrating that the sum of binomial coefficients for even indices equals 2 raised to the power of (n-1). The key equations discussed are: \sum_{k=0}^{n/2} C(n, 2k) = 2^{n-1} and \sum_{k=0}^{n/2} C(n, 2k-1) = 2^{n-1}. The combinatorial argument involves manipulating binomial coefficients using identities such as C(n, 2k) = C(n-1, 2k) + C(n-1, 2k-1), which simplifies the proof process. The discussion also highlights the relationship between these sums and the total number of subsets of a set.

PREREQUISITES
  • Understanding of binomial coefficients, specifically C(n, k).
  • Familiarity with combinatorial identities and proofs.
  • Knowledge of summation notation and its applications in combinatorics.
  • Basic experience with mathematical proofs and logical reasoning.
NEXT STEPS
  • Study the properties of binomial coefficients in depth, focusing on identities and their proofs.
  • Learn about combinatorial proofs and their applications in mathematics.
  • Explore advanced topics in combinatorics, such as generating functions and their relation to binomial coefficients.
  • Investigate the applications of binomial coefficients in probability theory and statistics.
USEFUL FOR

Mathematicians, students studying combinatorics, educators teaching binomial coefficients, and anyone interested in advanced mathematical proofs and combinatorial arguments.

jbear12
Messages
13
Reaction score
0
Suppose n is even, prove:
[tex]\sum[/tex]k=0->n/2, C(n,2k)=2^(n-1)=[tex]\sum[/tex]k=1->n/2, C(n,2k-1)
Give a combinatorial argument to prove that: (I've figured out this one...)
[tex]\sum[/tex]k=1->n, C(n,k)^2=C(2n,n)

For the first problem, I tried to break C(n, 2k) into C(n+1,2k)-C(n, 2k-1), but they didnt seem to work very well. (I also noticed that [tex]\sum[/tex]0, n C(n,2k)=2^n, but I can't really use this to solve the problem.)
For the second problem, I don't have a clue.
Any thoughts?
Thanks!
 
Last edited:
Physics news on Phys.org
You want to prove that, for n even, [itex]\sum_{k= 0}^{n/2}C(n, 2k)= 2^{n-1}[/itex] and that [itex]\sum_{k=0}^{n/2} C(n, 2k-1)= 2^{n-1}[/itex]

You think mean you have tried to use C(n, 2k)= C(n-1,2k)-C(n-1, 2k-1) . That works nicely! If you take i= 2k, That just says C(n, i)= C(n-1, i)+ C(n-1, i) and your sum is [itex]\sum_{k= 0}^{n/2}C(n, 2k)= \sum_{i= 0}^n C(n-1, i)= 2^{n-1}[/itex]!

For the second one, let i= 2k-1.
 
HallsofIvy said:
You want to prove that, for n even, [itex]\sum_{k= 0}^{n/2}C(n, 2k)= 2^{n-1}[/itex] and that [itex]\sum_{k=0}^{n/2} C(n, 2k-1)= 2^{n-1}[/itex]

You think mean you have tried to use C(n, 2k)= C(n-1,2k)-C(n-1, 2k-1) . That works nicely! If you take i= 2k, That just says C(n, i)= C(n-1, i)+ C(n-1, i) and your sum is [itex]\sum_{k= 0}^{n/2}C(n, 2k)= \sum_{i= 0}^n C(n-1, i)= 2^{n-1}[/itex]!

For the second one, let i= 2k-1.
Thanks HallsofIvy.
But I don't get it how you get from C(n, 2k)= C(n-1,2k)-C(n-1, 2k-1) to C(n, i)= C(n-1, i)+ C(n-1, i). Taking i=2k, why is C(n-1,i-1) equal to -C(n-1,i).
Also, why is [itex]\sum_{i= 0}^n C(n-1, i)= 2* \sum_{i= 0}^{n/2} C(n-1, i)[/itex]
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
7K
Replies
7
Views
4K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
6
Views
2K