◀ Back to Note

Tony's Intertwingled Memex • Reference Manual

Trigonometric Substitution

Formulas & Definitions
Core Definition

Trigonometric substitution is an integration technique used to evaluate algebraic integrals containing irreducible radical binomials of the forms a2−u2\sqrt{a^2 - u^2}a2−u2​, a2+u2\sqrt{a^2 + u^2}a2+u2​, or u2−a2\sqrt{u^2 - a^2}u2−a2​. By substituting a trigonometric function for variable uuu, Pythagorean identities collapse the binomial under the square root into a single squared term, eliminating the radical.

Concept Explanation

When algebraic functions contain radicals involving sums or differences of squares, standard power rules and basic uuu-substitutions fail whenever the balancing derivative factor u′ duu'\,duu′du is absent. Trigonometric substitution converts the algebraic integral into a trigonometric integral by mapping the terms onto a reference right triangle.

The Three Canonical Cases

Radical Form Trigonometric Substitution Differential dududu Pythagorean Identity Used Simplified Radical
a2−u2\sqrt{a^2 - u^2}a2−u2​ u=asin⁡θu = a\sin\thetau=asinθ du=acos⁡θ dθdu = a\cos\theta\,d\thetadu=acosθdθ 1−sin⁡2θ=cos⁡2θ1 - \sin^2\theta = \cos^2\theta1−sin2θ=cos2θ a2−a2sin⁡2θ=acos⁡θ\sqrt{a^2 - a^2\sin^2\theta} = a\cos\thetaa2−a2sin2θ​=acosθ
a2+u2\sqrt{a^2 + u^2}a2+u2​ u=atan⁡θu = a\tan\thetau=atanθ du=asec⁡2θ dθdu = a\sec^2\theta\,d\thetadu=asec2θdθ 1+tan⁡2θ=sec⁡2θ1 + \tan^2\theta = \sec^2\theta1+tan2θ=sec2θ a2+a2tan⁡2θ=asec⁡θ\sqrt{a^2 + a^2\tan^2\theta} = a\sec\thetaa2+a2tan2θ​=asecθ
u2−a2\sqrt{u^2 - a^2}u2−a2​ u=asec⁡θu = a\sec\thetau=asecθ du=asec⁡θtan⁡θ dθdu = a\sec\theta\tan\theta\,d\thetadu=asecθtanθdθ sec⁡2θ−1=tan⁡2θ\sec^2\theta - 1 = \tan^2\thetasec2θ−1=tan2θ a2sec⁡2θ−a2=atan⁡θ\sqrt{a^2\sec^2\theta - a^2} = a\tan\thetaa2sec2θ−a2​=atanθ

Geometric Right-Triangle De-Substitution

For indefinite integrals, once the trigonometric antiderivative is evaluated in terms of θ\thetaθ, express the result back in terms of the original variable uuu using a reference right triangle:

  • For u=atan⁡θ  ⟹  tan⁡θ=ua=OppositeAdjacentu = a\tan\theta \implies \tan\theta = \frac{u}{a} = \frac{\text{Opposite}}{\text{Adjacent}}u=atanθ⟹tanθ=au​=AdjacentOpposite​.
  • The hypotenuse is u2+a2\sqrt{u^2 + a^2}u2+a2​.
  • From this triangle, read off sec⁡θ=HypotenuseAdjacent=u2+a2a\sec\theta = \frac{\text{Hypotenuse}}{\text{Adjacent}} = \frac{\sqrt{u^2 + a^2}}{a}secθ=AdjacentHypotenuse​=au2+a2​​ and sin⁡θ=uu2+a2\sin\theta = \frac{u}{\sqrt{u^2 + a^2}}sinθ=u2+a2​u​.

For definite integrals, converting the integration limits directly from uuu to θ\thetaθ (a≤u≤b  ⟹  θa≤θ≤θba \le u \le b \implies \theta_a \le \theta \le \theta_ba≤u≤b⟹θa​≤θ≤θb​) completely eliminates the need for back-substitution.


When to Use It / Method Comparison

  • Basic uuu-Substitution (∫ua2+u2 du\int u\sqrt{a^2 + u^2}\,du∫ua2+u2​du): An outside factor of uuu exists to provide the derivative du=2u dudu = 2u\,dudu=2udu. Do not use trig substitution; use simple substitution with w=a2+u2w = a^2 + u^2w=a2+u2.
  • Trigonometric Substitution (∫a2+u2 du\int \sqrt{a^2 + u^2}\,du∫a2+u2​du or ∫1a2+u2 du\int \frac{1}{\sqrt{a^2 + u^2}}\,du∫a2+u2​1​du): No outside factor of uuu is present to balance the differential. Trig substitution is required to eliminate the square root.
  • Completing the Square Pre-Step: If the radical contains a full quadratic Au2+Bu+CAu^2 + Bu + CAu2+Bu+C with B≠0B \ne 0B=0, complete the square first to convert it into the canonical two-term format (u±h)2±a2(u \pm h)^2 \pm a^2(u±h)2±a2 before applying trig substitution.

Why We Use It in Calculus (Engineering & Arc Length Context)

In Calculus II and Calculus III, calculating the physical arc length of a trajectory s=∫ab[x′(t)]2+[y′(t)]2+[z′(t)]2 dts = \int_a^b \sqrt{[x'(t)]^2 + [y'(t)]^2 + [z'(t)]^2}\,dts=∫ab​[x′(t)]2+[y′(t)]2+[z′(t)]2​dt frequently introduces irreducible quadratic radicals.

For example, finding the arc length along a standard parabolic path r⃗(t)=⟨t,t2,0⟩\vec{r}(t) = \langle t, t^2, 0 \rangler(t)=⟨t,t2,0⟩ yields speed ∥r⃗′(t)∥=1+4t2\|\vec{r}'(t)\| = \sqrt{1 + 4t^2}∥r′(t)∥=1+4t2​. Evaluating ∫1+4t2 dt\int \sqrt{1 + 4t^2}\,dt∫1+4t2​dt is impossible with standard polynomial rules, requiring the tangent substitution 2t=tan⁡θ2t = \tan\theta2t=tanθ. Civil, mechanical, and aerospace engineers use this method to calculate exact cable lengths on suspension bridges, guy wires on communication towers, and clearance perimeters along curved retaining walls.


Example Problems

Example Problem 1: Parabolic Trajectory Arc Length Integral

Evaluate the definite integral governing the arc length of a parabolic curve:

∫01/211+4t2 dt\int_{0}^{1/2} \frac{1}{\sqrt{1 + 4t^2}} \, dt∫01/2​1+4t2​1​dt

Solution

Step 1: Identify the form and substitution The radical is of the form a2+u2\sqrt{a^2 + u^2}a2+u2​ with a=1a = 1a=1 and u=2tu = 2tu=2t.

  • Let 2t=tan⁡θ  ⟹  t=12tan⁡θ2t = \tan\theta \implies t = \frac{1}{2}\tan\theta2t=tanθ⟹t=21​tanθ.
  • Differentiate: dt=12sec⁡2θ dθdt = \frac{1}{2}\sec^2\theta\,d\thetadt=21​sec2θdθ.

Step 2: Transform the integration limits

  • When t=0  ⟹  2(0)=tan⁡θ  ⟹  θ=0t = 0 \implies 2(0) = \tan\theta \implies \theta = 0t=0⟹2(0)=tanθ⟹θ=0.
  • When t=1/2  ⟹  2(1/2)=1=tan⁡θ  ⟹  θ=π4t = 1/2 \implies 2(1/2) = 1 = \tan\theta \implies \theta = \frac{\pi}{4}t=1/2⟹2(1/2)=1=tanθ⟹θ=4π​.

Step 3: Substitute and simplify the radical

1+4t2=1+tan⁡2θ=sec⁡2θ=sec⁡θ\sqrt{1 + 4t^2} = \sqrt{1 + \tan^2\theta} = \sqrt{\sec^2\theta} = \sec\theta1+4t2​=1+tan2θ​=sec2θ​=secθ

Step 4: Evaluate the trigonometric integral

∫01/211+4t2 dt=∫0π/41sec⁡θ(12sec⁡2θ dθ)=12∫0π/4sec⁡θ dθ\int_{0}^{1/2} \frac{1}{\sqrt{1 + 4t^2}} \, dt = \int_{0}^{\pi/4} \frac{1}{\sec\theta} \left(\frac{1}{2}\sec^2\theta\,d\theta\right) = \frac{1}{2} \int_{0}^{\pi/4} \sec\theta\,d\theta∫01/2​1+4t2​1​dt=∫0π/4​secθ1​(21​sec2θdθ)=21​∫0π/4​secθdθ
Using the standard antiderivative ∫sec⁡θ dθ=ln⁡∣sec⁡θ+tan⁡θ∣\int \sec\theta\,d\theta = \ln|\sec\theta + \tan\theta|∫secθdθ=ln∣secθ+tanθ∣:
=12[ln⁡∣sec⁡θ+tan⁡θ∣]0π/4= \frac{1}{2} \Big[ \ln|\sec\theta + \tan\theta| \Big]_{0}^{\pi/4}=21​[ln∣secθ+tanθ∣]0π/4​
=12(ln⁡∣sec⁡(π4)+tan⁡(π4)∣−ln⁡∣sec⁡(0)+tan⁡(0)∣)= \frac{1}{2} \left( \ln\left|\sec\left(\frac{\pi}{4}\right) + \tan\left(\frac{\pi}{4}\right)\right| - \ln|\sec(0) + \tan(0)| \right)=21​(ln​sec(4π​)+tan(4π​)​−ln∣sec(0)+tan(0)∣)
Since sec⁡(π/4)=2\sec(\pi/4) = \sqrt{2}sec(π/4)=2​, tan⁡(π/4)=1\tan(\pi/4) = 1tan(π/4)=1, sec⁡(0)=1\sec(0) = 1sec(0)=1, and tan⁡(0)=0\tan(0) = 0tan(0)=0:
=12(ln⁡(2+1)−ln⁡(1+0))=12ln⁡(2+1)≈0.4407= \frac{1}{2} \left( \ln(\sqrt{2} + 1) - \ln(1 + 0) \right) = \frac{1}{2}\ln(\sqrt{2} + 1) \approx 0.4407=21​(ln(2​+1)−ln(1+0))=21​ln(2​+1)≈0.4407


Example Problem 2: Indefinite Integration with Reference Triangle

Evaluate the indefinite integral:

∫1x29−x2 dx\int \frac{1}{x^2\sqrt{9 - x^2}} \, dx∫x29−x2​1​dx

Solution

Step 1: Identify the form and substitution The radical is of the form a2−u2\sqrt{a^2 - u^2}a2−u2​ with a=3a = 3a=3 and u=xu = xu=x.

  • Let x=3sin⁡θx = 3\sin\thetax=3sinθ.
  • Differentiate: dx=3cos⁡θ dθdx = 3\cos\theta\,d\thetadx=3cosθdθ.

Step 2: Simplify the radical

9−x2=9−9sin⁡2θ=9(1−sin⁡2θ)=9cos⁡2θ=3cos⁡θ\sqrt{9 - x^2} = \sqrt{9 - 9\sin^2\theta} = \sqrt{9(1 - \sin^2\theta)} = \sqrt{9\cos^2\theta} = 3\cos\theta9−x2​=9−9sin2θ​=9(1−sin2θ)​=9cos2θ​=3cosθ

Step 3: Substitute into the integral

∫1(3sin⁡θ)2(3cos⁡θ)⋅(3cos⁡θ dθ)=∫19sin⁡2θ dθ=19∫csc⁡2θ dθ\int \frac{1}{(3\sin\theta)^2 (3\cos\theta)} \cdot (3\cos\theta\,d\theta) = \int \frac{1}{9\sin^2\theta}\,d\theta = \frac{1}{9}\int \csc^2\theta\,d\theta∫(3sinθ)2(3cosθ)1​⋅(3cosθdθ)=∫9sin2θ1​dθ=91​∫csc2θdθ

Step 4: Integrate

19∫csc⁡2θ dθ=−19cot⁡θ+C\frac{1}{9}\int \csc^2\theta\,d\theta = -\frac{1}{9}\cot\theta + C91​∫csc2θdθ=−91​cotθ+C

Step 5: Back-substitute using a reference triangle From x=3sin⁡θx = 3\sin\thetax=3sinθ, we have sin⁡θ=x3=OppositeHypotenuse\sin\theta = \frac{x}{3} = \frac{\text{Opposite}}{\text{Hypotenuse}}sinθ=3x​=HypotenuseOpposite​.

  • Adjacent side=32−x2=9−x2\text{Adjacent side} = \sqrt{3^2 - x^2} = \sqrt{9 - x^2}Adjacent side=32−x2​=9−x2​.
  • Therefore, cot⁡θ=AdjacentOpposite=9−x2x\cot\theta = \frac{\text{Adjacent}}{\text{Opposite}} = \frac{\sqrt{9 - x^2}}{x}cotθ=OppositeAdjacent​=x9−x2​​.

Substitute back:

−19cot⁡θ+C=−9−x29x+C-\frac{1}{9}\cot\theta + C = -\frac{\sqrt{9 - x^2}}{9x} + C−91​cotθ+C=−9x9−x2​​+C


Connections & References

  • Parent Concepts: Definite Integrals, Trigonometric Identities
  • Related Concepts: Completing the Square, Arc Length of a Space Curve, Arc Length Parametrization, Solving Right Triangles
  • Course Links: Calc-2 Session 16, Calc-3 Session 06