Trigonometric substitution: sin, tan and sec, the triangle and the limits
Ten integrals by trigonometric substitution: an arcsine with new limits, the area formula for √(1 − x²), x³/√(4 − x²) two ways, 1/(1 + x²)² by x = tan θ, ln(1 + √2) from ∫ sec θ, a secant substitution read back off the triangle, completing the square first, the area of an ellipse, √(x² − 4)/x on [2, 4], and the normalizing constant of a Student-t distribution, with worked solutions and the mistakes of dropping the dx, keeping the x-limits and integrating tan²θ by the power rule.
Before you start
A square root of a quadratic, ,a2−x2,a2+x2 or ,x2−a2, has no obvious antiderivative and nothing for an ordinary substitution to grab. Trigonometric substitution replaces x with a trig function chosen so that a Pythagorean identity turns the quadratic into a perfect square, and the root disappears. Circle and ellipse areas, arcsines and arctangents, and the normalizing constants of heavy-tailed distributions all come out this way. The work goes wrong in a few places: the dx left as ,dθ,θ-integrals evaluated at x-limits, a square completed without balancing the constant, the wrong side read off the triangle, and tan2θ integrated as if it were a power of .θ. These ten problems cover each of them.
Which substitution.:a2−x2:,x=asinθ,,dx=acosθdθ, and the root is .acosθ.:a2+x2:,x=atanθ,,dx=asec2θdθ, and the root is .asecθ.:x2−a2:,x=asecθ,,dx=asecθtanθdθ, and the root is .atanθ.
Why the root simplifies.,1−sin2θ=cos2θ,1+tan2θ=sec2θ and .sec2θ−1=tan2θ. The ranges −2π≤θ≤2π for ,sin,−2π<θ<2π for tan and 0≤θ<2π for sec (with )x≥a) keep the result positive, so no absolute value is needed.
Back to .x. Draw a right triangle from the substitution: sinθ=ax means opposite ,x, hypotenuse ,a, adjacent .a2−x2. Every other trig function of θ is a ratio of two of its sides.
Definite integrals. Change the limits to θ with the substitution and never return to ;x; or return to x first and use the original limits. Not a mixture.
Integrals you will need.,∫cos2θdθ=2θ+4sin2θ,,∫sin2θdθ=2θ−4sin2θ,∫tan2θdθ=tanθ−θ and .∫secθdθ=ln∣secθ+tanθ∣.
Completing the square.x2+bx+c=(x+2b)2+c−4b2 turns any quadratic into one of the three forms.
6π≈0.5236The same as ,arcsin63−arcsin0, from .∫a2−x2dx=arcsinax+C.
Problem 2
Find .∫1−x2dx.
,x=sinθ,,dx=cosθdθ,1−x2=cosθThe form a2−x2 with .a=1.
∫cosθ⋅cosθdθ=∫cos2θdθOne cosθ from the root and one from .dx.
=2θ+4sin2θ=2θ+2sinθcosθ,cos2θ=21+cos2θ, then sin2θ=2sinθcosθ to prepare for the triangle.
,θ=arcsinx,,sinθ=x,cosθ=1−x2From the triangle with opposite x and hypotenuse .1.
21(arcsinx+x1−x2)+CFrom 0 to 1 this gives ,21⋅2π=4π, the area of a quarter of the unit circle.
Problem 3
Find .∫4−x2x3dx.
,x=2sinθ,,dx=2cosθdθ,4−x2=2cosθThe form a2−x2 with .a=2.
∫2cosθ8sin3θ⋅2cosθdθ=8∫sin3θdθ.x3=8sin3θ.
8∫(1−cos2θ)sinθdθ=−8cosθ+38cos3θSave one sinθ and substitute ,w=cosθ,.dw=−sinθdθ.
,cosθ=24−x2, so 8cosθ=44−x2 and 38cos3θ=31(4−x2)3/2Back to x with the triangle.
31(4−x2)3/2−44−x2+CAnother route: ,u=4−x2,x2=4−u and xdx=−21du give the same answer without any trig. An odd power of x in front of the root always allows it.
Problem 4
Find .∫(1+x2)2dx.
,x=tanθ,,dx=sec2θdθ,1+x2=sec2θThe form a2+x2 with ;a=1; there is no root, but the identity still helps.
∫sec4θsec2θdθ=∫cos2θdθ=2θ+2sinθcosθAs in Problem 2.
,sinθ=1+x2x,,cosθ=1+x21, so sinθcosθ=1+x2xThe triangle has opposite ,x, adjacent 1 and hypotenuse .1+x2.
21arctanx+2(1+x2)x+COver the whole line the second term vanishes at both ends, so .∫−∞∞(1+x2)2dx=21⋅π=2π.
Problem 5
Evaluate .∫01x2+1dx.
,x=tanθ,,dx=sec2θdθ,x2+1=secθThe form a2+x2 with .a=1.
;x=0⇒θ=0;x=1⇒θ=4πNew limits.
∫0π/4secθsec2θdθ=∫0π/4secθdθ=[ln∣secθ+tanθ∣]0π/4The standard antiderivative of .secθ.
ln(2+1)−ln(1+0),sec4π=2,.tan4π=1.
ln(1+2)≈0.8814In terms of x the antiderivative is ,ln(x+x2+1), which is .sinh−1x.
Problem 6
Find ∫x2x2−4dx for .x>2.
,x=2secθ,,dx=2secθtanθdθ,x2−4=2tanθThe form x2−a2 with ;a=2;.0<θ<2π.
∫4sec2θ⋅2tanθ2secθtanθdθ=41∫cosθdθ=41sinθtanθ cancels, and .secθ1=cosθ.
:secθ=2x: hypotenuse ,x, adjacent ,2, opposite ,x2−4, so sinθ=xx2−4sec is hypotenuse over adjacent.
4xx2−4+CCheck: the derivative is .41⋅x2x⋅x2−4x−x2−4=x2x2−41.
Problem 7
Evaluate .∫−21(x2+4x+13)3/2dx.
x2+4x+13=(x+2)2+9Complete the square: ,(x+2)2=x2+4x+4, so add 9 to reach .13.
:u=x+2:∫03(u2+9)3/2duA shift; the limits −2 and 1 become 0 and .3.
,u=3tanθ,,du=3sec2θdθ,;(u2+9)3/2=27sec3θ;θ from 0 to 4πThe form a2+u2 with ;a=3;u=3 gives .tanθ=1.
2∫0π/3(sec2θ−1)dθ=2[tanθ−θ]0π/3Rewrite tan2θ with the identity; sec2θ has antiderivative .tanθ.
23−32π≈1.370.tan3π=3.
Problem 10
The Student-t distribution with 3 degrees of freedom has density c(1+3x2)−2 on the whole real line. Find .c.
c is 1 over ∫−∞∞(1+3x2)−2dxA density has to integrate to .1.
,x=3tanθ,,dx=3sec2θdθ,;1+3x2=sec2θ;θ runs over (−2π,2π)As ,x→±∞,,θ→±2π, so the improper integral becomes an ordinary one.
∫−π/2π/2sec4θ3sec2θdθ=3∫−π/2π/2cos2θdθ=3⋅2πThe same ∫cos2θ as Problem 4.
c=3π2≈0.3676This matches the general formula νπΓ(ν/2)Γ((ν+1)/2) at .ν=3. The tails fall off like ,x−4, much more slowly than a Gaussian's, which is why a t likelihood is robust to outliers.
Where this goes wrong
1. Leaving out the dx
After substituting for x in the integrand, dx is swapped for dθ as if the two were the same.
∫011−x2dx with ,x=sinθ, so 1−x2=cosθ and θ runs from 0 to 2πRight so far: Problem 2, on .[0,1].
“Replace dx with .dθ.”The habit that causes the mistake: the substitution applied to the integrand only.
∫0π/2cosθdθ=1,dx=cosθdθ, so the integrand is ,cos2θ, and the area of a quarter of the unit circle is ,4π≈0.785, not .1.
2. Keeping the x-limits
The new integral in θ is evaluated at the numbers that were on the original integral sign.
∫0336−x2dx=∫dθ with x=6sinθRight so far: Problem 1, step 3.
“The limits are 0 and .3.”The habit that causes the mistake: the limits copied across without changing variable.
∫03dθ=33 is a value of .x. At ,x=3,sinθ=21 and ,θ=6π, so the answer is .6π≈0.524. Either change the limits or return to ,x, as ,arcsin6x, before evaluating.
3. Completing the square without balancing
The square is built from the x2 and x terms, and the constant is left as it was.
x2+4x+13 contains ,x2+4x, which is the start of (x+2)2Right so far: Problem 7, step 1.
“So .x2+4x+13=(x+2)2+13.”The habit that causes the mistake: (x+2)2 also contains ,+4, which has to be taken back out.
∫03(u2+13)3/2du=13223≈0.0492,(x+2)2+13=x2+4x+17, a different quadratic. The correct form is ,(x+2)2+9, and the integral is .182≈0.0786. Expand the completed square to check it.
4. Reading the wrong side off the triangle
With three sides and six trig functions, it is easy to pick the ratio for the wrong one.
∫x2x2−4dx=41sinθ+C with x=2secθRight so far: Problem 6, step 2.
“,secθ=2x, so .sinθ=x2.”The habit that causes the mistake: the substitution's ratio flipped and used for a different function. x2 is .cosθ.
The answer is 41⋅x2=2x1+CDifferentiate it: −2x21 is negative, but the integrand is positive. At x=4 the derivative is −0.03125 and the integrand is .16121≈0.0180. With hypotenuse x and adjacent ,2, the opposite side is x2−4 and .sinθ=xx2−4.
5. Integrating tan²θ by the power rule
tan2θ looks like ,u2, and .∫u2=3u3.
∫24xx2−4dx=2∫0π/3tan2θdθRight so far: Problem 9, step 3.
“.∫tan2θdθ=31tan3θ.”The habit that causes the mistake: the power rule needs the derivative of ,tanθ, which is ,sec2θ, alongside it, and there is none here.
2⋅31tan33π=32(3)3=23≈3.464Differentiating 31tan3θ gives ,tan2θsec2θ, not .tan2θ. Use :tan2θ=sec2θ−1: the answer is .23−32π≈1.370.