Chapter 6: Techniques of Integration
Section 6.3: Trig Substitution
Example 6.3.8
Evaluate the indefinite integral ∫4−9 x2x2ⅆx.
Solution
Mathematical Solution
Note that there is a discontinuity in the integrand at x=0, which is in −23,23, the interval for which the integrand remains real.
The substitution x=23sinθ means dx=23cosθ dθ, and turns fx into 2 cosθ. From Figure 6.3.1, cosθ=124−9 x2, and cotθ=4−9 x23 x. Hence, the evaluation of the given integral proceeds as follows.
∫4−9 x2x2ⅆx
= ∫2 cosθ23cosθ dθ23sinθ2
=3∫cos2θsin2θ ⅆθ
=3∫1−sin2θsin2θ ⅆθ
=3∫csc2θ−1 ⅆθ
= −3cotθ+θ
= −34−9 x23 x+arcsin32x
Maple Solution
Evaluate the given integral
Control-drag the integral and press the Enter key.
Context Panel: Simplify≻Simplify
Context Panel: Expand≻Expand
−14⁢−9⁢x2+43/2x−94⁢x⁢−9⁢x2+4−3⁢arcsin⁡32⁢x
= simplify
−3⁢arcsin⁡32⁢x⁢x+−9⁢x2+4x
= expand
−3⁢arcsin⁡32⁢x−−9⁢x2+4x
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≔∫4−9 x2x2ⅆx:
Change variables as per Table 6.3.1
Use the Change command to apply the change of variables x=23sinθ.
q1≔ChangeQ,x=23sinθ
∫32⁢−4⁢sin⁡θ2+4⁢cos⁡θsin⁡θ2ⅆθ
Simplify the radical to 2 cosθ. Note the restriction imposed on θ.
q2≔simplifyq1 assuming θ∷RealRange−π2,π2
3⁢∫cos⁡θ2sin⁡θ2ⅆθ
Impose the trig identity cos2θ=1−sin2θ.
q3≔evalq2,cos2θ=1−sin2θ
3⁢∫1−sin⁡θ2sin⁡θ2ⅆθ
Use the expand command to split the fraction in the integrand into two separate fractions.
q4≔expandq3
−3⁢∫1−1sin⁡θ2ⅆθ
Use the trigsubs command to rewrite 1/sin2θ as csc2θ.
q5≔trigsubssinθ=1/ cscθ,q4
−3⁢∫1−csc⁡θ2ⅆθ
Use the expand command to split the integral into two separate integrals.
q6≔expandq5
−3⁢∫1ⅆθ+3⁢∫csc⁡θ2ⅆθ
Use the value command to evaluate what are now two separate but relatively simple integrals.
q7≔valueq6
−3⁢θ−3⁢cos⁡θsin⁡θ
Revert the change of variables by applying the substitution θ=arcsin3 x/2.
evalq7,θ=arcsin32x
Table 6.3.8(a) displays the annotated stepwise solution provided by the tutor when the Constant, Constant Multiple, and Sum rules are taken as Understood Rules.
∫−9⁢x2+4x2ⅆx=3⁢∫cot⁡θ2ⅆθchange,x=2⁢sin⁡θ3=3⁢∫csc⁡θ2ⅆθ−3⁢θrewrite,cot⁡θ2=csc⁡θ2−1
Table 6.3.8(a) First steps of an annotated stepwise solution via Integration Methods tutor
After the change of variables suggested by Table 6.3.1, Maple returns the integrand as cot2θ instead of as cos2θ/sin2θ. Obviously, this saves several manipulative steps. It then takes an application of the Rewrite rule to impose the trig identity cot2θ=csc2θ−1, at which point the calculation proceeds as expected.
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