Define a candidate antiderivative by integration along the straight segment from zero:
For in the open unit disc and sufficiently small , the triangle with vertices lies within the disc, since the disc is convex. By the Cauchy integral theorem, its boundary contour integral vanishes. Consequently
For , subtract after division by . The absolute value of the remainder is at most , which tends to zero by continuity of the holomorphic function at . Hence the complex derivative exists and for every point of the disc. This proves that is a holomorphic function and supplies the requested primitive directly from the Cauchy integral theorem.

Articles by others on the same topic (0)

There are currently no matching articles.