Why Oddness Produces Cancellation
A definite integral records signed accumulation. Contributions above the horizontal axis count positively, and contributions below it count negatively. When a function is odd, values at points equally far to the left and right of zero have equal magnitudes and opposite signs. On a symmetric interval, these paired contributions cancel.
The symmetry of the interval matters, but it is not enough by itself. The function must have the matching sign symmetry. This tutorial defines that condition, proves the resulting zero-integral rule, and applies it to polynomial and trigonometric functions.
Odd Functions and Symmetric Intervals
The equation \(f(-x)=-f(x)\) says that reflecting the input across zero reverses the output's sign. In particular, if zero is in the domain, then setting \(x=0\) gives \(f(0)=-f(0)\), so \(f(0)=0\).
For the integral rule, we also need integrability. Throughout, integrability means Riemann integrability on the stated closed interval. The theorem does not require \(f\) to be continuous, but it does require the integral to exist and the oddness condition to hold throughout the interval.
Proof by Pairing Riemann-Sum Terms
The cancellation can be seen directly in Riemann sums, without assuming a general formula for reflecting integrals. Assume first that \(a>0\). Divide \([0,a]\) into \(n\) equal subintervals, each of width \(h=a/n\). For each subinterval choose a tag \(\xi_k\), where \(k=1,\ldots,n\). Pair that subinterval with its reflection on the negative side, and choose the reflected tag \(-\xi_k\).
Each positive-side term and its paired negative-side term add to zero:
The paired subintervals cover \([-a,a]\). Therefore, the entire tagged Riemann sum is
The width of every subinterval is \(h=a/n\), which tends to zero as \(n\) increases. Because \(f\) is Riemann integrable, these tagged sums converge to its integral on \([-a,a]\). Every sum in this sequence is zero, so its limit is zero. This proves the theorem for \(a>0\). When \(a=0\), the integral over the interval of length zero is zero by the definition of the definite integral. Thus the result holds for every \(a\geq 0\).
The proof relies on two distinct facts: oddness makes each reflected pair cancel, and integrability ensures the Riemann sums converge to the integral. If either condition is missing, this argument does not establish the conclusion.
Worked Example: An Odd Polynomial
Worked Example: An Odd Polynomial
Evaluate \(\int_{-1}^{1}(x^5-2x^3+4x)\,dx\) using symmetry, and verify the result directly.
Let \(f(x)=x^5-2x^3+4x\). Replacing \(x\) by \(-x\) gives
Thus \(f\) is odd. It is a polynomial, so it is Riemann integrable on \([-1,1]\). The interval is symmetric about zero, and the theorem gives
To check by direct evaluation, an antiderivative is
Differentiating verifies the antiderivative:
At both endpoints,
Therefore the definite integral is \(F(1)-F(-1)=\frac{5}{3}-\frac{5}{3}=0\), agreeing with the symmetry argument.
Worked Example: A Trigonometric Function
Worked Example: A Trigonometric Function
Evaluate \(\int_{-\pi/2}^{\pi/2}\sin(2x)\,dx\) by checking its symmetry, then verify by antiderivative.
Since sine is odd, \(\sin(-u)=-\sin(u)\). Taking \(u=2x\) gives
Thus \(f(x)=\sin(2x)\) is odd. It is continuous, hence integrable, on the symmetric interval \([-\pi/2,\pi/2]\). The theorem therefore gives an integral of zero.
For a direct check, an antiderivative is \(F(x)=-\frac{1}{2}\cos(2x)\), since
The endpoint values are
because \(\cos(\pi)=\cos(-\pi)=-1\). Hence
Worked Example: A Sum of Odd Terms
Worked Example: A Sum of Odd Terms
Evaluate \(\int_{-\pi}^{\pi}(x\cos x+\sin x)\,dx\) by identifying the symmetry, and check it directly.
Cosine is even, so \(\cos(-x)=\cos x\). Therefore
Thus \(x\cos x\) is odd. Sine is odd as well, so
Adding these equalities shows that \(f(x)=x\cos x+\sin x\) is odd. The function is continuous on \([-\pi,\pi]\), so the theorem gives an integral of zero.
For a direct check, \(F(x)=x\sin x\) is an antiderivative:
Using \(\sin(\pi)=\sin(-\pi)=0\), the endpoint values are
Consequently,
which confirms the result.
Common Mistake: Confusing an Even Function with an Odd One
A symmetric interval does not make every integral zero. For example, \(x^2\) is not odd:
so it is even. A mistaken argument might call \(x^2\) odd because its interval \([-1,1]\) is symmetric, then conclude that its integral vanishes. The function's symmetry must be checked separately. In fact,
not zero. The correction is to verify \(f(-x)=-f(x)\) before applying the odd-function theorem. Here \(f(-x)=f(x)\), so the zero-integral result does not apply.
Another useful check is the interval: oddness alone does not force an integral over a nonsymmetric interval to vanish. For instance, \(f(x)=x\) is odd, but
The cancellation theorem applies when both requirements are met: the function is odd and the interval is symmetric about zero.
Why the Rule Is Useful
When an integrand is odd and its interval is symmetric, the theorem can give the exact value without finding an antiderivative. This is especially useful when an expression has several terms: check each term's behavior under \(x\mapsto -x\), then determine whether the whole integrand is odd. The third example used this approach for a sum of two odd terms.
The geometric interpretation is signed area. The portions on opposite sides of zero have equal magnitude and opposite sign, so they cancel in the definite integral. This does not say that the total area without signs is zero; it says that the signed contributions sum to zero. The distinction matters whenever a graph crosses the horizontal axis.
Check Your Understanding
For each question, identify the symmetry and the conditions that justify your conclusion.
- What equation defines an odd function on a domain symmetric about zero?
- Why do paired terms in the proof's Riemann sums add to zero?
- Does the theorem apply to \(f(x)=x^3+x\) on \([-2,2]\)? Explain which conditions hold.
- Is \(f(x)=x^2\) odd or even, and what is \(\int_{-1}^{1}x^2\,dx\)?
- Why does oddness alone not imply that the integral over \([0,1]\) is zero?
