Chapter 6: Techniques of Integration
Section 6.3: Trig Substitution
Example 6.3.15
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θ223sec2θ dθ2 secθ
=427∫tan2θsecθ dθ
=427∫sec2θ−1secθ dθ
=427∫sec3θ dθ−∫secθ dθ
=427(secθtanθ+lnsecθ+tanθ/2−ln(secθ+tanθ))
=227(secθtanθ−lnsecθ+tanθ
=2274+9 x2232x−227ln4+9 x22+32x
=x184+9 x2−227ln4+9 x22+32x
Line 3 is obtained by applying the trig identity tan2θ=sec2θ−1. The integral of sec3θ evaluated in line 5 is derived in Example 6.2.5. The integral of secθ is derived in Table 6.2.10. The absolute values in line 5 are dropped in line 6 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 = 118⁢x⁢9⁢x2+4−227⁢arcsinh⁡32⁢x
Using the appropriate identity in Table 2.10.4, the alternate form of the solution, namely,
x184+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θ
q1≔∫2⁢4⁢tan⁡θ2+4⁢tan⁡θ227ⅆθ
Simplify the radical to 2 secθ. Note the restriction imposed on θ. (Maple believes that the sine and cosine functions are "simpler" than tangents and secants.)
q2≔simplifyq1 assuming θ∷RealRange−π2,π2
q2≔4⁢∫sin⁡θ2cos⁡θ3ⅆθ27
Use the value command to evaluate the integral, or follow the approach in Table 6.3.15(b), below.
To revert the change of variables, apply the substitution θ=arctan3 x/2 via Context Panel: Evaluate at a Point≻θ=arctan3⋅x/2
valueq2
2⁢sin⁡θ327⁢cos⁡θ2+2⁢sin⁡θ27−2⁢ln⁡sec⁡θ+tan⁡θ27
→evaluate at point
x32⁢9⁢x2+4+2⁢x9⁢9⁢x2+4−2⁢ln⁡9⁢x2+42+3⁢x227
Control-drag the first two terms and press the Enter key.
Select these two terms (in the output) and select "normal" in the Smart Pup-Up at the top of the Context Panel.
Control-drag the result and to it, control-drag the log-term from the previous cell. Press the Enter key.
x32⁢9⁢x2+4+2⁢x9⁢9⁢x2+4
→normal 1/2*x^3/(9*x^2+4)^(1/2)+2/9*x/(9*x^2+4)^(1/2)
x⁢9⁢x2+418
x⁢9⁢x2+418−2⁢ln⁡9⁢x2+42+3⁢x227
From Figure 6.3.2, sinθ=3 x/9 x2+4, and cosθ=2/9 x2+4.
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 and proceeds as shown in Table 6.3.15(a).
∫x29⁢x2+4ⅆx=−∫uⅆu108+∫8⁢u2−16u3ⅆu108change,u=9⁢x2+4−3⁢x,u=−u2216+∫8⁢u2−16u3ⅆu108power=−u2216+2⁢∫1uⅆu27−4⁢∫1u3ⅆu27rewrite,8⁢u2−16u3=8u−16u3=−u2216+2⁢ln⁡u27−4⁢∫1u3ⅆu27power=−u2216+2⁢ln⁡u27+227⁢u2power
Table 6.3.15(a) The substitution u=9 x2+4−3 x made by the Integration Methods tutor
Note how the tutor requires the Rewrite rule where at top-level the expand command would suffice. Note further that the solution in Table 6.3.18 is not complete - the Revert rule has not been applied. If it were, the result would be the following, a result in dire need of a simplification that cannot be effected in the tutor.
−112⁢x2−154+136⁢x⁢9⁢x2+4+227⁢ln⁡9⁢x2+4−3⁢x+227⁢9⁢x2+4−3⁢x2
Table 6.3.15(b) shows the result when the Change rule x=23tanθ is imposed on the tutor.
∫x29⁢x2+4ⅆx=4⁢∫tan⁡θ2⁢sec⁡θⅆθ27change,x=2⁢tan⁡θ3=4⁢∫sec⁡θ⁢sec⁡θ2−1ⅆθ27rewrite,tan⁡θ2=sec⁡θ2−1=4⁢∫sec⁡θ3ⅆθ27−4⁢∫sec⁡θⅆθ27rewrite,sec⁡θ⁢sec⁡θ2−1=sec⁡θ3−sec⁡θ
Table 6.3.15(b) Initial steps in an annotated stepwise solution via Integration Methods tutor
Note the use of the Rewrite rule to effect transformations that at top-level could be implemented more directly. Note also that the two integrals in the last line of Table 6.3.15(b) are not evaluated. Maple's stepwise evaluation of these two integrals reproduces the derivations in Example 6.2.5 and Table 6.2.10, respectively.
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