Combinatorial proof of ${n \choose 1} + {n \choose 3} +\cdots = {n \choose 0} + {n \choose 2}+\cdots$

168 Views Asked by At

Give a combinatorial proof of

$${n \choose 1} + {n \choose 3} +\cdots = {n \choose 0} + {n \choose 2}+\cdots$$


In first of all, I know how to proof directly. We move all terms to left hand side of equation. And we get $(1-1)^n = 0^n = 0$, and we are done. Also I saw here several topics about this, but it never were about the combinatorial proof.

I want this prove combinatorial. I have no idea of question, which will be correctly answered from both side of equation. Thank you for all hints.

1

There are 1 best solutions below

3
On BEST ANSWER

Let's call a set even if it has an even number of elements and odd if it has an odd number of elements. As @KevinLong stated in the comments, the LHS counts the number of odd subsets of $n$ elements and the RHS counts the number of even subsets of $n$ elements.

Let's call the $n$ element set we're dividing up $N$. Fix some arbitrary element $x \in N$. We can partition the set of subsets of $N$ by whether they include $x$. For any subset of $N$ which includes $x$, there is exactly one subset of $N$ with all the same elements but without $x$. Likewise, for any subset of $N$ which does not include $x$, there is exactly one subset of $N$ with all the same elements but also including $x$.

Let's call any two subsets of $N$ that are related in this way (i.e. one can be obtained from the other by adding/removing $x$) a corresponding pair. Note that every subset of $N$ is a member of exactly one corresponding pair. Also, in any corresponding pair one of the sets is even and the other is odd. Therefore, the number of even subsets and the number of odd subsets is the same, so LHS = RHS.