Example 32:
Evaluate .
Let
Using , with and ,
Adding (i) and (ii),
.
Want the reason behind every step, the basics and the checks?
On , replacing by swaps and . Property P4 says this does not change the integral. So the same number is also the integral of . The two integrands add up to exactly 1, so .
- Given
- .
- To find
- The exact value of .
- Plan
- Check the denominator never vanishes; apply P4 with to get a second form (2); add (1) and (2); solve for .
Basics you need
(Section 7.10): reading the interval from the other end does not change the area. Lesson: properties of definite integrals
Solution
The denominator is never 0
Using :
So the integrand is continuous on (in fact everywhere), and its values lie between 0 and 1.
P4 and the addition below need integrals of continuous functions. Since , the denominator is at least , never 0. (It is also clear directly: and are never 0 at the same time.)Label the integral (1) and apply P4
By P4 with , replace by :
The complementary-angle identities turn every into and every into . The denominator is unchanged (only its order), while the numerator becomes . We now have two different-looking integrands with the same integral.P4, Section 7.10, with . Lesson: properties of definite integralsAdd (1) and (2)
Hence .
The two fractions have the same denominator, so their numerators add to the denominator itself and the quotient is 1 (allowed because the denominator is never 0, Step 1). Integrating 1 over an interval gives its length, .The picture
The blue curve rises from 0 to 1 through ; the region under it is shaded. The dashed gold curve is its mirror image in and has the same area I. At every the two heights add to 1, so the two areas fill the rectangle of area . The blue curve is symmetric about the point : the unshaded part of the rectangle above it is a half-turn copy of the shaded part. So the shaded region is exactly half of the by 1 rectangle.Mirror images have equal areas. Basics: symmetry and mirror images
the same as the book's answer.
A numerical integration over gives 0.7853982, which is . At the sample point , the integrand is about 0.0090733 and its partner is about 0.9909267: they add to 1.
- Trying to find an antiderivative. It is possible but long; P4 gives the value in three lines.
- Changing only the numerator. P4 replaces by everywhere, in the denominator too.
- Writing , so . Divide by 2: .
- For the answer is by the same three lines, whenever is continuous and the denominator is never 0 on the interval.
- P4 with swaps and ; adding the two forms often cancels the difficult part.
- Label the two forms (1) and (2) so that "adding (1) and (2)" is clear.
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 →