Definite Integral Symmetry: The Shortcut That Saves You Work
Asked to find the area under f(x)=x3 from x=−2 to x=2? You could integrate directly — but there's a much faster way if you notice the symmetry of the graph.
The Intuition: What Does "Symmetry" Mean Here?
A function can be symmetric about the y-axis (like x2 or cosx) or about the origin (like x3 or sinx). When you integrate over a symmetric interval — from −a to a — these symmetries create a predictable cancellation or doubling.
Even functions (symmetric about the y-axis): f(−x)=f(x) — think x2, x4, cosx, ∣x∣. The left side mirrors the right, so the area from −a to 0 equals the area from 0 to a. The total is double the area on one side.
Odd functions (symmetric about the origin): f(−x)=−f(x) — think x3, x5, sinx, tanx. The left side is the negative mirror of the right, so every positive area on the right is cancelled by an equal negative area on the left. The total is zero.
This only works when the limits are symmetric about zero — from −a to a. For [0,a] or [1,3], symmetry doesn't help directly.
The Precise Statement
Let f be continuous on [−a,a].
- If f is even (f(−x)=f(x)), then ∫−aaf(x)dx=2∫0af(x)dx
- If f is odd (f(−x)=−f(x)), then ∫−aaf(x)dx=0
∫−aaf(x)dx={2∫0af(x)dx0if f is evenif f is odd
Why Does This Work? (A Quick Proof)
Split at zero:
∫−aaf(x)dx=∫−a0f(x)dx+∫0af(x)dx
For the first term substitute u=−x (dx=−du; x=−a→u=a, x=0→u=0):
∫−a0f(x)dx=∫0af(−u)du
Now use symmetry:
- If f is even, f(−u)=f(u), so this becomes ∫0af(u)du; adding the second term gives 2∫0af(x)dx.
- If f is odd, f(−u)=−f(u), so this becomes −∫0af(u)du; adding the second term gives 0.
Common Mistakes to Avoid
Don't assume symmetry without checking. A "balanced"-looking function need not be even or odd — e.g. f(x)=x2+x is neither, so these formulas don't apply. Always verify f(−x)=f(x) or f(−x)=−f(x) for all x.
The interval must be [−a,a]. If the limits are [−2,3], symmetry doesn't apply directly — split the integral or shift variables.
Examples to Cement the Idea
Example 1: ∫−33x4dx — x4 is even, so
∫−33x4dx=2∫03x4dx=2[5x5]03=2⋅5243=5486 …