Contour Integral of Concatenation of Contours

Theorem
Let $C$ and $D$ be contours in $\C$.

Suppose that the end point of $C$ is equal to the start point of $D$, so the concatenation $C \cup D$ is defined.

Let $f: \Img {C \cup D} \to \C$ be a continuous complex function, where $\Img {C \cup D}$ denotes the image of $C \cup D$.

Then:


 * $\ds \int \limits_{C \mathop \cup D} \map f z \rd z = \int \limits_C \map f z \rd z + \int \limits_D \map f z \rd z$

Proof
By definition of contour, $C$ is a finite sequence $C_1, \ldots, C_n$ of directed smooth curves.

Let $C_i$ be parameterized by the smooth path $\gamma_i: \closedint {a_i} {b_i} \to \C$ for all $i \in \set {1, \ldots, n}$.

Similarly, $D$ is a finite sequence $D_1, \ldots, D_m$ of directed smooth curves.

Let $D_j$ be parameterized by the smooth path $\sigma_j: \closedint {c_j} {d_j} \to \C$ for all $j \in \set {1, \ldots, m}$.

Put $\gamma_i = \sigma_{i - n}, a_i = c_{i - n}$ and $b_i = d_{i - n}$ for all $i \in \set {n + 1, \ldots, n + m}$.

Then $C \cup D$ is a sequence of $n + m$ directed smooth curves which are parameterized by $\gamma_1, \ldots, \gamma_{n + m}$.

Then: