Triangle Inequality for Integrals/Complex

Theorem
Suppose that $g : [a,b] \to \C$ is continuous. Then


 * $\displaystyle \left| \int_a^b g(t)\ dt \right| \leq \int_a^b |g(t)|\ dt $

Proof
Let


 * $\displaystyle \int_a^b g(t)\ dt = r e^{i \theta} $

where $r\geq 0$, $\theta$ are real. Then


 * $\displaystyle r = \left| \int_a^b g(t)\ dt \right|$

and


 * $\displaystyle r = e^{-i\theta} \int_a^b g(t)\ dt$

Therefore,

But

Therefore,


 * $\displaystyle r \leq \int_a^b |g(t)|\ dt $

That is,


 * $\displaystyle \left| \int_a^b g(t)\ dt \right| \leq \int_a^b |g(t)|\ dt $