# Proof of identity involving binomial coefficient

My homework assignment was essentially to prove the following binomial coefficient identity:

Prove $$\begin{pmatrix} -n \\ k\end{pmatrix} = (-1)^k \begin{pmatrix} n+k-1 \\ k\end{pmatrix}$$

Using the definition $\begin{pmatrix} n \\ k\end{pmatrix} := \prod_{j=1}^k \frac{n+1-j}{j}$ I get

$$\prod_{j=1}^k \frac{-n+1-j}{j} = (-1)^k \prod_{j=1}^k \frac{n+k-1+1-j}{j}$$

Which is equivalent to

$$\prod_{j=1}^k -n+1-j = \prod_{j=1}^k -n-k+j$$

Now the $1-j$ in the first term and the $-k+j$ in the second term create the same set, but in the opposite direction: $1-j$ goes from $0$ to $1-k$, while $-k+j$ goes from $1-k$ to $0$, so both products are the same.

But how do I prove this in a formal way?

• Just a $\LaTeX$ tip: \binom{n+k-1}{k} is less typing than \begin{pmatrix} ... \end{pmatrix} (and may have better spacing properties, but I don't know if they do differ in that respect). – Daniel Fischer Nov 8 '14 at 20:08
• Strange question... by definition, if $n<k$ therefore $\binom{n}{k}=0$. – idm Nov 8 '14 at 20:19