4
$\begingroup$

So, I was trying to come with a formula for the sum of below series:

${2^n \choose 1}+{2^n \choose 3}+...+{2^n \choose 2^n - 1}$

Thank you.

$\endgroup$
2
  • 3
    $\begingroup$ Why didn't you just try the first few values of $n$ and see what you got for the sum? It seems like that would quickly suggest a formula that you could then verify with one of the answers below. $\endgroup$
    – Hao Ye
    Dec 18, 2014 at 4:22
  • $\begingroup$ Any idea why this question is off-topic? $\endgroup$ Sep 28, 2021 at 13:09

3 Answers 3

11
$\begingroup$

For any positive integer $k$, you can show that $$\binom{k}{0}+\binom{k}{2}+\binom{k}{4}+\cdots=\binom{k}{1}+\binom{k}{3}+\binom{k}{5}+\cdots$$

(Hint: Use the binomial theorem to expand $(x+y)^k$ with $x=1,y=-1$.)

You can also show that

$$\binom{k}{0}+\binom{k}{1}+\binom{k}{2}+\cdots+\binom{k}{k}=2^k$$

(Hint: Use the binomial theorem to expand $(x+y)^k$ with $x=1,y=1$.)

Can you combine the two to solve your problem?

$\endgroup$
1
  • $\begingroup$ indeed. this proof is handy. $\endgroup$
    – modeller
    Dec 18, 2014 at 3:15
8
$\begingroup$

Another way to prove this is that if you have a set $X$ with $k$ elements, then you can create a $1-1$ correspondence between the subsets with even numbers of elements and the subsets of odd number of elements by picking a fixed element $x\in X$ and pairing $S$ with $S\cup \{x\}$ for each $S$ with $x\not\in S$.

Thus, the odd subsets are half of the subsets, and thus the number is $\frac{2^k}{2}=2^{k-1}$.

$\endgroup$
0
1
$\begingroup$

Another method which is slightly different from the proposed ones is using the identity $\binom{n}{k}=\binom{n-1}{k-1}+\binom{n-1}{k}$ to break up every summand.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .