Cauchy's Integral Formula
Suppose that is a holomorphic function on an open set
Let be a simply positively oriented closed curve such that and interior of are insideLet
For all inside of then
Proof
Fix inside
Then there exists such that
So the disc is inside
For any then
Let be the positively oriented circle of radius aroundBy Homotopy between interior closed paths and interior circle then
As
As is complex differentiable at then
By estimation lemma then the integral over tends to
Thus as then the path integral around tends to
Since is independent of then it must be equal to