Proving Binomial Coefficients for Even n | Combinatorial Argument

jbear12
Messages
13
Reaction score
0
Suppose n is even, prove:
\sumk=0->n/2, C(n,2k)=2^(n-1)=\sumk=1->n/2, C(n,2k-1)
Give a combinatorial argument to prove that: (I've figured out this one...)
\sumk=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 \sum0, 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, \sum_{k= 0}^{n/2}C(n, 2k)= 2^{n-1} and that \sum_{k=0}^{n/2} C(n, 2k-1)= 2^{n-1}

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 \sum_{k= 0}^{n/2}C(n, 2k)= \sum_{i= 0}^n C(n-1, i)= 2^{n-1}!

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

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 \sum_{k= 0}^{n/2}C(n, 2k)= \sum_{i= 0}^n C(n-1, i)= 2^{n-1}!

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 \sum_{i= 0}^n C(n-1, i)= 2* \sum_{i= 0}^{n/2} C(n-1, i)
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top