Solution

ID: past-exam-of-the-algebra-and-analysis-ii-for-mathematics-and-philosophy-course-of-the-university-of-oxford/2013/4/c/solution

Morera's theorem states that a continuous function on an open subset of is holomorphic if its integral around every triangular contour, with triangle and interior contained in that open set, is zero.
To prove this, work in any open disk whose closure lies in , and fix . Define
where the segment lies in by convexity. The zero integral on the triangle with vertices gives
Continuity at implies that the last integral tends to as : its difference from is bounded by . Therefore on . The function is holomorphic, and the allowed theorem that a holomorphic derivative is holomorphic implies that is holomorphic on .
Every point of lies in such a disk, proving the result throughout :
The proof is local and does not require to be simply connected.

New to topics? Read the docs here!