Chapter 6: Techniques of Integration
Section 6.3: Trig Substitution
Example 6.3.14
Evaluate the indefinite integral ∫x24+9 x2ⅆx.
Solution
Mathematical Solution
The substitution x=23tanθ means dx=23sec2θ dθ, and turns gx into 2 secθ. From Figure 6.3.2, secθ=124+9 x2. Hence, the evaluation of the given integral proceeds as follows.
∫x24+9 x2ⅆx
= ∫23tanθ22 secθ23sec2θ dθ
=1627∫sec3θtan2θ dθ
=1627∫sec3θsec2θ−1 dθ
=1627∫sec5θ dθ−∫sec3θ dθ
=162714sec3θtanθ+34∫sec3θ dθ−∫sec3θ dθ
=162714sec3θtanθ−14∫sec3θ dθ
=427sec3θtanθ−427(secθtanθ+ln(secθ+tanθ))/2
=427sec3θtanθ−227secθtanθ−227lnsecθ+tanθ
=227secθtanθ2 sec2θ−1−227lnsecθ+tanθ
=2274+9 x2232x2 4+9 x24−1−227ln4+9 x22+32x
=x364+9 x22+9 x2−227ln4+9 x22+32x
Line 3 is obtained by applying the trig identity tan2θ=sec2θ−1. Line 5 is obtained by applying the reduction formula derived in Example 6.2.9. The integral of sec3θ evaluated in line 7 is derived in Example 6.2.5. The absolute value in line 7 is dropped in line 8 because the argument of the logarithm is positive for the θ-interval defined in Table 6.3.1.
Maple Solution
Evaluate the given integral
Control-drag the integral.
Context Panel: Evaluate and Display Inline
∫x24+9 x2ⅆx = 136⁢x⁢9⁢x2+43/2−118⁢x⁢9⁢x2+4−227⁢arcsinh⁡32⁢x
Using the appropriate identity in Table 2.10.4, and the obvious algebraic manipulations, the alternate form of the solution, namely,
x364+9 x22+9 x2−227ln4+9 x22+32x
can be obtained from the Maple solution.
A stepwise solution that uses top-level commands except for one application of the Change command from the IntegrationTools package:
Initialization
Install the IntegrationTools package.
withIntegrationTools:
Let Q be the name of the given integral.
Q≔∫x24+9 x2ⅆx:
Change variables as per Table 6.3.1
Use the Change command to apply the change of variables x=23tanθ.
q1≔ChangeQ,x=23tanθ
∫827⁢tan⁡θ2⁢4⁢tan⁡θ2+4⁢1+tan⁡θ2ⅆθ
Simplify the radical to 2 secθ. Note the restriction imposed on θ. (Maple believes that the sine and cosine functions are "simpler" than secants and tangents.)
q2≔simplifyq1 assuming θ∷RealRange−π2,π2
1627⁢∫sin⁡θ2cos⁡θ5ⅆθ
Use the value command to evaluate the integral, or follow the approach in Table 6.3.17, below.
q3≔valueq2
427⁢sin⁡θ3cos⁡θ4+227⁢sin⁡θ3cos⁡θ2+227⁢sin⁡θ−227⁢ln⁡sec⁡θ+tan⁡θ
Revert the change of variables by applying the substitution θ=arctan3 x/2.
evalq3,θ=arctan32x
14⁢9⁢x2+4⁢x3+12⁢x39⁢x2+4+29⁢x9⁢x2+4−227⁢ln⁡12⁢9⁢x2+4+32⁢x
The stepwise solution provided by the tutor when the Constant, Constant Multiple, and Sum rules are taken as Understood Rules begins with the substitution u=9 x2+4−3 x that results in the calculations shown in Table 6.3.14(a). Note that the final step of replacing u with 9 x2+4−3 x has been deleted because the resulting expression is not simplified by the tutor.
∫x2⁢9⁢x2+4ⅆx=−∫u3ⅆu432+∫32⁢u4−256u5ⅆu432change,u=9⁢x2+4−3⁢x,u=−u41728+∫32⁢u4−256u5ⅆu432power=−u41728+2⁢∫1uⅆu27−16⁢∫1u5ⅆu27rewrite,32⁢u4−256u5=32u−256u5=−u41728+2⁢ln⁡u27−16⁢∫1u5ⅆu27power=−u41728+2⁢ln⁡u27+427⁢u4power
Table 6.3.14(a) Maple's stepwise approach to the given integral
On the other hand, Table 6.3.14(b) shows the result when the Change rule x=23tanθ is imposed on the tutor. The trig identity tan2θ=sec2θ−1 must then be imposed by the Rewrite rule. After a second and third invocation of the Rewrite rule, the integral is in the form shown in the Mathematical Solution, above. Maple's stepwise solution will now proceed to re-derive the reduction formula that was derived in Example 6.2.9, and to re-derive the integral of sec3θ that was derived in Example 6.2.5.
∫x2⁢9⁢x2+4ⅆx=16⁢∫tan⁡θ2⁢sec⁡θ3ⅆθ27change,x=2⁢tan⁡θ3=16⁢∫sec⁡θ3⁢sec⁡θ2−1ⅆθ27rewrite,tan⁡θ2=sec⁡θ2−1=16⁢∫sec⁡θ5ⅆθ27−16⁢∫sec⁡θ3ⅆθ27rewrite,sec⁡θ3⁢sec⁡θ2−1=sec⁡θ5−sec⁡θ3
Table 6.3.14(b) Initial steps in an annotated stepwise solution via Integration Methods tutor
Note that an annotated stepwise solution is available via the Context Panel with the "All Solution Steps" option.
The rules of integration can also be applied via the Context Panel, as per the figure to the right.
<< Previous Example Section 6.3 Next Example >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
Download Help Document