Example 42:
Evaluate
Let
Using , with and ,
Adding the two expressions for ,
Using when ,
Splitting the interval at ,
In , divide the numerator and denominator by . Put . Then .
When , ; when , .
In , divide the numerator and denominator by . Put . Then .
When , ; when , .
Changing the sign and swapping the limits,
For , and is its reciprocal, so .
(for ).
The book does not say so, but its answer is correct only when ; in general the integral equals .
Want the reason behind every step, the basics and the checks?
The factor in the numerator is the obstacle. Property P4 (replace by ) leaves the denominator unchanged but turns into ; adding the two forms, the 's cancel and the numerator becomes the constant . What remains, , is handled by dividing by (to get ) on and by (to get ) on .
- Given
- with non-zero constants . The book does not say so, but its answer is correct only when and have the same sign (); for it would be negative, although the integrand is positive. We take and , the natural reading.
- To find
- The value of in terms of and .
- Plan
- (1) Continuity. (2) P4 and add: . (3) P6: . (4) Split at by P2. (5) and (6) Substitute and . (7) Add, using .
Basics you need
P2: . P4: . P6: if . (The book writes for our ; we rename it because is already used in this problem.) Lesson: properties of definite integrals
and , so and . Basics: symmetry and mirror images
For : . Proof: lies in because (principal range of , Chapter 2). Then also lies in , and . So . (In a right triangle with legs and , the two acute angles have tangents and .) Basics: trigonometric identities
Solution
The integrand is continuous on
Write . Since ,
So never vanishes, and and are continuous on all of .
This is why and must both be non-zero: if, say, , then is 0 at and the integral is not a proper one. With continuity, all the properties and Theorem 2 apply.Each of and is at least times or respectively.P4 removes the from the numerator
P4 with replaces by . The denominator does not change, because and :
Adding to both sides and dividing by 2:
The second integral is itself, so we can move it to the left: . The figure in Step 7 shows the idea: and are mirror images with equal areas, and they add up to , so each has half the area under .P6 halves the interval
Let . With , , the condition of P6 holds, since (the same reflection facts as in Step 2). So
and therefore
The graph of on is symmetric about , so its two halves have equal areas. Working on is needed because the substitutions ahead use and , which behave well only inside one quadrant..Split at by P2
Next we want to divide by to bring in . But at , so that division is not allowed at the upper end. Dividing by instead (to bring in ) fails at 0. Splitting at lets us use each division where it is safe: on , ; on , . Any split point strictly between 0 and would work; gives the neat limit 1 for both and .The first piece: divide by , put
Dividing top and bottom by :
Put , ; , :
is increasing and differentiable on , so the substitution is valid on the whole piece. Section 7.4, formula (3) with : . At , .The second piece: divide by , put
Dividing top and bottom by :
Put , ; , :
The minus sign from is absorbed by swapping the limits (P1). The integral is the same as in Step 5 with and interchanged, so the answer is too.; , .Add and simplify
Since , is positive and , so Basic 4 gives . (If were negative, the sum would be .)Drawn for , . The blue curve and the dashed gold curve are mirror images in the line , so they enclose equal areas. Their sum is the violet curve . So the shaded area is half the area under the violet curve: Step 2.
This is the textbook's answer. For any non-zero the integral depends only on and , so in general it equals ; this agrees with exactly when .
For , : numerical integration gives to ten decimal places, and . The two pieces of Step 4 are and (numerical integration agrees with both); their sum .
For the integrand is just , and , which matches . For , : numerical value , and .
- Dividing by over all of . Then the substitution has upper limit , which does not exist. Split first, or treat it as an improper integral.
- Forgetting that P4 leaves the denominator unchanged only because of the squares. , but .
- Losing the factor that P4 brings out, or the 2 from P6. Keep track: .
- Mixing up the property's letter with the constant of the question. Here P4 is used with upper limit .
- If , then . This "remove the " trick is P4 plus adding.
- For , divide by to make and appear; split the interval if vanishes in it.
- for : worth remembering.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Continuity of the integrand | Step 1 | Remark (iv) after Theorem 2, Section 7.8.3 |
| P4, P6, P2, P1 | Steps 2, 3, 4, 6 | Section 7.10 (Lesson: properties) |
| , | Steps 2, 3 | Class XI trigonometry |
| Substitutions , with new limits | Steps 5, 6 | Section 7.9 |
| Steps 5, 6 | Section 7.4, formula (3) (Lesson: particular functions) | |
| for | Step 7 | Proved in Basic 4 from the principal range of (Chapter 2); the identity itself is not stated in this reprint |
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 →