Increasing Alternating Sum of Binomial Coefficients
From ProofWiki
Theorem
Let $n \in \Z$ be an integer.
Then:
- $\displaystyle \sum_{j=0}^n \left({-1}\right)^{n+1} j \binom n j = 0$
where $\displaystyle \binom n k$ denotes a binomial coefficient.
That is:
- $\displaystyle 1 \binom n 1 - 2 \binom n 2 + 3 \binom n 3 - \cdots + \left({-1}\right)^{n+1} n \binom n n = 0$
Proof
| \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \sum_{j=0}^n \left({-1}\right)^{n+1} j \binom n j\) | \(=\) | \(\displaystyle \sum_{j=1}^n \left({-1}\right)^{n+1} j \binom n j\) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | as $\displaystyle 0 \binom n 0 = 0$ | ||
| \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | \(=\) | \(\displaystyle \sum_{j=1}^n \left({-1}\right)^{n+1} n \binom {n-1} {j-1}\) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | Factors of Binomial Coefficients | ||
| \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | \(=\) | \(\displaystyle n \sum_{j=0}^{n-1} \left({-1}\right)^{n-1} \binom {n-1} j\) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | Permutation of Indices, and $\left({-1}\right)^{n+1} = \left({-1}\right)^{n-1}$ | ||
| \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | \(=\) | \(\displaystyle 0\) | \(\displaystyle \) | \(\displaystyle \) | \(\displaystyle \) | Alternating Sum and Difference of Binomial Coefficients for Given n |
$\blacksquare$