How do you integrate int 1/sqrt(e^(2x)+12e^x+27)dx using trigonometric substitution?

1 Answer
Dec 21, 2015

int frac{1}{sqrt{e^{2x} - 12e^x + 27}} dx =

frac{2ln(sqrt{3e^x + 9} - sqrt{e^x + 9})-x}{3sqrt{3}} + C

where C is an integration constant.

Explanation:

Completing the square at the denominator gives

e^{2x} + 12e^x + 27 -= (e^x + 6)^2 - 9

To make use of the identity

sec^2u - 1 -= tan^2u,

substitute 3secu = e^x + 6.

Differentiate both sides w.r.t. x to get

3secu tanu frac{du}{dx} = e^x

= 3secu - 6

frac{du}{dx} = frac{3secu - 6}{3secu tanu}

= frac{1 - 2cosu}{tanu}

Now plugging it into the integration,

int frac{1}{sqrt{(e^x + 6)^2 - 9}} dx = int frac{1}{sqrt{(3secu)^2 - 9}} frac{tanu}{1 - 2cosu} du

= 1/3 int frac{du}{1 - 2cosu}

As cosu -= frac{1-tan^2(u/2)}{1+tan^2(u/2)}

Let v = tan(u/2)

Differentiating both sides w.r.t. u,

frac{dv}{du} = 1/2 sec^2(u/2)

= ( 1 + tan^2(u/2) )/2

= frac{1 + v^2}{2}

Plugging it into the integration,

1/3 int frac{du}{1 - 2cosu} = 1/3 int frac{ frac{2dv}{1 + v^2} }{1-2(frac{1 - v^2}{1 + v^2})}

= 1/3 int frac{2dv}{(1 + v^2) - 2(1 - v^2)}

= 1/3 int frac{2dv}{3v^2 - 1}

= 1/3 int (frac{1}{sqrt{3}v - 1} - frac{1}{sqrt{3}v + 1}) dv

= frac{1}{3sqrt{3}} int (frac{sqrt{3}}{sqrt{3}v - 1} - frac{sqrt{3}}{sqrt{3}v + 1}) dv

= frac{1}{3sqrt{3}} ln(frac{sqrt{3}v - 1}{sqrt{3}v + 1}) + C_1, where C_1 is the constant of integration.

= frac{1}{3sqrt{3}} ln(frac{tan(u/2) - 1/sqrt{3}}{tan(u/2) + 1/sqrt{3}}) + C_1

As tan^2(u/2) -= frac{secu - 1}{ secu + 1}

frac{1}{3sqrt{3}} ln(frac{tan(u/2) - 1/sqrt{3}}{tan(u/2) + 1/sqrt{3}}) + C_1 = frac{1}{3sqrt{3}} ln(frac{sqrt{frac{secu - 1}{secu + 1}} - 1/sqrt{3}}{sqrt{frac{secu - 1}{secu + 1}} + 1/sqrt{3}}) + C_1

= frac{1}{3sqrt{3}} ln(frac{sqrt{frac{frac{e^x + 6}{3} - 1}{frac{e^x + 6}{3} + 1}} - 1/sqrt{3}}{sqrt{frac{frac{e^x + 6}{3} - 1}{frac{e^x + 6}{3} + 1}} + 1/sqrt{3}}) + C_1

= frac{1}{3sqrt{3}} ln(frac{sqrt{frac{e^x + 3}{e^x + 9}} - 1/sqrt{3}}{sqrt{frac{e^x + 3}{e^x + 9}} + 1/sqrt{3}}) + C_1

= frac{1}{3sqrt{3}} ln(frac{sqrt{3}sqrt{e^x + 3} - sqrt{e^x + 9}}{sqrt{3}sqrt{e^x + 3} + sqrt{e^x + 9}}) + C_1

= frac{1}{3sqrt{3}} ln(frac{(sqrt{3}sqrt{e^x + 3} - sqrt{e^x + 9})^2}{3(e^x + 3) - (e^x + 9)}) + C_1

= frac{1}{3sqrt{3}} ln(frac{(sqrt{3}sqrt{e^x + 3} - sqrt{e^x + 9})^2}{2e^x }) + C_1

= frac{1}{3sqrt{3}} ln((sqrt{3}sqrt{e^x + 3} - sqrt{e^x + 9})^2) - frac{1}{3sqrt{3}} ln(2e^x) + C_1

= frac{2}{3sqrt{3}} ln(sqrt{3}sqrt{e^x + 3} - sqrt{e^x + 9}) - frac{x}{3sqrt{3}} + C_2, where C_2 = C_1 - frac{ln2}{3sqrt{3}}

= frac{2ln(sqrt{3e^x + 9} - sqrt{e^x + 9})-x}{3sqrt{3}} + C_2