Example 31:
Evaluate .
Let .
Let . Then
So is an odd function.
Using when is odd,
.
Want the reason behind every step, the basics and the checks?
The interval is symmetric about 0, and the integrand is an odd function: . Its graph on the left is the graph on the right turned upside down, so the signed area below the axis on exactly cancels the area above it on . Property P7 (ii) states this: for odd . No antiderivative is needed.
- Given
- on (the limits are radian).
- To find
- .
- Plan
- Show is odd and continuous; apply P7 (ii) with ; confirm by integrating directly.
Basics you need
is odd if for all , even if . is odd and is even. An odd power of an odd function is odd; any power of an even function is even; odd times even is odd. Basics: symmetry and mirror images
if is odd (Section 7.10). Lesson: properties of definite integrals
A definite integral counts area above the x-axis as positive and area below as negative. Basics: area as a sum of thin strips
Solution
Show that is odd
Use and :
This holds for every real , so is odd. It is also continuous everywhere (products of powers of and ).
The fifth power keeps the minus sign, , while the fourth power of is unaffected because is even. One odd factor times one even factor gives an odd product.Apply P7 (ii) with
The interval has the form with , and is odd (Step 1). Therefore
The proof of P7 splits at 0 by P2 and substitutes in the left part, which turns into . The two halves cancel. The limits here are 1 and radian, not ; P7 only needs the interval to be symmetric about 0.P7 (ii), Section 7.10. Lesson: properties of definite integralsThe picture
on , with the vertical scale stretched. The blue region on (area A) and the rose region on (signed area ) are mirror images through the origin, so their sum is 0. "Odd" means symmetric through the origin: rotate the right half by a half-turn about and it lands on the left half. Area above the axis becomes area below, so the signed areas cancel.Signed area: regions below the axis count as negative. Basics: areaCheck by integrating directly
Write and put , :
So is an antiderivative. It contains only powers of , which is even, so and
This confirms P7 (ii) independently. The antiderivative of an odd function can be chosen even, and an even function has the same value at and .Substitution, Section 7.3.1, and . Basics: trigonometric identities
the same as the book's answer.
Numerically, and ; their sum is 0. At a sample point, and .
- Thinking the answer 0 means there is no region. There are two regions; they have equal size and opposite signs.
- Calling even because is even. One odd factor () makes the whole product odd.
- Using P7 on a non-symmetric interval. P7 needs limits and ; on the integral is not 0.
- Before integrating over , test the parity of the integrand: odd gives 0 at once.
- Parity rules: odd even = odd, odd odd = even, even even = even.
- A zero integral is a statement about signed area, not about the graph being flat.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| , | Step 1 | Trigonometry (Basics) |
| P7 (ii): for odd | Step 2 | Section 7.10 (Lesson) |
| Signed area | Step 3 | Area meaning of the integral (the book's area function in Section 7.8.1 assumes and says the results hold for other functions too); parts below the axis count as negative (Basics) |
| , | Step 4 | Section 7.3.1 (Lesson) |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →