0

I want to prove

${2a \choose 2b} \equiv {a \choose b} \pmod 2$

with induction. I've seen one that uses the Iverson bracket notation, however that doesn't seem to fit into the scope of what I am learning right now. Is there another way to prove this?

2 Answers2

3

You have $2a$ limes and you want to choose $2b$ of them. Divide your set into two buckets with $a$ limes in them a piece. A choice of $2b$ limes is called split if there are exactly $b$ limes in each bucket. Then ${a \choose b}^2$ gives the number of split choices. On the other hand, the number of non-split choices is even, because there is an involution of that set with no fixed-points given by flip-flopping the buckets.

So $$ {2a \choose 2b} = {a \choose b}^2 + \text{ something even }, $$ which proves the result since ${a \choose b}^2$ has the same parity as ${a \choose b}$.

hunter
  • 29,847
2

Use Pascal's identity

$$\binom{n}{k}=\binom{n-1}{k-1}+\binom{n-1}{k} \, .$$

Apply this to $\displaystyle\binom{2a}{2b}$. Then apply it again to the two new binomial coefficients you just got. Then use the induction hypothesis.

Micah
  • 38,108
  • 15
  • 85
  • 133