User:Anghel/Sandbox

Theorem
Let $f: D \to \C$ be a continuous complex function, where $D$ is a connected domain.

Let $\triangle$ be a triangle embedded in the complex plane $\C$.

Let $\partial \triangle$ be the boundary of $\triangle$.

Let $\Int \triangle$ be the interior of $\partial \triangle$, when $\partial \triangle$ is parameterized as a Jordan curve.

Suppose that $\partial \triangle \cup \Int \triangle \subseteq D$.

If $C$ is a contour with image equal to $\partial \triangle$, then:


 * $\ds \oint_C \map f z \rd z = 0$

Proof
We will create a sequence of triangles $\sequence {\triangle_n}_{n \mathop \in \N}$ by an inductive process.

Put $\triangle_0 = \triangle$ as the first element of the sequence.

Denote the vertices of $\triangle_n$ as $v_1, v_2, v_3$, and put $v_4 = v_1$ for convenience.

From Boundary of Polygon as Contour, it follows that there exists a contour $C_n$ such that $\Img {C_n} = \partial \triangle_n$.