Exercise 7.6 · Q22:
Integrate the functions in Exercises 1 to 22.
22.
Let .
Put . For we have and so .
Taking as the first function, by parts:
Put . Then .
(for ).
The answer key prints this formula without the restriction . It agrees with the answer above on , but it is not an antiderivative for ; there the integral is instead.
Want the reason behind every step, the basics and the checks?
First simplify the integrand. With , the fraction becomes , and , but only when lies in the principal range , that is for . There the question becomes , done by parts exactly as in Question 13. Outside the simplification changes, and so does the answer.
- Given
- , defined and continuous for every real (Step 1).
- To find
- .
- Plan
- (1) Check the domain. (2) Simplify with and find where the integrand equals . (3) Integrate by parts. (4) Differentiate back. (5) Work out what happens for . (6) Join the pieces into one antiderivative valid for all real .
Basics you need
has range , so only when lies in that interval (Chapter 2, Section 2.2). Basics: trigonometric identities
Solution
The integrand is defined for every real
needs its input in . For every real ,
so , that is . Equality holds only at .
So the integrand is defined, and continuous (a composition of continuous functions), on the whole real line. That matters at the end: a continuous function on an interval has an antiderivative on that whole interval (the area function of the First fundamental theorem, Theorem 1 in Section 7.8.2, stated there without proof), so we should be able to give one formula that works everywhere.Completing the square: , and a square is never negative. Basics: completing the squareSimplify with
Put with ; every real arises this way. Then
so the integrand is . This equals exactly when , that is , that is . Hence
always returns an angle in . If is already in that interval, gives back; if not, it gives a different angle with the same sine (Step 5). Since is increasing on , is the same as .Principal value branch of (Chapter 2, Section 2.2). Basics: trigonometric identitiesIntegrate by parts (for )
Take as the first function and as the second, as in Question 13:
Multiplying by 2,
for .
The inverse tangent is the first function because we can differentiate it but not yet integrate it (Remark (iii), Section 7.6; in the memory aid ILATE, not in the book, I comes before A). The derivative of the first function is and the integral of the second is . The leftover is by the substitution , ; no absolute value is needed because .Integration by parts; inverse trigonometric function as first function (Remark (iii), Section 7.6). Lesson: integration by partsCheck: differentiate the answer
By Step 2 this equals for , so the answer is correct on that interval.
Product rule on and chain rule on ; the two fractions cancel. Note that the derivative is for every , but it equals the integrand only on . That is exactly why the formula fails outside.Product rule; chain rule (Chapter 5). Basics: integration undoes differentiationWhat happens for
For : , so . The angle lies in and has the same sine, so
For : . The angle lies in and has the same sine, so
Both cases read . Integrating (with Step 3 for the part, and ):
for (on each of the two intervals).
and , and picks the one angle with that sine that lies in . Here is for and for . The textbook formula is not valid here: its derivative is not the integrand (see the figure).Principal value branch of (Chapter 2). Basics: trigonometric identitiesOne antiderivative for all real
Since the integrand is continuous everywhere (Step 1), the pieces can be joined. Choose the constants so the values match at : the formula of Step 3 gives at both and , and the formula of Step 5 gives there, so subtract from the latter:
for ,
and for ,
Then for every real .
is continuous at by the choice of constant, and its one-sided derivatives at are (left) and (right), equal to the integrand's value ; similarly at . So equals the integrand everywhere. (.)Antiderivatives on an interval differ by a constant (Section 7.2). Basics: integration undoes differentiation
For :
For the integral is , and Step 6 joins the two into one antiderivative valid for all real . (Textbook answer: , which agrees with ours on ; the book does not state this restriction, and the formula is not an antiderivative for .)
Inside . On , the book's formula gives
Numerical integration of the integrand over gives , the same.
Outside. On , numerical integration gives . The formula of Step 5 gives
the same, while the book's formula would give , which is wrong.
At a point. At : the integrand is ; (equal), but (not equal).
- Writing without checking the range. It needs , i.e. .
- Thinking the integrand is only defined on . The input is always in , so the integrand is defined for every ; it is the simplification that is limited.
- Dropping the factor 2 in front of : the becomes a whole .
- Simplify an inverse trigonometric integrand by a substitution first, and record the interval on which the simplification holds; the answer holds on that interval only.
- for ; for ; for .
- Then by parts.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Principal value branch of : range | Steps 2, 5 | Chapter 2, Section 2.2 |
| ; | Steps 2, 5 | Class XI, Chapter 3 |
| Integration by parts; | Steps 3, 5 | Section 7.6 (Lesson: integration by parts); Exercise 7.6 Question 13 |
| ; | Steps 3, 4 | Standard formulae (x), (xii), Section 7.2 |
| Antiderivatives on an interval differ by a constant | Step 6 | Section 7.2 |
| Product rule, chain rule | Step 4 | Chapter 5, Sections 5.3 and 5.3.1 |
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 →