Let UC open, and f:UC holomorphic. Let ϕ:RU be a C1 image of a rectangle. Then given any parametrization of ϕ(δR), say γ, we have:
:?:

γf(z)dz:=t0t1f(γ(t))γ(t)dt=0

PROOF:

  1. See steps for 11. Lemma 2.1.1- Cauchy Integral Theorem for rectangles.
  2. the only tricky part is that we need to bound the diameter of ϕ(R) and the length. We can do this since ϕ is continuously differentiable, and so the operator norm of the Jacobian has a maximum value on R, say C. We use this constant to bound diam(ϕ(R(n)))Cdiam(R)2n
Powered by Forestry.md