Integration and Symmetry
Textbook Reference
| Primary source | OpenStax Calculus Volume 2, Section 1.5: “Substitution” |
| Direct link | https://openstax.org/books/calculus-volume-2/pages/1-5-substitution |
| Textbook used in class | Stewart, Calculus, Section 4.5: “The Substitution Rule” |
Opening Scenario
When the interval of integration is symmetric about the origin (i.e., $[-a, a]$), the symmetry of the integrand can dramatically simplify the calculation. An odd function contributes equal and opposite areas on either side of the origin, so its integral over $[-a, a]$ is zero without any computation. An even function contributes equal areas on both sides, so you can double the integral over just the right half.
These results follow from substitution, and using them avoids arithmetic that would otherwise be tedious.
Quick Reference
Let $f$ be integrable on $[-a, a]$.
Odd function ($f(-x) = -f(x)$): $$\int_{-a}^{a} f(x)\,dx = 0.$$
Even function ($f(-x) = f(x)$): $$\int_{-a}^{a} f(x)\,dx = 2\int_0^a f(x)\,dx.$$
Key Concepts
1. Why Symmetry Works -- Proof by Substitution
Split the integral at zero using additivity: $$\int_{-a}^{a} f(x)\,dx = \int_{-a}^{0} f(x)\,dx + \int_0^a f(x)\,dx.$$
In the first integral, substitute $u = -x$, $du = -dx$. When $x = -a$, $u = a$; when $x = 0$, $u = 0$: $$\int_{-a}^{0} f(x)\,dx = \int_a^0 f(-u)(-du) = \int_0^a f(-u)\,du.$$
So: $$\int_{-a}^{a} f(x)\,dx = \int_0^a f(-x)\,dx + \int_0^a f(x)\,dx = \int_0^a [f(-x) + f(x)]\,dx.$$
- If $f$ is odd: $f(-x) = -f(x)$, so $f(-x) + f(x) = 0$ and the integral is zero.
- If $f$ is even: $f(-x) = f(x)$, so $f(-x) + f(x) = 2f(x)$ and the integral equals $2\displaystyle\int_0^a f(x)\,dx$.
2. Recognizing Even and Odd Functions
- Even: The graph is symmetric about the $y$-axis. Examples: $x^2$, $x^4$, $\cos x$, $|x|$, any polynomial with only even-degree terms.
- Odd: The graph has rotational symmetry about the origin. Examples: $x$, $x^3$, $\sin x$, $\tan x$, any polynomial with only odd-degree terms.
- Neither: Most functions are neither even nor odd. For example, $f(x) = x + 1$ satisfies $f(-x) = -x + 1$, which equals neither $f(x)$ nor $-f(x)$.
3. Handling Sums of Even and Odd Parts
Any function can be written as $f(x) = E(x) + O(x)$ where $E(x) = \dfrac{f(x)+f(-x)}{2}$ is even and $O(x) = \dfrac{f(x)-f(-x)}{2}$ is odd. Over a symmetric interval, the odd part integrates to zero and only the even part contributes.
“If the integrand is a polynomial, just use the power rule -- symmetry is just a shortcut.” For integrals like $\displaystyle\int_{-5}^{5}(x^{99} + x^{97} + \cdots + x)\,dx$, recognizing the integrand as an odd function gives the answer of 0 instantly. Using the power rule requires computing 50 antiderivative terms and then careful arithmetic. The symmetry shortcut is not just convenience; for complex integrands, it is the practical approach.
Worked Example
Evaluate $\displaystyle\int_{-3}^{3}(x^5 - 4x^3 + 2x)\,dx$.
Each term $x^5$, $-4x^3$, and $2x$ is an odd function. Their sum is an odd function.
Therefore $\displaystyle\int_{-3}^{3}(x^5 - 4x^3 + 2x)\,dx = 0$.
Evaluate $\displaystyle\int_{-2}^{2}(x^4 + 3)\,dx$.
The function $x^4 + 3$ is even (both $x^4$ and the constant 3 are even functions).
$$\int_{-2}^{2}(x^4 + 3)\,dx = 2\int_0^2(x^4+3)\,dx = 2\left[\frac{x^5}{5} + 3x\right]_0^2 = 2\left(\frac{32}{5} + 6\right) = 2\cdot\frac{62}{5} = \frac{124}{5}.$$
Boxed answer: $\dfrac{124}{5}$.
Evaluate $\displaystyle\int_{-\pi}^{\pi}\cos x\,dx$.
$\cos x$ is an even function.
$2\displaystyle\int_0^{\pi}\cos x\,dx = 2[\sin x]_0^{\pi} = 2(0 - 0) = 0$.
(This makes sense geometrically: the positive and negative areas are equal regardless of parity, because the second arch of cosine on $[0, \pi]$ happens to also integrate to zero by direct computation.)
Common Errors Summary
| Error | Example | Correction |
|---|---|---|
| Applying symmetry outside a symmetric interval | Using the odd-function rule on $\int_0^{\pi}\sin x\,dx$ | The interval must be $[-a, a]$; $[0, \pi]$ is not symmetric about zero |
| Claiming a sum of even and odd functions is even or odd | Treating $x^2 + x$ as even | $x^2 + x$ is neither: $f(-x) = x^2 - x \neq f(x)$ and $\neq -f(x)$ |
| Forgetting to check the parity before applying the rule | Integrating $x^2\sin x$ as if it were odd | Check: $f(-x) = (-x)^2\sin(-x) = x^2(-\sin x) = -f(x)$. Actually it is odd (product of even $x^2$ and odd $\sin x$), so the rule does apply. |
Leveled Practice
Level 1 -- Direct Application
Problem 1. Without computing, state the value of $\displaystyle\int_{-1}^{1}(x^7 - 3x^5 + x^3 - x)\,dx$.
Show answer
Each term is odd (odd power of $x$), so the sum is odd. By the odd-function rule: the integral equals $0$.
Level 2 -- Even Symmetry
Problem 2. Evaluate $\displaystyle\int_{-\pi/2}^{\pi/2}\cos^2 x\,dx$ using symmetry and the identity $\cos^2 x = \dfrac{1+\cos(2x)}{2}$.
Show answer
$\cos^2 x$ is even (since $\cos(-x) = \cos x$, so $\cos^2(-x) = \cos^2 x$).
$\displaystyle\int_{-\pi/2}^{\pi/2}\cos^2 x\,dx = 2\int_0^{\pi/2}\frac{1+\cos(2x)}{2}\,dx = \int_0^{\pi/2}(1+\cos(2x))\,dx$
$= \left[x + \frac{\sin(2x)}{2}\right]_0^{\pi/2} = \frac{\pi}{2} + \frac{\sin\pi}{2} - 0 = \frac{\pi}{2}$.
Level 3 -- Mixed Parity
Problem 3. Evaluate $\displaystyle\int_{-2}^{2}(x^3 + x^2 + 1)\,dx$.
Show answer
Split: $x^3$ is odd (integrates to 0 over $[-2,2]$); $x^2 + 1$ is even.
$\displaystyle\int_{-2}^{2}(x^3 + x^2 + 1)\,dx = 0 + 2\int_0^2(x^2+1)\,dx = 2\left[\frac{x^3}{3}+x\right]_0^2 = 2\left(\frac{8}{3}+2\right) = 2\cdot\frac{14}{3} = \frac{28}{3}$.
Mastery Checklist
Mental Model
An odd function has its graph “flipped through the origin”: every point $(x, y)$ on the graph corresponds to the point $(-x, -y)$. The area above the $x$-axis on the right is mirrored by an equal area below the $x$-axis on the left. They cancel exactly. An even function has its graph reflected left-right across the $y$-axis, so the two halves are identical -- doubling the right half gives the total.
Symmetry arguments replace computation with observation. Over a symmetric interval, the parity of the integrand is often the first thing to check.
Connections
Looking back
- Substitution (Section 4.5): The symmetry rules are proved using the substitution $u = -x$.
- Properties of integrals (Section 4.2): The additivity property $\int_{-a}^a = \int_{-a}^0 + \int_0^a$ is the first step in the proof.
Looking ahead
- Trigonometric integrals (Chapter 7): Symmetry arguments frequently simplify integrals of powers of $\sin x$ and $\cos x$ over $[-\pi, \pi]$ or $[0, 2\pi]$.