I found a solution online that uses the Binomial Theorem. Is it possible to prove this without using that theorem?
-
Usually it is proved by induction, see here. – Dietrich Burde May 04 '16 at 18:41
-
What about mathematical induction ? – callculus42 May 04 '16 at 18:41
-
Haven't tried it, but I would guess induction would do it – MPW May 04 '16 at 18:42
-
1Well...as $\binom nk$ is the number of subsets of $S[n]={1,...,n}$ with exactly $k$ elements, the left hand is the total number of subsets of $S[n]$. But that's clearly $2^n$. – lulu May 04 '16 at 18:42
5 Answers
Consider choosing a subset of a set of length $n$. One way is to determine for every item if it will make it or not, giving $2^n$ ways.
The other, choose the size first.
- 54,422
This may depend on what definitions you're using. If $\dbinom n k$ is defined as the number of size-$k$ subsets of a size-$n$ set, and if you know that $2^n$ is the total number of subsets of a size-$n$ set, then the identity just says for every possible size of subsets, if you add up the number of subsets of that size, you get the total number of subsets.
Using the generation rule from Pascal's triangle: \begin{align} S_n &= \sum_{k=0}^n \binom{n}{k} \\ &= 2 + \sum_{k=1}^{n-1} \binom{n}{k} \\ &= 2 + \sum_{k=1}^{n-1} \left( \binom{n-1}{k-1} + \binom{n-1}{k} \right) \\ &= 2 + \sum_{k=0}^{n-2} \binom{n-1}{k} + \sum_{k=1}^{n-1} \binom{n-1}{k} \\ &= \sum_{k=0}^{n-1} \binom{n-1}{k} + \sum_{k=0}^{n-1} \binom{n-1}{k} \\ &= 2 S_{n-1} \end{align} Further $S_0 = 1$.
This is a homogeneous linear recurrence relation with constant coefficients: \begin{align} S_0 &= 1 \\ S_n &= 2 S_{n-1} \end{align} It has the characteristic polynomial $$ p(t) = t - 2 $$ with root $t = 2$ and general solution $$ S_n = k \, 2^n $$ The initial condition gives $k = 1$. This results in $$ S_n = 2^n $$
- 34,562
HINT:
In how many ways can you choose $k$ things from $n$ things where $0 \le k \le n$ ?
The L.H.S. will come out to be obvious from this argument while for the R.H.S., we have the argument: For each of the $n$ things, you have $2$ choices; you select it or you don't.
- 24,472
Without words: $$\begin{matrix}&1&+&4&+&6&+&4&+&1&+\\ &&&1&+&4&+&6&+&4&+&1\\ =&1&+&5&+&10&+&10&+&5&+&1\\ \end{matrix}$$
$$16+16=32$$
$$0000\\ 1000,0100,0010,0001\\ 1100,1010,1001,0110,0101,0011\\ 1110,1101,1011,0111\\ 1111$$
$$0000,0001,0010,0011,0100,0101,0110,0111,1000,1001,1010,1011,1100,1101,1110,1111$$
-
1
-
-
-
-
-
The first is explained by @mvw; the second by @gt6989b and @ SchrodingersCat . – May 04 '16 at 19:28