Factors of Binomial Coefficient

Theorem
For all $r \in \R, k \in \Z$:
 * $k \dbinom r k = r \dbinom {r - 1} {k - 1}$

where $\dbinom r k$ is a binomial coefficient.

Hence:
 * $\dbinom r k = \dfrac r k \dbinom {r - 1} {k - 1}$ (if $k \ne 0$)

and:
 * $\dfrac 1 r \dbinom r k = \dfrac 1 k \dbinom {r - 1} {k - 1}$ (if $k \ne 0$ and $r \ne 0$)

Also, for all $r \in \R, k \in \Z$:
 * $\left ({r - k}\right) \dbinom r k = r \dbinom {r - 1} k$

from which:
 * $\dbinom r k = \dfrac r {r - k} \dbinom {r - 1} k$ (if $r \ne k$)

Proof
If $k = 0$ then $\dbinom r k = r \dbinom {r - 1} {k - 1} = 0$ by definition.

Otherwise:

If $k \ne 0$, we can divide both sides of:
 * $k \dbinom r k = r \dbinom {r - 1} {k - 1}$

by $k$ to obtain:
 * $\dbinom r k = \dfrac r k \dbinom {r - 1} {k - 1}$

If $k \ne 0$ and $r \ne 0$, we can divide both sides of:
 * $\dbinom r k = \dfrac r k \dbinom {r - 1} {k - 1}$

by $r$ to obtain:
 * $\dfrac 1 r \dbinom r k = \dfrac 1 k \dbinom {r - 1} {k - 1}$

Finally:
 * $\dbinom r k = \dfrac r {r - k} \dbinom {r - 1} k$

follows from the
 * $\left ({r - k}\right) \dbinom r k = r \dbinom {r - 1} k$

by dividing both sides by $r - k$.