Exercise 7.4 · Q15:
Integrate the function
Let .
Put . Then .
[Using ]
(with ).
Want the reason behind every step, the basics and the checks?
Multiply out and complete the square. The result is "a square minus a square":
That is the shape of formula 7.4 (4), whose integral is . Here and are constants with .
- Given
- The integrand , with constants .
- To find
- , and where the answer is valid.
- Plan
- (1) Find the domain. (2) Expand and complete the square. (3) Shift and use 7.4 (4). (4) Return to . (5) Differentiate back, on both pieces of the domain.
Basics you need
If with a constant, then . Basics: substitution
Solution
Where the integrand exists
We need : both factors positive or both negative. Writing and for the smaller and larger of , this means
The product is under a square root in a denominator, so it must be strictly positive. Between and the two factors have opposite signs. The domain has two separate pieces, and the answer must work on both. (The book does not say so, but we assume : if the integrand would be , and the answer below would break down for , where the quantity inside the logarithm is 0.)Expand and complete the square
Half the coefficient of is . The leftover constant is , a negative number because .Type 7.4 (8). Basics: completing the squareShift and use 7.4 (4)
Put , so , and let , so . Then and
"Square minus a positive constant" under a root is the shape of 7.4 (4). On the domain, , that is . The book proves 7.4 (4) with ; the result also holds when , because the derivative of is whenever (Step 5 shows this). So it covers both pieces of the domain.Formula 7.4 (4); substitution, Section 7.3.1. Lesson: integrals of particular functionsReturn to
Since ,
Undo the shift: , and by Step 2 the expression under the root is the original product. This is exactly the textbook's form.Check: differentiate the answer
Write and . Then , and
by the chain rule ( because ). The sum is never 0: , so , and has the sign of . Nothing here assumed , so the check holds on both pieces of the domain. And is the integrand.Chain rule (Theorem 4, Section 5.3.1); derivative (xii), Section 7.2. Basics: logarithms and 1/x
valid for and every outside the closed interval between and . (Textbook answer: .)
Take , , so and the domain is or . By Section 7.8, . The middle column is a computer's sum of very many thin strips, found without our answer. One interval is taken on each piece of the domain:
| Interval | Sum of thin strips | |
|---|---|---|
On , . The two rows agree because the graph is symmetric about .
- Wrong constant after completing the square. , not .
- Using the formula. The term is positive, so this is "square minus constant": a log, not an inverse sine.
- Dropping the modulus. For below both and , is negative; the modulus is needed there.
- : the midpoint of and is the centre of the square.
- On both pieces of the domain,
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Completing the square | Step 2 | Type 7.4 (8) (Basics: completing the square) |
| Step 3 | Formula 7.4 (4) | |
| Substitution | Step 3 | Section 7.3.1 (Basics: substitution) |
| ; chain rule | Step 5 | Derivative (xii), Section 7.2; Theorem 4, Section 5.3.1 |
| Numerical check | Section 7.8 (Lesson: definite integrals) |
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 →