Chapter 6: Techniques of Integration
Section 6.6: Rationalizing Substitutions
Example 6.6.3
Evaluate the indefinite integral ∫12 sinx+3 cosx ⅆx.
Solution
Mathematical Solution
The integrand is real, except at x=k π−arctan3/2 where the denominator is zero. An antiderivative that is real for all such values of x is
113ln(3 tanx/2−2+133 tanx/2−2−13)
The rationalizing substitution z=tanx/2 can be used to obtain this antiderivative.
∫12 sinx+3 cosx ⅆx
= ∫2 dz1+z222 z1+z2+31−z21+z2
= −2∫dz3⁢z2−4 z−3
= −2∫dz3z−2/32−13/3
=113∫1z−2/3+13/3−1z−2/3−13/3 ⅆz
=113lnz−2/3+13/3 −113 lnz−2/3−13/3
=113ln(3 z−2+133 z−2−13)
=113ln(3 tanx/2−2+133 tanx/2−2−13)
After completing the square in the denominator and applying a partial fraction decomposition, the antiderivative is given in terms of logarithms. Alternatively, after completing the square in the denominator, an antiderivative of 1/1+x2 from Table 3.10.1 is invoked.
=613∫dz1−913z−232
={613arctanh313z−23,313z−23<1613arccoth313z−23,313z−23>1
Consequently, the alternative antiderivative is
{613arctanh313tanx/2−23,313tanx/2−23<1613arccoth313tanx/2−23,313|tanx/2−23|>1
which is real except at those points where it is undefined.
Figure 6.6.3(a) is a graph of λ=313tanx/2−23 and the line y=1 (in green). Where λ<1, the graph is drawn in black; where λ>1, it is drawn in red.
f:=proc(s) local C,CC; C := (3/13)*sqrt(13)*abs(tan((1/2)*x)-2/3); CC:=evalf(eval(C,x=s)); if CC<1 then CC else 10;end if; end proc:
g:=proc(s) local C,CC; C := (3/13)*sqrt(13)*abs(tan((1/2)*x)-2/3); CC:=evalf(eval(C,x=s)); if CC>1 then CC else -10;end if; end proc:
p1:=plot(f,-9..9,0..3,discont=true,color=black): p2:=plot(g,-9..9,0..3,discont=true,color=red): p3:=plot(1,x=-9..9,color=green): plots:-display(p1,p2,p3,scaling=constrained);
Figure 6.6.3(a) λ<1 in black; λ>1 in red
Maple Solution
Maple evaluates the given integral in terms of the inverse hyperbolic tangent, a function that is real only when the absolute value of its argument is less than 1.
Evaluate the integral
Control-drag the given integral.
Context Panel: Evaluate and Display Inline
∫12 sinx+3 cosx ⅆx = 213⁢13⁢arctanh⁡126⁢6⁢tan⁡12⁢x−4⁢13
Table 6.6.3(a) shows the first few steps in the annotated stepwise solution generated by the tutor when the Constant, Constant Multiple, and Sum rules are taken as Understood Rules.
∫12⁢sin⁡x+3⁢cos⁡xⅆx=−2⁢∫13⁢u2−4⁢u−3ⅆuchange,u=tan⁡x2,u=3⁢13⁢∫13⁢u−2+13ⅆu13+3⁢13⁢∫1−3⁢u+2+13ⅆu13partialfractions
Table 6.6.3(a) Initial steps taken by the Integration Methods tutor
Maple applies the rationalizing substitution z=tanx/2 and imposes a partial-fraction decomposition. Hence, the antiderivative will contain two logarithms, but Maple will not take the absolute value of the arguments. In fact, the ultimate solution generated by the tutor is
−113⁢13⁢ln⁡−3⁢tan⁡12⁢x+2+13−ln⁡3⁢tan⁡12⁢x−2+13
an expression that is precisely equivalent to Maple's solution in terms of the inverse hyperbolic tangent.
Table 6.6.3(b) lists the Maple calculations that would result in the solution given in terms of logarithms of absolute values.
Initialize
Install the IntegrationTools package.
withIntegrationTools:
Assign the inert form of the integral the name Q.
Q≔∫12 sinx+3 cosx ⅆx:
Apply the rationalizing substitution z=tanx/2
q1≔ChangeQ,z=tanx/2,z
∫22⁢sin⁡2⁢arctan⁡z+3⁢cos⁡2⁢arctan⁡z⁢z2+1ⅆz
q2≔simplifyexpandq1
−2⁢∫13⁢z2−4⁢z−3ⅆz
Partial-fraction decomposition of the integrand
q3≔allvaluesconvertGetIntegrandq2,fullparfrac,z
126⁢13z−23−13⁢13−126⁢13z−23+13⁢13
Integrate the partial fractions
q4≔Expand−2 Intq3,z
−113⁢13⁢∫1z−23−13⁢13ⅆz+113⁢13⁢∫1z−23+13⁢13ⅆz
q5≔valueq4
−113⁢13⁢ln⁡z−23−13⁢13+113⁢13⁢ln⁡z−23+13⁢13
Use "brute-force" to take the absolute value of the argument of the logarithms
q6≔evalq5,ln=ln@abs
combineq6,ln
13⁢ln⁡z−23+13⁢131/13z−23−13⁢131/13
Table 6.6.3(b) Stepwise calculation of a solution given in terms of logarithms of absolute values.
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.6 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