Assume for simplicity that when $k>n$ we have ${n\choose k}=0$.

It is well-known that $\sum_k {n\choose 2k}=\sum_k {n\choose 2k+1}=2^{n-1}$ , i.e. the sum of the odd places in each row in Pascal's triangle is equal to the sum of the even places, and both are even numbers (and actually powers of 2).

I'm interested in the sums $S_p^a=\sum_k{n\choose p\cdot k+a}$ where $p$ is an odd prime and $a\in\mathbb{Z}_p$. In particular I noted that for $p=3$ and every $n$, exactly two of the sums $S^a_3$ are equal (and both are odd) and the third sum is even, and the absolute value of the difference of their values is 1.

First question (concrete): This fact seems to be easy enough to prove by a frontal assault; is it a well-known result? Are there nice proofs for it?

Second question (somewhat vague): What can be said in general about $S^a_p$, for a fixed $p$ and $n$? It seems that in that case as well some of the sums are equal - which? What can be said about their values modulo 2? What interesting facts in general these sums have?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.