Let γ:[0,1]→C be a closed path, where all paths are assumed to be piecewise continuously differentiable, and let a be a complex number not in the image of γ. Write down an expression for the winding number n(γ,a) in terms of a contour integral. From this characterization of the winding number, prove the following properties:
(a) If γ1 and γ2 are closed paths not passing through zero, and if γ:[0,1]→C is defined by γ(t)=γ1(t)γ2(t) for all t, then
n(γ,0)=n(γ1,0)+n(γ2,0)
(b) If η:[0,1]→C is a closed path whose image is contained in {Re(z)>0}, then n(η,0)=0.
(c) If γ1 and γ2 are closed paths and a is a complex number, not in the image of either path, such that
∣γ1(t)−γ2(t)∣<∣γ1(t)−a∣
for all t, then n(γ1,a)=n(γ2,a).
[You may wish here to consider the path defined by η(t)=1−(γ1(t)−γ2(t))/(γ1(t)−a).]