Definite Integral of Odd Function/Corollary

From ProofWiki
Jump to navigation Jump to search

Corollary to Definite Integral of Odd Function

Let $f$ be an odd function with a primitive on the open interval $\openint {-a} a$, where $a > 0$.


Then the improper integral of $f$ on $\openint {-a} a$ is:

$\displaystyle \int_{\mathop \to -a}^{\mathop \to a} \map f x \rd x = 0$


Proof

\(\displaystyle \int_{\mathop \to -a}^{\mathop \to a} \map f x \rd x\) \(=\) \(\displaystyle \lim_{y \mathop \to a} \int_{-y}^y \map f x \rd x\) Definition of Improper Integral over Open Interval
\(\displaystyle \) \(=\) \(\displaystyle \lim_{y \mathop \to a} 0\) Definite Integral of Odd Function
\(\displaystyle \) \(=\) \(\displaystyle 0\)

$\blacksquare$