Unit 5, lesson 59

Hyperbolic and Tangent-Half-Angle Substitutions

How the substitutions x = a sinh t, x = a cosh t and t = tan(x/2) clear square roots and trigonometric fractions from integrals, and on which intervals each one is valid.

  • Theory part 117
  • Practice part 118
  • Integration Techniques

A square root like x2+1\sqrt{x^2 + 1} or a fraction like 12+cos⁡x\frac{1}{2 + \cos x} looks stubborn until you find the right change of variable. Trigonometric substitution already handles many roots. Hyperbolic functions often do the same job with less fuss, and one clever substitution turns every rational expression in sin⁡x\sin x and cos⁡x\cos x into an ordinary rational function. Each trick comes with an interval where it is allowed, and ignoring that interval gives wrong answers.

Key terms

Hyperbolic substitutions

Definition Let a>0a > 0. The hyperbolic functions satisfy cosh⁡2t−sinh⁡2t=1\cosh^2 t - \sinh^2 t = 1, with cosh⁡t>0\cosh t > 0 for all real tt and sinh⁡t≥0\sinh t \ge 0 for t≥0t \ge 0.

For an integrand containing a2+x2\sqrt{a^2 + x^2} on any interval, substitute x=asinh⁡tx = a \sinh t with t∈Rt \in \mathbb{R}. Then dx=acosh⁡t dtdx = a \cosh t \, dt and

a2+x2=a2(1+sinh⁡2t)=acosh⁡t.\sqrt{a^2 + x^2} = \sqrt{a^2 (1 + \sinh^2 t)} = a \cosh t.

For an integrand containing x2−a2\sqrt{x^2 - a^2} on an interval where x≥ax \ge a, substitute x=acosh⁡tx = a \cosh t with t≥0t \ge 0. Then dx=asinh⁡t dtdx = a \sinh t \, dt and x2−a2=asinh⁡t\sqrt{x^2 - a^2} = a \sinh t. On an interval where x≤−ax \le -a, first put x=−ux = -u.

In plain words The identity cosh⁡2t−sinh⁡2t=1\cosh^2 t - \sinh^2 t = 1 is built to cancel the expressions under these square roots, so the root disappears and you integrate something simpler.

Example To find the integral

∫dx(1+x2)3/2,\int \frac{dx}{(1 + x^2)^{3/2}},

put x=sinh⁡tx = \sinh t. Then (1+x2)3/2=cosh⁡3t(1 + x^2)^{3/2} = \cosh^3 t and dx=cosh⁡t dtdx = \cosh t \, dt, so

∫cosh⁡t dtcosh⁡3t=∫sech⁡2t dt=tanh⁡t+C=x1+x2+C,\int \frac{\cosh t \, dt}{\cosh^3 t} = \int \operatorname{sech}^2 t \, dt = \tanh t + C = \frac{x}{\sqrt{1 + x^2}} + C,

using tanh⁡t=sinh⁡t/cosh⁡t\tanh t = \sinh t / \cosh t and sinh⁡t=x\sinh t = x. Differentiating the result gives back the integrand, which confirms it.

Inverse hyperbolic forms

Definition The inverse hyperbolic functions have the logarithmic forms

arsinh⁡x=ln⁡(x+x2+1)(x∈R),\operatorname{arsinh} x = \ln\left(x + \sqrt{x^2 + 1}\right) \quad (x \in \mathbb{R}),arcosh⁡x=ln⁡(x+x2−1)(x≥1),artanh⁡x=12ln⁡1+x1−x(∣x∣<1).\operatorname{arcosh} x = \ln\left(x + \sqrt{x^2 - 1}\right) \quad (x \ge 1), \qquad \operatorname{artanh} x = \frac{1}{2} \ln \frac{1 + x}{1 - x} \quad (\lvert x \rvert < 1).

For a>0a > 0 they give the antiderivatives

∫dxx2+a2=arsinh⁡xa+C  on R,∫dxx2−a2=arcosh⁡xa+C  on (a,∞),\int \frac{dx}{\sqrt{x^2 + a^2}} = \operatorname{arsinh} \frac{x}{a} + C \ \text{ on } \mathbb{R}, \qquad \int \frac{dx}{\sqrt{x^2 - a^2}} = \operatorname{arcosh} \frac{x}{a} + C \ \text{ on } (a, \infty),∫dxa2−x2=1aartanh⁡xa+C  on (−a,a).\int \frac{dx}{a^2 - x^2} = \frac{1}{a} \operatorname{artanh} \frac{x}{a} + C \ \text{ on } (-a, a).

In plain words These are the answers that hyperbolic substitution produces, written either with inverse hyperbolic names or as plain logarithms. Both versions are correct, and they differ only by a constant when you expand the logarithm.

Example By the first formula with a=1a = 1,

∫03/4dxx2+1=arsinh⁡34=ln⁡(34+916+1)=ln⁡(34+54)=ln⁡2.\int_0^{3/4} \frac{dx}{\sqrt{x^2 + 1}} = \operatorname{arsinh} \frac{3}{4} = \ln\left(\frac{3}{4} + \sqrt{\frac{9}{16} + 1}\right) = \ln\left(\frac{3}{4} + \frac{5}{4}\right) = \ln 2.

Tangent half-angle substitution

Definition On the interval −π<x<π-\pi < x < \pi, the tangent half-angle (Weierstrass) substitution is t=tan⁡x2t = \tan \frac{x}{2}, so x=2arctan⁡tx = 2 \arctan t with t∈Rt \in \mathbb{R}. It gives

sin⁡x=2t1+t2,cos⁡x=1−t21+t2,dx=2 dt1+t2.\sin x = \frac{2t}{1 + t^2}, \qquad \cos x = \frac{1 - t^2}{1 + t^2}, \qquad dx = \frac{2 \, dt}{1 + t^2}.

The formulas for sine and cosine come from the double angle formulas

sin⁡x=2sin⁡x2cos⁡x2cos⁡2x2+sin⁡2x2,cos⁡x=cos⁡2x2−sin⁡2x2cos⁡2x2+sin⁡2x2,\sin x = \frac{2 \sin \frac{x}{2} \cos \frac{x}{2}}{\cos^2 \frac{x}{2} + \sin^2 \frac{x}{2}}, \qquad \cos x = \frac{\cos^2 \frac{x}{2} - \sin^2 \frac{x}{2}}{\cos^2 \frac{x}{2} + \sin^2 \frac{x}{2}},

where the denominators equal 11. Dividing top and bottom by cos⁡2x2\cos^2 \frac{x}{2}, which is not zero for −π<x<π-\pi < x < \pi, gives the expressions in tt. The formula for dxdx comes from differentiating x=2arctan⁡tx = 2 \arctan t.

In plain words Sine, cosine and dxdx all become fractions in tt with no trigonometry left, so the integral turns into an ordinary rational integral.

Example Over 0≤x≤π/20 \le x \le \pi/2 the new limits are t=tan⁡0=0t = \tan 0 = 0 and t=tan⁡π4=1t = \tan \frac{\pi}{4} = 1. The denominator becomes

2+cos⁡x=3+t21+t2,2 + \cos x = \frac{3 + t^2}{1 + t^2},

so

∫0π/2dx2+cos⁡x=∫012 dt3+t2=23arctan⁡13=23⋅π6=π33≈0.6046.\int_0^{\pi/2} \frac{dx}{2 + \cos x} = \int_0^1 \frac{2 \, dt}{3 + t^2} = \frac{2}{\sqrt{3}} \arctan \frac{1}{\sqrt{3}} = \frac{2}{\sqrt{3}} \cdot \frac{\pi}{6} = \frac{\pi}{3\sqrt{3}} \approx 0.6046.

Rationalizing trigonometric expressions

Definition A rational function of sin⁡x\sin x and cos⁡x\cos x is an expression R(sin⁡x,cos⁡x)R(\sin x, \cos x) where R(u,v)R(u, v) is a quotient of two polynomials in uu and vv. On any subinterval of (−π,π)(-\pi, \pi) where R(sin⁡x,cos⁡x)R(\sin x, \cos x) is defined, that is, where its denominator is not zero, the substitution t=tan⁡x2t = \tan \frac{x}{2} gives

∫R(sin⁡x,cos⁡x) dx=∫R(2t1+t2,1−t21+t2)21+t2 dt,\int R(\sin x, \cos x) \, dx = \int R\left(\frac{2t}{1 + t^2}, \frac{1 - t^2}{1 + t^2}\right) \frac{2}{1 + t^2} \, dt,

and the new integrand is a rational function of tt. So every such integral can be done with partial fractions.

In plain words No matter how messy the mix of sines and cosines, as long as it is built with only arithmetic, this substitution always leads to an integral you know how to finish.

Example In the integral of 1/(1+sin⁡x+cos⁡x)1/(1 + \sin x + \cos x) over [0,π/2][0, \pi/2] the denominator becomes

1+2t1+t2+1−t21+t2=2+2t1+t2.1 + \frac{2t}{1 + t^2} + \frac{1 - t^2}{1 + t^2} = \frac{2 + 2t}{1 + t^2}.

So the integrand times dxdx is

1+t22(1+t)⋅2 dt1+t2=dt1+t,\frac{1 + t^2}{2(1 + t)} \cdot \frac{2 \, dt}{1 + t^2} = \frac{dt}{1 + t},

and

∫0π/2dx1+sin⁡x+cos⁡x=∫01dt1+t=ln⁡2.\int_0^{\pi/2} \frac{dx}{1 + \sin x + \cos x} = \int_0^1 \frac{dt}{1 + t} = \ln 2.

The substitution is a fallback, not a first choice. To integrate sin⁡2xcos⁡x\sin^2 x \cos x the plain substitution u=sin⁡xu = \sin x is much quicker.

Substitution intervals

Definition Substitution in a definite integral rests on this rule. If gg has a continuous derivative on [α,β][\alpha, \beta] and ff is continuous on the range g([α,β])g([\alpha, \beta]), then

∫αβf(g(t)) g′(t) dt=∫g(α)g(β)f(x) dx.\int_\alpha^\beta f(g(t)) \, g'(t) \, dt = \int_{g(\alpha)}^{g(\beta)} f(x) \, dx.

When you substitute x=g(t)x = g(t) and want to return to xx at the end, gg must also be one to one on the interval, so that tt can be written as a function of xx. Every simplification of a root such as sinh⁡2t+1=cosh⁡t\sqrt{\sinh^2 t + 1} = \cosh t or cosh⁡2t−1=sinh⁡t\sqrt{\cosh^2 t - 1} = \sinh t must hold for the tt values used. For t=tan⁡x2t = \tan \frac{x}{2} this means working inside one interval (−π+2kπ,π+2kπ)(-\pi + 2k\pi, \pi + 2k\pi) with kk an integer.

In plain words A substitution is only trustworthy on an interval where it behaves well. If the integration interval crosses a point where the substitution breaks, split the integral there.

Example The integrand 12+cos⁡x\frac{1}{2 + \cos x} is continuous and positive on [0,2π][0, 2\pi], and

∫02πdx2+cos⁡x=2π3≈3.6276.\int_0^{2\pi} \frac{dx}{2 + \cos x} = \frac{2\pi}{\sqrt{3}} \approx 3.6276.

The substitution suggests the antiderivative

F(x)=23arctan⁡(tan⁡(x/2)3).F(x) = \frac{2}{\sqrt{3}} \arctan\left(\frac{\tan(x/2)}{\sqrt{3}}\right).

Its derivative is 1/(2+cos⁡x)1/(2 + \cos x) wherever it is defined, but it is undefined at x=πx = \pi and jumps there. Naively, F(2π)−F(0)=0−0=0F(2\pi) - F(0) = 0 - 0 = 0, which is impossible for a positive integrand. Splitting at π\pi fixes it. Since the integrand is continuous, ∫0π\int_0^\pi is the limit of F(b)−F(0)F(b) - F(0) as b→π−b \to \pi^-, and ∫π2π\int_\pi^{2\pi} is the limit of F(2π)−F(b)F(2\pi) - F(b) as b→π+b \to \pi^+. As xx rises from 00 toward π\pi, the values of FF rise from 00 toward 23⋅π2\frac{2}{\sqrt{3}} \cdot \frac{\pi}{2}. Just after π\pi they start near −23⋅π2-\frac{2}{\sqrt{3}} \cdot \frac{\pi}{2} and rise to 00 at 2π2\pi. Each half contributes π3\frac{\pi}{\sqrt{3}}, for a total of 2π3\frac{2\pi}{\sqrt{3}}.

Check yourself

  1. Find ∫dxx2−9\int \frac{dx}{\sqrt{x^2 - 9}} for x>3x > 3.
Show the answer

With x=3cosh⁡tx = 3\cosh t and t>0t > 0 you get ∫dt=t+C\int dt = t + C, so the answer is arcosh⁡x3+C\operatorname{arcosh} \frac{x}{3} + C, or equivalently ln⁡(x+x2−9)+C\ln\left(x + \sqrt{x^2 - 9}\right) + C. The two forms differ by the constant ln⁡3\ln 3.

  1. Use t=tan⁡x2t = \tan \frac{x}{2} to evaluate ∫0π/2dx1+cos⁡x\int_0^{\pi/2} \frac{dx}{1 + \cos x}.
Show the answer

The substitution gives 1+cos⁡x=21+t21 + \cos x = \frac{2}{1 + t^2}, so the integrand times dxdx is 1+t22⋅2 dt1+t2=dt\frac{1 + t^2}{2} \cdot \frac{2 \, dt}{1 + t^2} = dt. The limits are 00 and 11, so the integral is 11.

  1. Why can you not apply t=tan⁡x2t = \tan \frac{x}{2} directly to ∫03π/2dx2+sin⁡x\int_0^{3\pi/2} \frac{dx}{2 + \sin x} in one piece?
Show the answer

The interval contains x=πx = \pi, where tan⁡x2\tan \frac{x}{2} is undefined. Split the integral at π\pi. On each piece use the antiderivative from the substitution and take its one-sided limit at π\pi, just as in the 12+cos⁡x\frac{1}{2 + \cos x} example above.

How this lesson connects

It also uses trig identities.