Cauchy - Goursat theorem says, the integral of an analytic function f(z) over a closed contour C , is zero. Mathematically,
( Function has to be analytic at all the interior points and on the contour C as well.)
where C is any simple closed contour in the Z-plane. By knowing
f(z) = u(x,y) + i v(x,y), and dz = dx + i dy , the above integral becomes
Now, the two closed loop integrals on the right hand side can be converted into surface integrals, by using Stokes theorem. Hence, we can write,
So, for an analytic function, it is guaranteed that,
which implies
Hence the theorem is proved.