Generatingfunctionology claims that (nk)=0 for k<0. I have checked using formula (nk)=n!k!(n−k)! and the fact that0!=1=(−1)!∗0 identical to (−1)!=10−1!=(−2)!∗(−1) identical to (−2)!=10(−1)−2!=(−3)!∗(−2) identical to (−3)!=10(−1)(−2)and, generally,(−n)!=10(−1)(−2)⋯(−n+1)
I have got the following Karnaugh map, which shows whether (nk)=0 or not,
You see a checkerboard order of =0 and ≠0: every time we switch one of the conditions, n>k, n>0 or k>0, the output (nk) switches between zero to non-zero. The same checkerboard behaviour is also observed in Wikipedia. Now, we see that author's statement that "(nk)=0 vanishes unless 0 ≤ k ≤ n" is true only for n>0.
I have got the following Karnaugh map, which shows whether (nk)=0 or not,
n > 0 | ||||
= | ≠ | = | ≠ | |
n>k | ≠ | = | ≠ | = |
k > 0 | ||||
No comments:
Post a Comment