Basically, I've computed a few values by hand, and those followed the pattern in the question. Wolframalpha also claims that this function equals the Kronecker delta function which follows $$\delta_{ij} = \begin{cases}0 &\text{if } i \neq j \\1 &\text{if }x=1\end{cases}$$ Why is this the case?
Asked
Active
Viewed 114 times
0
-
Cool, I didn't know that. – Adam Rubinson Jan 14 '21 at 20:49
3 Answers
4
This counts the number of even subsets of a set of size $n$ minus the number of odd subsets. If $n=0$ there is only one subset, which is even ($\varnothing$); otherwise there are the same number of each (swapping whether or not $1$ is included gives a bijection from even to odd).
Especially Lime
- 46,692
2
Answering my own question:
This is simply a special case of the equality
$$(a+b)^n = \sum_{k=0}^n {n \choose k}a^{n-k}b^k$$
with $a=1$ and $b=-1$.
Poseidaan
- 561
- 4
- 17
1
Recall the binomial formula: $$(x+y)^n=\sum_{k=0}^n \binom nk x^k y^{n-k}$$
Then: $$0=0^n=((-1)+1)^n=\sum_{k=0}^n\binom nk (-1)^k (1)^k=\sum_{k=0}^n\binom nk (-1)^k$$
Rhys Hughes
- 13,103