Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2011/analysis/4/iii/solution

Morera's theorem states that if is continuous on an open set and its integral around every triangle whose interior and boundary lie in is zero, then is holomorphic on .
For a proof, choose a disk and a base point . Define along the straight segment. Convexity keeps every triangle with vertices inside . Its zero boundary integral implies
By continuity, the last integral tends to as , so . Thus is holomorphic on . The allowed result that the derivative of a holomorphic function is holomorphic now gives that is holomorphic there. Such disks cover , proving

New to topics? Read the docs here!