🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Trigonometric Substitution

Trigonometric Substitution

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\sqrt{a^2 + u^2}, or u2−a2\sqrt{u^2 - a^2}. By substituting a trigonometric function for variable uu, 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 uu-substitutions fail whenever the balancing derivative factor u′ 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 dudu Pythagorean Identity Used Simplified Radical
a2−u2\sqrt{a^2 - u^2} u=asin⁡θu = a\sin\theta du=acos⁡θ dθdu = a\cos\theta\,d\theta 1−sin⁡2θ=cos⁡2θ1 - \sin^2\theta = \cos^2\theta a2−a2sin⁡2θ=acos⁡θ\sqrt{a^2 - a^2\sin^2\theta} = a\cos\theta
a2+u2\sqrt{a^2 + u^2} u=atan⁡θu = a\tan\theta du=asec⁡2θ dθdu = a\sec^2\theta\,d\theta 1+tan⁡2θ=sec⁡2θ1 + \tan^2\theta = \sec^2\theta a2+a2tan⁡2θ=asec⁡θ\sqrt{a^2 + a^2\tan^2\theta} = a\sec\theta
u2−a2\sqrt{u^2 - a^2} u=asec⁡θu = a\sec\theta du=asec⁡θtan⁡θ dθdu = a\sec\theta\tan\theta\,d\theta sec⁡2θ−1=tan⁡2θ\sec^2\theta - 1 = \tan^2\theta a2sec⁡2θ−a2=atan⁡θ\sqrt{a^2\sec^2\theta - a^2} = a\tan\theta

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 uu 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}}.
  • The hypotenuse is u2+a2\sqrt{u^2 + a^2}.
  • From this triangle, read off sec⁡θ=HypotenuseAdjacent=u2+a2a\sec\theta = \frac{\text{Hypotenuse}}{\text{Adjacent}} = \frac{\sqrt{u^2 + a^2}}{a} and sin⁡θ=uu2+a2\sin\theta = \frac{u}{\sqrt{u^2 + a^2}}.

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


When to Use It / Method Comparison

  • Basic uu-Substitution (∫ua2+u2 du\int u\sqrt{a^2 + u^2}\,du): An outside factor of uu exists to provide the derivative du=2u dudu = 2u\,du. Do not use trig substitution; use simple substitution with w=a2+u2w = a^2 + u^2.
  • Trigonometric Substitution (∫a2+u2 du\int \sqrt{a^2 + u^2}\,du or ∫1a2+u2 du\int \frac{1}{\sqrt{a^2 + u^2}}\,du): No outside factor of uu 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 + C with B≠0B \ne 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 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}\,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 \rangle yields speed ∥r⃗′(t)∥=1+4t2\|\vec{r}'(t)\| = \sqrt{1 + 4t^2}. Evaluating ∫1+4t2 dt\int \sqrt{1 + 4t^2}\,dt is impossible with standard polynomial rules, requiring the tangent substitution 2t=tan⁡θ2t = \tan\theta. 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

Solution

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

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

Step 2: Transform the integration limits

  • When t=0  ⟹  2(0)=tan⁡θ  ⟹  θ=0t = 0 \implies 2(0) = \tan\theta \implies \theta = 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}.

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\theta

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
Using the standard antiderivative ∫sec⁡θ dθ=ln⁡∣sec⁡θ+tan⁡θ∣\int \sec\theta\,d\theta = \ln|\sec\theta + \tan\theta|:
=12[ln⁡∣sec⁡θ+tan⁡θ∣]0π/4= \frac{1}{2} \Big[ \ln|\sec\theta + \tan\theta| \Big]_{0}^{\pi/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)
Since sec⁡(π/4)=2\sec(\pi/4) = \sqrt{2}, tan⁡(π/4)=1\tan(\pi/4) = 1, sec⁡(0)=1\sec(0) = 1, and tan⁡(0)=0\tan(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


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

Solution

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

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

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\theta

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

Step 4: Integrate

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

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

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

Substitute back:

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


Connections & References