Past exam of the mathematics course of the University of Cambridge / 2016 / ia / Paper 4 / 8E (Numbers and Sets)

First establish the binomial theorem needed throughout this question. For integers $0\le m\le n$, define the binomial coefficient $\left(\genfrac{}{}{0ex}{}{n}{m}\right)$ to be the number of $m$-element subsets of an $n$-element set. Counting ordered selections and then forgetting their order giveswith the factorial convention $0!=1$. In the product of $n$ factors $(1+z)$, choose $z$ from exactly $m$ factors and $1$ from the others. Each choice contributes $z^m$, and there are $\left(\genfrac{}{}{0ex}{}{n}{m}\right)$ choices. The distributive law therefore provesfor every complex number $z$, including $n=0$ by the empty-product convention.

To evaluate the even-indexed sum, use the even part of a polynomial: averaging the binomial theorem at $z$ and $-z$ cancels the odd powers. For $z=i\sqrt{3}$,The two complex numbers satisfy $1\pm i\sqrt{3}=2e^{\pm i\pi /3}$. Their $6n$th powers are both $2^{6n}$, since $e^{\pm 2\pi in}=1$. Thus the sum is

Differentiate the finite binomial theorem and set $z=1$. For $n\ge 1$ this givesFor $n=0$ the sum is $0$ directly.

For the alternating binomial moments, it is useful to differentiate in a form that introduces falling factorials. Write $(m{)}_j=m(m-1)\cdots (m-j+1)$, with $(m{)}_0=1$. Differentiating the binomial theorem $j$ times and multiplying by $z^j$ yields, for $0\le j\le n$,At $z=-1$, the right side vanishes when $j<n$, and equals $(-1{)}^{n}n!$ when $j=n$.

The polynomials $(X{)}_0,\dots ,(X{)}_r$ have degrees $0,\dots ,r$ and leading coefficient $1$, so successive cancellation of leading terms expresses $X^r$ as a linear combination of them. If $r<n$, every falling-factorial term has index $j<n$ and hence its alternating sum vanishes. If $r=n$, the coefficient of $(X{)}_n$ is $1$, and all lower-index terms still vanish. Therefore the alternating moments areFor $n=0$, the latter identity uses the constant polynomial $X^0=1$, so its value at $X=0$ is $1$; thus $S_0(0)=1$ as well. This makes the edge-case convention explicit rather than treating $0^0$ as an unrelated numerical expression.