Past exam of the mathematics course of the University of Cambridge / 2020 / ii / Paper 3 / 7E (Further Complex Methods)

For each nonzero period lattice point $\omega$, the binomial series givesPairing $\omega$ with $-\omega$ cancels every odd power. Hence the Laurent series of the Weierstrass elliptic function iswhich is the stated coefficient formula.

SetThis is an elliptic function. Write $a=g_2/20$ and $b=g_3/28$ in the expansion from part (i). At a lattice point, the coefficient of $z^{-2}$ in $F$ is $g_2-20a=0$, and its constant coefficient is $g_3-28b=0$; there are no other singular terms. Every apparent pole is therefore a removable singularity, and $F$ extends to an entire elliptic function with value zero at the lattice points.

An entire elliptic function is bounded on a fundamental parallelogram and hence everywhere. By Liouville theorem it is constant, and its value at zero is zero. Thus $F\equiv 0$, proving the Weierstrass elliptic differential equation