Example 24:
Find .
Let .
Put . Then .
Using ,
.
Want the reason behind every step, the basics and the checks?
Completing the square turns the quadratic into "a constant minus a square": . After the shift the integral is , which is the standard formula 7.6.2 (iii) with . The graph of the integrand is a semicircle, which tells us where the answer makes sense and gives a neat check.
- Given
- The integrand , defined only where , which (Step 1) is .
- To find
- : one antiderivative plus an arbitrary constant C.
- Plan
- Complete the square and find the domain; substitute ; use formula 7.6.2 (iii) with ; return to ; differentiate the answer to check it.
Basics you need
Take the minus sign out first: . Then the constant left over is what we call . Basics: completing the square
If then , so . Basics: substitution
The book gets it by parts, taking 1 as the second function (Section 7.6.2). Lesson: integration by parts
Solution
Complete the square and find where the root exists
Group the terms and take out the minus sign:
The root needs , that is , that is , which means , or . Outside this interval the integrand does not exist, so the question only makes sense on .
The form "constant minus a square" is the pattern of formula (iii). It also shows at once that the quantity is largest (equal to 4) at and falls to 0 at and . Indeed, a point of the graph at height satisfies with : the graph is the upper half of the circle with centre and radius 2 (figure). (We call the height here because from Step 2 on the letter stands for .)Expand to check: . Basics: completing the squareShift: put
With we have , and runs over as runs over :
This makes the integrand exactly with . As in any shift, the derivative of is 1, so becomes with no extra factor.Integration by substitution, Section 7.3.1. Lesson: integration by substitutionApply formula 7.6.2 (iii) with
Here , and :
The book writes the middle step as ; that is the same 2.
Because , the number lies in , the domain of , so the formula's right-hand side is defined wherever the integrand is.Formula (iii) is the one with under the root: its answer has , not a log (compare Example 23). Lesson: integration by partsReturn to
Put back and (Step 1):
Where it is valid. Both sides are defined for . The derivative check in Step 5 is done on the open interval , where the root is positive. At the two end points the answer is still continuous, and its one-sided derivatives there are 0, which is the value of the integrand at those points.
The answer must be in the variable of the question. Writing back as gives the book's printed form.Check: differentiate the answer
Let and , for (so ). By the chain rule .
First term, product rule:
Second term, chain rule with , :
(We used .) Add, using :
So the derivative is , the integrand. The answer is confirmed.
By definition, is an antiderivative of exactly when . The same computation proves formula 7.6.2 (iii) for .is formula (viii) of the list in Section 7.2 read backwards. Basics: integration undoes differentiationA check from the picture
The integrand is the upper half of the circle . It exists only for . Call the answer without C . The definite integral is the area of the whole half disc, which is . From the formula:
So , exactly the area of the half disc.
This is an independent check: the area of a half disc comes from geometry, not from the formula. The term produces the , which is why a circle's integral has an inverse sine in it.A definite integral of a positive function is the area under its graph (Sections 7.7 and 7.8). Basics: area as a sum of thin strips
for (the only where the integrand exists). This is exactly the book's answer.
With as above, and . A direct numerical integration of from to 0 gives 1.9132230 too. The symmetric difference quotient of at (step 0.0001 on each side, so ) gives 1.7320508, and the integrand there is .
- Sign slips when completing the square. is , not or . Expand back to check.
- Using the log formula. "Constant minus square" gives (formula iii); the log belongs to .
- Writing . The formula has , and : it is .
- Ignoring the domain. The integrand, and so the answer, only exists for .
- When the term is negative, take the minus out, complete the square inside, and you reach .
- is a semicircle of radius centred at : its integral has a term and is defined only on .
- Integrating over the whole semicircle must give : a quick check on any answer of this type.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Step 1 | Completing the square (Basics) | |
| Step 2 | Integration by substitution, Section 7.3.1 (Lesson) | |
| formula | Step 3 | Section 7.6.2 (iii), proved by parts (Lesson) |
| Step 5 | Chapter 5; standard formula (viii), Section 7.2 | |
| , | Step 6 | Principal values, Chapter 2 |
| Area of a half disc | Step 6 | Mensuration |
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 →