Definite Integral from 0 to 2 Pi of Reciprocal of a plus b Cosine x/Proof 1

Proof
Let $C$ be the unit open disk in the complex plane centred at $0$.

The boundary of $C$, $\partial C$, can be parameterized by:


 * $\map z x = e^{i x}$

for $0 \le x \le 2 \pi$.

We have:

The integrand has poles where:


 * $\paren {z + \dfrac a b}^2 - \dfrac {a^2} {b^2} + 1 = 0$

That is, where:


 * $\size {z + \dfrac a b} = \dfrac {\sqrt {a^2 - b^2} } b$

So:


 * $z_1 = \dfrac {-a + \sqrt {a^2 - b^2} } b$

and:


 * $z_2 = \dfrac {-a - \sqrt {a^2 - b^2} } b$

are the poles of the integrand.

We have:

So $z_2$ lies outside the closed disk $\size z \le 1$ for all real $a > b > 0$, so is of no concern.

We now establish a bound on $z_1$.

As $a > b > 0$, we have that:


 * $a^2 > a^2 - b^2 > 0$

So, from Square Root is Strictly Increasing:


 * $a > \sqrt {a^2 - b^2} > 0$

Multiplying through by $-2 \sqrt {a^2 - b^2}$:


 * $-2 a \sqrt{a^2 - b^2} < 2 \paren {b^2 - a^2} < 0$

This can be rewritten as:

giving:


 * $\size {-a + \sqrt {a^2 - b^2} } < b$

Therefore:


 * $\size {z_1} = \size {\dfrac {-a + \sqrt {a^2 - b^2} } b} < 1$

So $z_1$ is the only pole of the integrand lying within $C$.

Therefore: