Example 29:
Evaluate .
Let .
Let . Then , so is even.
Using for even ,
Using ,
.
Want the reason behind every step, the basics and the checks?
The interval is symmetric about 0 and is an even function: its graph is a mirror image across the y-axis. Property P7 (i) says the area on the left equals the area on the right, so . The remaining integral is done with the identity , which replaces a square by something we can integrate directly.
- Given
- on .
- To find
- .
- Plan
- Show is even; apply P7 (i); rewrite by the double-angle identity; integrate and evaluate; check without using symmetry.
Basics you need
is even when for every ; its graph is symmetric about the y-axis. Basics: symmetry and mirror images
if is even (Section 7.10). Lesson: properties of definite integrals
Solution
is an even function
For every real , , so
Also is continuous everywhere, in particular on .
P7 (i) has one condition, , and it must hold for all in the interval. Squaring removes the sign that the odd function introduces.Apply P7 (i) with
The interval has the form with , and is even (Step 1), so both conditions of P7 (i) hold. In the figure the gold half (left) is the mirror image of the blue half (right).P7 (i), Section 7.10. Its proof splits at 0 by P2 and substitutes in the left part. Lesson: properties of definite integralsReplace using the double angle
There is no standard formula for , but there is one for and for . The identity trades the square for a cosine of the double angle, and the 2 in front cancels the .Integrate and evaluate
An antiderivative of is . Check: . Then
In decimals .
At the upper limit, and . At the lower limit both terms are 0.Theorem 2, Section 7.8.3: F(upper) minus F(lower). Lesson: the fundamental theoremThe picture, and a check without symmetry
is symmetric about the y-axis. The shaded region from to consists of two mirror-image halves, each of area . Without P7, use the antiderivative of over the whole interval:
Both routes must agree. The symmetry route is shorter here, but the direct route confirms that the factor 2 from P7 was handled correctly. (At , .)
the same as the book's answer.
A numerical integration of over gives 0.2853982, and is . The value is sensible: rises from 0 to on each half, and the interval has length , so the area must be well below .
- Forgetting the factor 2 from P7 (i) (or forgetting that it cancels the of the identity).
- . The chain rule needs a : .
- Using P7 (ii) instead. is even, not odd; the answer is not 0 (it is the area of a region above the axis).
- Mixing up the identity: , while .
- On a symmetric interval , first test whether the integrand is even or odd: P7 halves the work or ends it.
- Squares of sine and cosine are integrated through the double-angle identities.
- Always check a symmetry shortcut once by a direct computation when you are learning it.
Every fact used, and where it comes from
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 →