Discrete Math Identity Proof Binomial Coefficients

671 Views Asked by At

The question is to prove this identity:

prove this identity! where k, m, n ∈ Z+.

Using pascal's identity on the left, so far I have:

my work so far !

If m is even then they cancel each other and should equal 0. If m is odd then answer would be (n choose m)

I'm stuck. On the right side, m odd/even doesn't matter neither results in equaling 0. What should I be doing next/or differently?

1

There are 1 best solutions below

0
On BEST ANSWER

Let's do this by induction on $m$, where $n$ is fixed. We see right away that for $m = 0$, we have $$ (-1)^0 \binom{n}{0} = 1 = (-1)^0 \binom{n-1}{0}. $$

Now assume the identity holds for all values $\leq m$, and we will show that it for $m + 1$. As a heads up, we will make use of the binomial recursive formula, sometimes referred to as Pascal's Triangle: $\binom{n}{k} = \binom{n-1}{k-1} + \binom{n - 1}{k}$.

\begin{align*} \sum\limits_{k = 0}^{m+1}(-1)^k \binom{n}{k} &= (-1)^{m+1}\binom{n}{m+1} + \sum\limits_{k = 0}^{m}(-1)^k \binom{n}{k} \\ &= (-1)^m \binom{n-1}{m} + (-1)^{m+1} \binom{n}{m+1} \text{ by the inductive hypthosis}\\ &= (-1)^{m+1} \left( \binom{n}{m+1} - \binom{n-1}{m} \right) \\ &= (-1)^{m+1} \binom{n-1}{m+1} \text{ by Pascal's Triangle}. \end{align*} This completes the proof.


EDIT: A fair amount of identities with Binomial Coefficients can be proven using induction and Pascal's Triangle; if you come across a similar identity, induction and Pascal's Triangle are often a good place to start.