This is a challenge question that I already know how to solve: Letand consider a smooth (differentiable) map
where
is the general shape shown in the first plot below (loops around the branch-points,then looping around to close the contour). That is, the contour traverses an analytic path over multiple branches of the integrand. Show via the Residue Theorem:
