Why Symmetry Can Simplify an Integral
A definite integral over an interval measures signed accumulation across that interval. When the interval is symmetric about zero, values at opposite inputs can pair in a useful way: an odd function’s contributions cancel, while an even function’s contributions match.
These shortcuts can save substantial work, but only when both the interval and the function have the required symmetry. The bounds must be opposites, and the function must satisfy the relevant parity condition throughout the interval.
Even and Odd Functions
A function’s parity describes how its values at opposite inputs are related. The domain must include both \(x\) and \(-x\) for every input under consideration; in particular, the domain must be symmetric about zero.
For example, \(f(x)=x^2\) is even because \((-x)^2=x^2\). The function \(g(x)=x^3\) is odd because \((-x)^3=-x^3\). A function need not be either even or odd: \(h(x)=x^2+x\) has both an even term and an odd term.
Parity is a condition on every input in the interval, not just on a few values or on the appearance of a graph. To use an integral shortcut, first check the function’s equation and then check that the bounds are symmetric about the same center.
The Symmetry Rules
Assume \(a>0\) and \(f\) is integrable on \([-a,a]\). Continuity on that closed interval is a standard sufficient condition for integrability. If \(f\) is odd, then its integral over the symmetric interval is zero. If \(f\) is even, then the two halves have equal integrals.
- If \(f\) is odd on \([-a,a]\), \(\displaystyle \int_{-a}^{a} f(x)\,dx=0\).
- If \(f\) is even on \([-a,a]\), \(\displaystyle \int_{-a}^{a} f(x)\,dx=2\int_{0}^{a} f(x)\,dx\).
These statements concern signed integrals, not total area. For an odd function, a positive contribution on one side cancels a corresponding negative contribution on the other. For an even function, the values on the two sides agree, so the contributions add.
Why the Rules Work
Additivity of definite integrals gives \(\int_{-a}^{a} f(x)\,dx=\int_{-a}^{0} f(x)\,dx+\int_{0}^{a} f(x)\,dx\). The left half can be compared with the right half by reflecting each input across zero. Specifically, the reflection \(x=-u\) gives the identity \(\int_{-a}^{0} f(x)\,dx=\int_{0}^{a} f(-u)\,du\). This identity follows directly from Riemann sums: each subinterval \([u_{i-1},u_i]\) on \([0,a]\) corresponds to \([-u_i,-u_{i-1}]\) on \([-a,0]\), with the same width and reflected sample point.
Substitute that identity into the sum of the two halves. The result is a complete justification of both shortcuts.
\(\displaystyle \int_{-a}^{a} f(x)\,dx=\int_{-a}^{0} f(x)\,dx+\int_{0}^{a} f(x)\,dx.\)
\(\displaystyle \int_{-a}^{0} f(x)\,dx=\int_{0}^{a} f(-x)\,dx.\)
If \(f\) is odd, then \(f(-x)=-f(x)\), so the two half-integrals cancel. If \(f\) is even, then \(f(-x)=f(x)\), so they are equal and add to twice the right half.
In equations, the odd case becomes \(\int_{0}^{a}[-f(x)]\,dx+\int_{0}^{a}f(x)\,dx=0\). The even case becomes \(\int_{0}^{a}f(x)\,dx+\int_{0}^{a}f(x)\,dx=2\int_{0}^{a}f(x)\,dx\). Linearity of the integral justifies these additions and scalar factors.
Worked Examples
Worked Example: An Odd Polynomial on a Symmetric Interval
Evaluate \(\displaystyle \int_{-2}^{2}(x^3-3x)\,dx\).
First check the interval: its bounds are \(-2\) and \(2\), so it is symmetric about zero. Let \(f(x)=x^3-3x\). Then
Thus \(f\) is odd on this interval. The odd-function rule gives
Check: For each \(x\) between \(0\) and \(2\), the paired values satisfy \(f(-x)=-f(x)\). Their contributions sum to \(f(-x)+f(x)=0\), confirming the cancellation.
Worked Example: An Even Polynomial on a Symmetric Interval
Evaluate \(\displaystyle \int_{-2}^{2}(2+x^2)\,dx\).
The bounds are opposites. Also, \(2+(-x)^2=2+x^2\), so the integrand is even. Therefore,
To compute the remaining integral, the constant term contributes the area of a rectangle: \(2\cdot 2=4\). For the \(x^2\) term, use right-endpoint Riemann sums with \(n\) equal subintervals of \([0,2]\). The width is \(2/n\), and the \(i\)th right endpoint is \(2i/n\). Thus
Here the sum-of-squares formula is \(\sum_{i=1}^{n}i^2=n(n+1)(2n+1)/6\); after expanding the factors, the limit is \(8/3\). Therefore the half-interval integral is \(4+8/3=20/3\), and the full integral is
Check: The two halves have equal integrals because the integrand is even. Adding them gives \(20/3+20/3=40/3\), as required.
Worked Example: Removing an Odd Part from a Mixed Function
Evaluate \(\displaystyle \int_{-3}^{3}\left(x^3+\sqrt{9-x^2}\right)\,dx\).
The square root is defined throughout \([-3,3]\), and the integrand is continuous there, so the integral exists. The interval is symmetric. Split the function into its two terms: \(x^3\) is odd, while \(\sqrt{9-x^2}\) is even because replacing \(x\) by \(-x\) leaves \(9-x^2\) unchanged. Hence
The first integral is zero by odd symmetry. The graph \(y=\sqrt{9-x^2}\) is the upper semicircle of radius \(3\), since \(x^2+y^2=9\) and \(y\geq 0\). Its integral is its semicircular area, so
Therefore the requested integral is \(9\pi/2\). Check: The odd term cancels across the two halves, while the even term contributes the same semicircle area on both sides; together the two quarter-circle areas make a semicircle of area \(9\pi/2\).
When the Interval Is Symmetric About Another Point
The same idea works for an interval centered at a point other than zero. Suppose the interval is \([c-a,c+a]\), with \(a>0\). Values paired across its midpoint are \(c-t\) and \(c+t\). If \(f(c-t)=-f(c+t)\) throughout the interval, the integral is zero. If \(f(c-t)=f(c+t)\), the two halves contribute equally. For instance, a function even about \(c\) satisfies \(f(c-t)=f(c+t)\); it need not be even about zero.
The midpoint matters: an interval such as \([0,4]\) is not symmetric about zero. Knowing a function is odd does not make its integral over \([0,4]\) vanish. The symmetry rule applies only when the bounds and the function’s symmetry center match.
Common Mistake: Checking Only Part of the Integrand
A common error is to treat a sum as odd because one of its terms is odd, then conclude that the whole integral is zero. For example, consider \(f(x)=x^2+x\) on \([-1,1]\). A mistaken calculation might say, “The \(x\) term is odd, so the integral is zero.” But the full function is not odd:
These expressions are not equal for every \(x\). In fact, the \(x\) term cancels by odd symmetry, but the \(x^2\) term does not. Since \(\int_{-1}^{1}x^2\,dx=2/3\), the correct result is
The correction is to check parity for the entire function, or to split it into its even and odd parts and apply the appropriate rule to each part.
A Reliable Checklist
Before using a symmetry shortcut, check each of the following:
- Are the bounds symmetric about the proposed center?
- Is the function defined throughout the interval and integrable there?
- Does the function satisfy \(f(-x)=f(x)\) or \(f(-x)=-f(x)\) throughout the interval?
- If the function is a sum, have you checked the parity of each term rather than assuming the whole sum has the same parity?
When the interval is \([-a,a]\), the parity check is about zero. When the interval has a different midpoint, the function’s values must be compared at inputs equally spaced from that midpoint. Symmetry is useful because it replaces a full-interval calculation with cancellation or a calculation on just one half—but only after these conditions are verified.
Check Your Understanding
For each question, check both the interval and the function before choosing a symmetry rule.
- Is \(f(x)=x^5+2x\) odd, even, or neither on \([-4,4]\)?
- What does odd symmetry tell you about \(\displaystyle \int_{-a}^{a}f(x)\,dx\), provided \(f\) is integrable and odd there?
- What does even symmetry tell you about \(\displaystyle \int_{-a}^{a}f(x)\,dx\)?
- Can odd symmetry alone determine that \(\displaystyle \int_{0}^{5}f(x)\,dx=0\)? Explain why or why not.
- For \(f(x)=x^2+x^3\) on \([-2,2]\), which term cancels and which term has equal contributions on the two halves?
