Past exam of the short options paper shared by Parts A and B of the physics course of the University of Oxford / 2019 / S1 / 3

Cauchy's integral theorem states that a holomorphic function on a simply connected open region has zero contour integral around every closed piecewise smooth contour in that region. More generally the same holds for a contour homologous to zero in its domain of holomorphy. Having no singularity on the curve alone is insufficient: $1/z$ has a nonzero contour integral around the unit circle.

Put $z=e^{i\theta }$, so $d\theta =dz/(iz)$, $\cos 2\theta =(z^2+z^{-2})/2$ and ${\cos }^{2}3\theta =(z^6+2+z^{-6})/4$. The contour integral isThe enclosed poles are $0$ and $\pm 1/\sqrt{2}$. For the rational function displayed without the prefactor $1/(4i)$, the residue at zero is $-21/8$ and the two other residues sum to $27/8$. Therefore the residue theorem givesA useful independent check is the Fourier series $(5-4\cos \varphi {)}^{-1}=\frac{1}{3}[1+2{\sum }_{k\ge 1}{2}^{-k}\cos k\varphi ]$; only its constant and third Fourier coefficients survive.

The square root produces branch points at $z=\pm 1$, with local behaviour proportional to $(z\mp 1{)}^{-1/2}$. One branch cut can join them along $[-1,1]$. Another choice uses the two rays $(-\infty ,-1]\cup [1,\infty )$. Each choice prevents a loop from enclosing just one branch point within a single-valued domain. For the finite-segment choice fix $\sqrt{z^2-1}\sim z$ at infinity. Infinity is then a pole of order three, not a branch point, since

Use the branch cut $[-1,1]$ and the branch of a multivalued function normalized by $\sqrt{z^2-1}\sim z$. The Laurent series from the preceding solution has $z^{-1}$ coefficient $3/8$. Consequently every sufficiently large positively oriented circle givesAlthough $f$ grows cubically, its other Laurent series terms have zero contour integral. Choosing the opposite branch of a multivalued function reverses the sign; neither the branch of a multivalued function nor the orientation can be omitted from the answer.

Shrink the positive outer contour to the branch cut $[-1,1]$. On its upper bank the chosen branch of a multivalued function has $\sqrt{x^2-1}=i\sqrt{1-x^2}$ and on the lower bank it has the negative of this value. The upper bank runs from $1$ to $-1$, and the lower bank runs from $-1$ to $1$. The endpoint circles contribute $O(\sqrt{ϵ})$ and vanish. HenceThe change of variables $x=\sin t$ independently reduces the result to the integral of ${\sin }^{4}t$ over $[-\pi /2,\pi /2]$.